Supervisory control of modular systems with global specification languages
| Autor: | J.H. van Schuppen, Benoit Gaudin, Hervé Marchand, Jan Komenda |
|---|---|
| Přispěvatelé: | Doppler Institute/ Department of Mathematics, Czech Technical University in Prague (CTU), Scientific Computing and Control Theory (MAS2), Centrum Wiskunde & Informatica (CWI), System Research Group [Dublin] (SRG), University College Dublin [Dublin] (UCD), Verification models and techniques applied to testing and control of reactive systems (VERTECS), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Scientific Computing, Stochastics, Mathematics |
| Rok vydání: | 2008 |
| Předmět: |
0209 industrial biotechnology
Control synthesis business.industry 020208 electrical & electronic engineering supervisory control Control engineering [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] 02 engineering and technology Specification language Modular design Controllability Consistency (database systems) 020901 industrial engineering & automation Supervisory control global specification Control and Systems Engineering Control theory 0202 electrical engineering electronic engineering information engineering Local consistency Modular discrete-event systems Electrical and Electronic Engineering Indecomposable module business Mathematics |
| Zdroj: | Automatica Automatica, Elsevier, 2008, 44, pp.1127-1134. ⟨10.1016/j.automatica.2007.09.004⟩ Automatica, 2008, 44, pp.1127-1134. ⟨10.1016/j.automatica.2007.09.004⟩ Automatica, 44, 1127-1134 Komenda, J, Schuppen, J H, Gaudin, B & Marchand, H 2008, ' Supervisory control of modular systems with global specification languages ', Automatica, vol. 44, pp. 1127-1134 . https://doi.org/10.1016/j.automatica.2007.09.004 Automatica, 44, 1127-1134. Elsevier Limited |
| ISSN: | 0005-1098 |
| DOI: | 10.1016/j.automatica.2007.09.004 |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect