Supervisory Control Theory
Typically, this theory specific to discrete-event systems formulates control problems in terms
of properties to be satisfied according to various system architectures. A control specification describes the legal behavior of a system relative to its free behavior while indicating its controllable and observable events. The objective is to create a supervisor such that the closed-loop system behaves correctly.
Research Topics
My most significant contributions touch on all aspects of supervisory control theory: theoretical foundations, controller synthesis algorithms, practical applications, and not forgetting some forays into formal specification methods, synthesis of reactive systems, and implementation of the theory in constraint satisfaction environments.
Additional Information
The list of my publications includes those that are the most significant from 1976 to the present day. They are classified by subject and grouped by those published in journals, book chapters, and conference proceedings. A more complete list and a short biography in English are available via ORCID.
Revised: November 15, 2025.