Skip to Main content Skip to Navigation
Journal articles

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.
Document type :
Journal articles
Complete list of metadata
Contributor : Hervé Marchand Connect in order to contact the contributor
Submitted on : Thursday, October 8, 2009 - 1:43:01 PM
Last modification on : Friday, February 4, 2022 - 3:12:20 AM

Links full text




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⟩



Record views