Supervisory Control of Modular Systems with Global Specification Languages - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Automatica Année : 2008

Supervisory Control of Modular Systems with Global Specification Languages

Résumé

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.

Dates et versions

inria-00422859 , version 1 (08-10-2009)

Identifiants

Citer

Jan Komenda, Jan van Schuppen, Benoit Gaudin, Hervé Marchand. Supervisory Control of Modular Systems with Global Specification Languages. Automatica, 2008, 44, pp.1127-1134. ⟨10.1016/j.automatica.2007.09.004⟩. ⟨inria-00422859⟩
61 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More