Supervisory Control Problems of Hierarchical Finite State MachinesReport as inadecuate

Supervisory Control Problems of Hierarchical Finite State Machines - Download this document for free, or read online. Document in PDF available to download.

1 VERTECS - Verification models and techniques applied to testing and control of reactive systems Inria Rennes – Bretagne Atlantique

Abstract : The situation under consideration is that of a given Discrete Event System DES, whose behavior has to be modified by means of a feedback control named Supervisor in order to achieve a given set of requirements that the initial DES did not satisfy. To do so, the DES is modeled as a Hierarchical Finite State Machine HFSM. Further, instead of translating the HFSM to ordinary state machines and using classical synthesis tools on the resulting FSM, we here present algorithms that solve the Supervisory Control Problem for a particular case of forbidden state avoidance problem as well as the Optimal Control Problem without expanding the HFSM

Author: Hervé Marchand - Benoit Gaudin -



Related documents