Supervisory Control Problems of Hierarchical Finite State MachinesReportar como inadecuado

Supervisory Control Problems of Hierarchical Finite State Machines - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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

Autor: Hervé Marchand - Benoit Gaudin -



Documentos relacionados