W. Murray Wonham Livres

The book introduces a novel approach to managing complexity through the State Tree Structure (STS), an adaptation of statecharts to Supervisory Control Theory. It presents an efficient recursive symbolic algorithm designed for nonblocking supervisory control design, enabling the handling of intricate systems within reasonable time and memory constraints. This innovative method aims to streamline the control process, making it more manageable for complex applications.

Supervisory control theory (SCT) is explored as a framework for addressing various control problems, such as synthesizing controlled dynamic invariants through state feedback. The book utilizes a straightforward model of controlled discrete-event systems (DES), making it accessible and appealing to control specialists. It emphasizes key control-theoretic concepts like reachability, controllability, and observability. Readers can choose between automaton-based or language-based approaches to SCT, catering to different preferences for internal structure or external behavior in problem description.