Quantitative measure for discrete event supervisory control

Asok Ray, Vir V. Phoha, Shashi Phoha

Research output: Book/ReportBook

19 Citations (Scopus)

Abstract

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.

Original languageEnglish (US)
PublisherSpringer New York
Number of pages264
ISBN (Print)0387021086, 9780387021089
DOIs
StatePublished - Dec 1 2005

Fingerprint

Large scale systems
Control theory
Students
Management science
Electric power generation
Social sciences
Computer control
Discrete event simulation
Systems engineering
Computer science
Robotics
Aircraft
Control systems
Economics
Communication

All Science Journal Classification (ASJC) codes

  • Computer Science(all)

Cite this

@book{a55165e997194dfcb7e7600f0d30c5e4,
title = "Quantitative measure for discrete event supervisory control",
abstract = "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.",
author = "Asok Ray and Phoha, {Vir V.} and Shashi Phoha",
year = "2005",
month = "12",
day = "1",
doi = "10.1007/b103444",
language = "English (US)",
isbn = "0387021086",
publisher = "Springer New York",
address = "United States",

}

Quantitative measure for discrete event supervisory control. / Ray, Asok; Phoha, Vir V.; Phoha, Shashi.

Springer New York, 2005. 264 p.

Research output: Book/ReportBook

TY - BOOK

T1 - Quantitative measure for discrete event supervisory control

AU - Ray, Asok

AU - Phoha, Vir V.

AU - Phoha, Shashi

PY - 2005/12/1

Y1 - 2005/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84889766095&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84889766095&partnerID=8YFLogxK

U2 - 10.1007/b103444

DO - 10.1007/b103444

M3 - Book

AN - SCOPUS:84889766095

SN - 0387021086

SN - 9780387021089

BT - Quantitative measure for discrete event supervisory control

PB - Springer New York

ER -