Supervisory Control of Discrete-Event Systems

Nonfiction, Science & Nature, Science, Other Sciences, System Theory, Technology, Automation
Cover of the book Supervisory Control of Discrete-Event Systems by W. Murray Wonham, Kai Cai, Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: W. Murray Wonham, Kai Cai ISBN: 9783319774527
Publisher: Springer International Publishing Publication: August 17, 2018
Imprint: Springer Language: English
Author: W. Murray Wonham, Kai Cai
ISBN: 9783319774527
Publisher: Springer International Publishing
Publication: August 17, 2018
Imprint: Springer
Language: English

This book shows how supervisory control theory (SCT) supports the formulation of various control problems of standard types, like the synthesis of controlled dynamic invariants by state feedback, and the resolution of such problems in terms of naturally definable control-theoretic concepts and properties, like reachability, controllability and observability. It exploits a simple, abstract model of controlled discrete-event systems (DES) that has proved to be tractable, appealing to control specialists, and expressive of a range of control-theoretic ideas. It allows readers to choose between automaton-based and dually language-based forms of SCT, depending on whether their preference is for an internal-structural or external-behavioral description of the problem.

The monograph begins with two chapters on algebraic and linguistic preliminaries and the fundamental concepts and results of SCT are introduced. To handle complexity caused by system scale, architectural approaches—the horizontal modularity of decentralized and distributed supervision and the vertical modularity of hierarchical supervision—are introduced. Supervisory control under partial observation and state-based supervisory control are also addressed; in the latter, a vector DES model that exploits internal regularity of algebraic structure is proposed. Finally SCT is generalized to deal with timed DES by incorporating temporal features in addition to logical ones.

Researchers and graduate students working with the control of discrete-event systems or who are interested in the development of supervisory control methods will find this book an invaluable aid in their studies. The text will also be of assistance to researchers in manufacturing, logistics, communications and transportation, areas which provide plentiful examples of the class of systems being discussed.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book shows how supervisory control theory (SCT) supports the formulation of various control problems of standard types, like the synthesis of controlled dynamic invariants by state feedback, and the resolution of such problems in terms of naturally definable control-theoretic concepts and properties, like reachability, controllability and observability. It exploits a simple, abstract model of controlled discrete-event systems (DES) that has proved to be tractable, appealing to control specialists, and expressive of a range of control-theoretic ideas. It allows readers to choose between automaton-based and dually language-based forms of SCT, depending on whether their preference is for an internal-structural or external-behavioral description of the problem.

The monograph begins with two chapters on algebraic and linguistic preliminaries and the fundamental concepts and results of SCT are introduced. To handle complexity caused by system scale, architectural approaches—the horizontal modularity of decentralized and distributed supervision and the vertical modularity of hierarchical supervision—are introduced. Supervisory control under partial observation and state-based supervisory control are also addressed; in the latter, a vector DES model that exploits internal regularity of algebraic structure is proposed. Finally SCT is generalized to deal with timed DES by incorporating temporal features in addition to logical ones.

Researchers and graduate students working with the control of discrete-event systems or who are interested in the development of supervisory control methods will find this book an invaluable aid in their studies. The text will also be of assistance to researchers in manufacturing, logistics, communications and transportation, areas which provide plentiful examples of the class of systems being discussed.

More books from Springer International Publishing

Cover of the book Human-Computer Systems Interaction by W. Murray Wonham, Kai Cai
Cover of the book Censorship and Heresy in Revolutionary England and Counter-Reformation Rome by W. Murray Wonham, Kai Cai
Cover of the book Cyberpatterns by W. Murray Wonham, Kai Cai
Cover of the book Cardiac Cytoarchitecture by W. Murray Wonham, Kai Cai
Cover of the book Heidegger’s Black Notebooks and the Future of Theology by W. Murray Wonham, Kai Cai
Cover of the book Mathematical Logic by W. Murray Wonham, Kai Cai
Cover of the book Applied Multidimensional Systems Theory by W. Murray Wonham, Kai Cai
Cover of the book Artificial Neural Networks and Machine Learning – ICANN 2017 by W. Murray Wonham, Kai Cai
Cover of the book National Sovereignty in the European Union by W. Murray Wonham, Kai Cai
Cover of the book Adapting to an Uncertain Climate by W. Murray Wonham, Kai Cai
Cover of the book Advances in Technical Diagnostics by W. Murray Wonham, Kai Cai
Cover of the book Computer Games by W. Murray Wonham, Kai Cai
Cover of the book Séminaire de Probabilités XLVIII by W. Murray Wonham, Kai Cai
Cover of the book The Energy Consumption in Refrigerated Warehouses by W. Murray Wonham, Kai Cai
Cover of the book Heat Transfer Modeling by W. Murray Wonham, Kai Cai
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy