Details
Quantitative Measure for Discrete Event Supervisory Control
96,29 € |
|
Verlag: | Springer |
Format: | |
Veröffentl.: | 21.06.2008 |
ISBN/EAN: | 9780387239033 |
Sprache: | englisch |
Anzahl Seiten: | 264 |
Dieses eBook enthält ein Wasserzeichen.
Beschreibungen
<P>Supervisory Control Theory (SCT) provides a tool to model and control human-engineered complex systems, such as computer networks, World Wide Web, identification and spread of malicious executables, and command, control, communication, and information systems. Although there are some excellent monographs and books on SCT to control and diagnose discrete-event systems, there is a need for a research monograph that provides a coherent quantitative treatment of SCT theory for decision and control of complex systems. This new monograph will assimilate many new concepts that have been recently reported or are in the process of being reported in open literature. The major objectives here are to present a) a quantitative approach, supported by a formal theory, for discrete-event decision and control of human-engineered complex systems; and b) a set of applications to emerging technological areas such as control of software systems, malicious executables, and complex engineering systems. The monograph will provide the necessary background materials in automata theory and languages for supervisory control. It will introduce a new paradigm of language measure to quantitatively compare the performance of different automata models of a physical system. A novel feature of this approach is to generate discrete-event robust optimal decision and control algorithms for both military and commercial systems.</P>
Theory of Language Measure and Supervisory Control.- Signed Real Measure of Regular Languages.- Optimal Supervisory Control of Regular Languages.- Robust Optimal Control of Regular Languages.- Advanced Topics in Supervisory Control.- Engineering and Software Applications of Language Measure and Supervisory Control.- Discrete Event Supervisory Control of a Mobile Robotic System.- Optimal Control of Robot Behavior Using Language Measure.- Optimal Discrete Event Control of Gas Turbine Engines.- Supervisory Control of Software Systems.- Supervisory Control of Malicious Executables in Software Processes.
<P>Dr. Asok Ray, Distinguished Professor of Mechanical Engineering, Pennsylvania State University. Previously worked at Carnegie Mellon University, Massachusetts Institute of Technology, Charles Stark Draper Laboratory, and MITRE. Fellow of IEEE; Fellow of ASME; Associate Fellow of AIAA; Professional Engineer. Editor of IEEE Transactions on Aerospace and Electronic Systems; Editorial Board Member, Advances in Industrial Control Series, Springer-Verlag, London; Associate editor of IEEE Transactions on Control Systems Technology; Associate Editor, The International Journal of Structural Health Monitoring (IJSHM); Associate Editor, International Journal of Flexible Manufacturing Systems; Past Associate Editor, ASME Journal of Dynamic Systems, Measurement, and Control (1992-1995). Author of over 350 research publications and book chapters including a Springer-Verlag, London monograph, Intelligent Seam Tracking for Robotic Welding (1993). More details are available at http://www.me.psu.edu/Ray/.</P>
<P></P>
<P> </P>
<P>Dr. Vir V. Phoha, Associate Professor of Computer Science in the College of Engineering and Science at Louisiana Tech University. Has won various distinctions including outstanding research faculty and faculty circle of excellence award at Northeastern State University, Oklahoma, and as a student was awarded President’s Gold medal for academic distinction. Author of over 35 publications and author of two books: (1) Internet Security Dictionary, Springer-Verlag (2002) and (2) Foundations of Wavelet Networks and Applications, CRC Press/Chapman Hall (2002).</P>
<P></P>
<P> </P>
<P>Dr. Shashi Phoha, Director of Information Science and Technology Division at the Applied Research Laboratory and Professor of Electrical and Computer Engineering, Pennsylvania State University. Founder and Director of a University/Industry consortium for establishing a National Information Infrastructure Interoperability Testbed, funded by DARPA. Member of theBoard of Directors of the International Consortium CERES Global Knowledge Network, along with representatives of thirteen other international universities. On the Board of Directors of Autonomous Undersea Vehicle Technology Consortium for International Cooperation Between Research, Technology, Industry and Applications. Panelist on the National Information Infrastructure Standards Panel (ANSI). Author of over 150 scholarly articles and book chapters. M.S. Cornell University, Ph.D. Michigan State University.</P>
<P></P>
<P> </P>
<P>Dr. Vir V. Phoha, Associate Professor of Computer Science in the College of Engineering and Science at Louisiana Tech University. Has won various distinctions including outstanding research faculty and faculty circle of excellence award at Northeastern State University, Oklahoma, and as a student was awarded President’s Gold medal for academic distinction. Author of over 35 publications and author of two books: (1) Internet Security Dictionary, Springer-Verlag (2002) and (2) Foundations of Wavelet Networks and Applications, CRC Press/Chapman Hall (2002).</P>
<P></P>
<P> </P>
<P>Dr. Shashi Phoha, Director of Information Science and Technology Division at the Applied Research Laboratory and Professor of Electrical and Computer Engineering, Pennsylvania State University. Founder and Director of a University/Industry consortium for establishing a National Information Infrastructure Interoperability Testbed, funded by DARPA. Member of theBoard of Directors of the International Consortium CERES Global Knowledge Network, along with representatives of thirteen other international universities. On the Board of Directors of Autonomous Undersea Vehicle Technology Consortium for International Cooperation Between Research, Technology, Industry and Applications. Panelist on the National Information Infrastructure Standards Panel (ANSI). Author of over 150 scholarly articles and book chapters. M.S. Cornell University, Ph.D. Michigan State University.</P>
<P>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. </P>
<P><STRONG><EM>Quantitative Measure for Discrete Event Supervisory Control</EM></STRONG> 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.</P>
<P>• Summarizes fundamental materials in supervisory decision and control before integrating new method to quantitatively measure performance </P>
<P>• Presents formal theory to support the quantitative approach, thus outlining an effective model for discrete event decision and control of human-engineered complex systems </P>
<P>• Outlines diverse and practical implications for the materials in the commercial and military Command, Control, Computer, Communication, Intelligence, Surveillance, and Reconnaissance (C<SUP>4</SUP>ISR) systems </P>
<P>• Illuminates significant mathematical foundations and proofs for reader understanding of quantification processes, while avoiding nonessential mathematical details and applications </P>
<P>•Develops and describes methods that have been successfully classroom-tested in Pennsylvania State University and Louisiana Tech University</P>
<P>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. </P>
<P></P>
<P></P>
<P><STRONG><EM>Quantitative Measure for Discrete Event Supervisory Control</EM></STRONG> 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.</P>
<P>• Summarizes fundamental materials in supervisory decision and control before integrating new method to quantitatively measure performance </P>
<P>• Presents formal theory to support the quantitative approach, thus outlining an effective model for discrete event decision and control of human-engineered complex systems </P>
<P>• Outlines diverse and practical implications for the materials in the commercial and military Command, Control, Computer, Communication, Intelligence, Surveillance, and Reconnaissance (C<SUP>4</SUP>ISR) systems </P>
<P>• Illuminates significant mathematical foundations and proofs for reader understanding of quantification processes, while avoiding nonessential mathematical details and applications </P>
<P>•Develops and describes methods that have been successfully classroom-tested in Pennsylvania State University and Louisiana Tech University</P>
<P>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. </P>
<P></P>
<P></P>
Presents a novel quantitative approach, such as performance measures of supervisors to decision and control Presents a an ideal combination of language-theoretic techniques with quantitative measures of performance supported by diverse applications of practical importance Offers a unique quantitative approach to discrete event supervisory decision and control synthesis
<P>Supervisory Control Theory (SCT) provides a tool to model and control human-engineered complex systems, such as computer networks and the Web. This book develops the concepts of this theory and explores ways it could be applied to emerging technological areas such as control of complex computer and software systems. It provides the necessary background information and introduces new paradigms. Researchers in computer engineering, as well as automatic control and systems engineers will find the book of benefit for their work.</P>