Supervisory control of discrete-event systems (Q1793986)

This book shows how supervisory control theory 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 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 automation-based and dually language-based forms of supervisory control theory, depending on whether their preference is for an internal-structural or external-behavioral description of the problem. The algebraic and linguistic preliminaries and the fundamental concepts and results of supervisory control theory 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 considered. Supervisory control under partial observation and state-based supervisory control are also addressed; in the latter a vector discrete-event system model that exploits internal regularity of algebraic structure is proposed. The supervisory control theory is generalized to deal with timed discrete-event systems by incorporating temporal features in addition to logical ones.