Supervisory Control of Modular Systems with Global Specification Languages

0306505 - MÚ 2008 RIV NL eng J - Článek v odborném periodiku
Komenda, Jan - van Schuppen, J. H. - Gaudin, B. - Marchand, H.
Supervisory Control of Modular Systems with Global Specification Languages.
[Supervizní řízení modulárních systémů s globálními specifikačními jazyky.]
Automatica. Roč. 44, č. 4 (2008), s. 1127-1134. ISSN 0005-1098. E-ISSN 1873-2836
Grant CEP: GA AV ČR(CZ) KJB100190609
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: discrete-event systems * modular supervisory control * global specification
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 3.178, rok: 2008

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.

V tomto článku prezentujeme postačující podmínky pro rovnost modulárního a globálního supervizního řízení. Modulární supervizní řízení se získá pro každý podsystém zvlášť a celkové supervizní řízení obdržíme jejich paralelním složením. Uvažujeme obecný případ specifikačního jazyka, který je nerozložitelný a není nutné zahrnout v jazyku systému, což nastane často v praxi. Obvyklý předpoklad , že sdílené události jsou kontrolovatelné, je zeslaben díky zavedení dvou nových strukturálních podmínek založených na globální vzájemné kontrolovatelnosti. Postačující strukturální podmínku nazýváme silná globální vzájemná kontrolovatelnost. Hlavní výsledek používá slabší podmínku nazvanou globální vzájemná kontrolovatelnost společně s lokální konzistencí specifikačního jazyka. Metoda je ilustrovaná na příkladě.
Trvalý link: http://hdl.handle.net/11104/0159512