Quantitative Measure for Discrete Event Supervisory Control

  • Asok Ray
  • Vir V. Phoha
  • Shashi P. Phoha

Table of contents

  1. Front Matter
    Pages i-xx
  2. Theory of Language Measure and Supervisory Control

    1. Front Matter
      Pages 1-1
    2. Asok Ray, Xi Wang
      Pages 3-37
    3. Asok Ray, Jinbo Fu, Constantino Lagoa
      Pages 39-69
    4. Constantino Lagoa, Jinbo Fu, Asok Ray
      Pages 71-93
    5. Ishanu Chattopadhyay, Asok Ray
      Pages 95-130
  3. Engineering and Software Applications of Language Measure and Supervisory Control

    1. Front Matter
      Pages 131-131
    2. Xi Wang, Peter Lee, Asok Ray, Shashi Phoha
      Pages 133-156
    3. Xi Wang, Asok Ray, Peter Lee, Jinbo Fu
      Pages 157-181
    4. Murat Yasar, Jinbo Fu, Asok Ray
      Pages 183-205
    5. Vir Phoha, Amit Nadgar, Asok Ray, Shashi Phoha
      Pages 207-238
    6. Xin Xu, Vir V. Phoha, Asok Ray, Shashi Phoha
      Pages 239-259
  4. Back Matter
    Pages 261-264

About this book

Introduction

Never before has there been a quantitative approach designed to optimize supervisory decision and control for discrete event systems. The text pioneers a formal system for supervision of human-engineered complex systems, to compare different supervisory models, thereby maximizing potential for achieving high performance. It offers exciting implications for both military and commercial engineering systems. 

Quantitative Measure for Discrete Event Supervisory Control presents a novel method for discrete-event decision and control of complex systems, and provides applications for burgeoning technological needs in engineering (i.e., multi-agent human and robotic systems, aircraft, and electric power generation systems), as well as control of software systems and malicious executables. Using Supervisory Control Theory (SCT), a tool to model and control human engineered complex systems, this text initiates new concepts in quantitative treatment of SCT, as a much needed augmentation to existing research on the diagnosis and control of SCT. This survey is the first comprehensive treatment of a language-theoretic quantitative approach to discrete event supervisory decision and control.

• Summarizes fundamental materials in supervisory decision and control before integrating new method to quantitatively measure performance

• Presents formal theory to support the quantitative approach, thus outlining an effective model for discrete event decision and control of human-engineered complex systems

• Outlines diverse and practical implications for the materials in the commercial and military Command, Control, Computer, Communication, Intelligence, Surveillance, and Reconnaissance (C4ISR) systems

• Illuminates significant mathematical foundations and proofs for reader understanding of quantification processes, while avoiding nonessential mathematical details and applications

• Develops and describes methods that have been successfully classroom-tested in Pennsylvania State University and Louisiana Tech University

Compiling some of the leading research in the field, this self-contained volume contains essential techniques and advanced applications for researchers or graduate students in computer engineering, computer science, and applied mathematics. Additionally, the book may be an important resource for students in other disciplines, such as the biological sciences, management sciences, social sciences, and economics.

Keywords

Diagnose algorithms automata automata theory computer computer network control control theory formal language identification information system modeling operating system optimal control robot

Editors and affiliations

  • Asok Ray
    • 1
  • Vir V. Phoha
    • 2
  • Shashi P. Phoha
    • 3
  1. 1.The Pennsylvania State UniversityUniversity ParkUSA
  2. 2.Louisiana Tech UniversityRustonUSA
  3. 3.N.I.S.T.-Information Technology LaboratoryGaithersburgUSA

Bibliographic information

  • DOI https://doi.org/10.1007/b103444
  • Copyright Information Springer Science+Business Media, Inc. 2005
  • Publisher Name Springer, New York, NY
  • eBook Packages Computer Science
  • Print ISBN 978-0-387-02108-9
  • Online ISBN 978-0-387-23903-3
  • About this book