Modular Control of Discrete-Event Systems with Coalgebra

0307560 - MÚ 2008 RIV US eng J - Článek v odborném periodiku
Komenda, Jan - van Schuppen, J. H.
Modular Control of Discrete-Event Systems with Coalgebra.
[Modulární řízení diskrétních událostních systémů pomocí koalgebry.]
IEEE Transactions on Automatic Control. Roč. 53, č. 2 (2008), s. 447-460. ISSN 0018-9286. E-ISSN 1558-2523
Grant CEP: GA AV ČR(CZ) KJB100190609
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: discrete-event systems * modular supervisory control * coalgebra
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 3.293, rok: 2008

Modular supervisory control of discrete-event systems (DES), where the overall system is synchronous (parallel) product of subsystems, is considered. The main results of this paper are formulations of sufficient conditions for the compatibility between the synchronous product and various operations stemming from supervisory control as supervised product and supremal controllable sublanguages. These results are generalized to the case of modules with partial observations: e.g. modular computation of supremal normal sublanguages is studied. Coalgebraic techniques based on the coinduction proof principle are used in our main results. Sufficient conditions are derived for modular to equal global control synthesis.An algorithmic procedure for checking the new conditions is proposed and the computational benefit of the modular approach is discussed and illustrated by comparing the time complexity of modular and monolithic computation.

Uvažujeme modulární supervizní řízení diskrétních událostních sytémů, kdy systém je synchronizovaným (paralelním)součinem podsystému. Hlavním výsledkem je formulace postačujících podmínek pro kompatibilitu mezi synchronizovaným součinem a různými operacemi supervizního řízení jako jsou supervizní součin a supremální kontrolovatelný podjazyk. Tyto výsledky jsou zobecněny na případ podsystému s částečným pozorováním, např. studujeme modulární výpočet supremálních normálních podjazyků. V hlavních výsledcích používáme koalgebraický přístup založený na tzv. koindukčním důkazovém principu. Odvodili jsme postačující podmínky pro rovnost modulárního a globálního supervizního řízení. Diskutovali jsme výpočetní výhody modulárního přístupu a porovnali jsme časovou výpočetní složitost monolitického a modulárního výpočtu.
Trvalý link: http://hdl.handle.net/11104/0160285