Kai Cai Libros

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.