A constructive and modular approach to decentralized supervisory Control problems

Jan Komenda (1) , Hervé Marchand (2) , Sophie Pinchinat (3)

1 Doppler Institute/ Department of Mathematics
2 VERTECS - Verification models and techniques applied to testing and control of reactive systems
3 S4 - System synthesis and supervision, scenarios

We plunge decentralized control problems into modular ones to benefit from the know-how of modular control theory: any decentralized control problem is associated to a natural modular control problem, which over-approximates it. Then, we discuss how a solution of the latter problem delivers a solution of the former

Domaines: Génie logiciel [cs.SE]

Jan Komenda, Hervé Marchand, Sophie Pinchinat. A constructive and modular approach to decentralized supervisory Control problems. 3rd IFAC Workshop on Discrete-Event System Design, Sep 2006, Rydzyna, Poland. ⟨inria-00424857⟩