Supervisory Control of Modular Systems with Global Specification Languages

Abstract : The paper presents sufficient conditions for modular (supervisory) control synthesis to equal global control synthesis. In modular control synthesis a supervisory control is synthesized for each module separately and the supervisory control consists of the parallel composition of the modular supervisory controls. The general case of the specification that is indecomposable and not necessarily contained in the plant language, which is often the case in practice, is considered. The usual assumption that all shared events are controllable is relaxed by introducing two new structural conditions relying on the global mutual controllability condition. The novel concept used as a sufficient structural condition is strong global mutual controllability. The main result uses a weaker condition called global mutual controllability together with local consistency of the specification. An example illustrates the approach.
Type de document :
Article dans une revue
Automatica, Elsevier, 2008, 44, pp.1127-1134. 〈10.1016/j.automatica.2007.09.004〉
Liste complète des métadonnées
Contributeur : Hervé Marchand <>
Soumis le : jeudi 8 octobre 2009 - 13:43:01
Dernière modification le : mercredi 11 avril 2018 - 01:50:49

Lien texte intégral




Jan Komenda, Jan Van Schuppen, Benoit Gaudin, Hervé Marchand. Supervisory Control of Modular Systems with Global Specification Languages. Automatica, Elsevier, 2008, 44, pp.1127-1134. 〈10.1016/j.automatica.2007.09.004〉. 〈inria-00422859〉



Consultations de la notice