Supervisory Control of Discrete-Event Systems

More about the book

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.