Supervisory Control of Discrete-Event Systems

Mehr zum Buch

Supervisory control theory (SCT) is utilized to address standard control problems, focusing on the synthesis of controlled dynamic invariants through state feedback. The book presents a straightforward model of controlled discrete-event systems (DES) that is both accessible and rich in control-theoretic concepts such as reachability, controllability, and observability. Readers can opt for either automaton-based or language-based approaches to SCT, catering to their preference for internal structure or external behavior in problem description.