Control of discrete-event systems with modular or distributed structure

0089065 - MÚ 2008 RIV NL eng J - Článek v odborném periodiku
Komenda, Jan - van Schuppen, J. H.
Control of discrete-event systems with modular or distributed structure.
[Řízení diskrétních událostních systémů s modulární a distribuovanou strukturou otáček.]
Theoretical Computer Science. Roč. 388, č. 3 (2007), s. 199-226. ISSN 0304-3975. E-ISSN 1879-2294
Grant CEP: GA AV ČR(CZ) KJB100190609
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: supervisory control * modular discrete-event system * distributed discrete-event system
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.735, rok: 2007

Most of large scale state transition (also called discrete-event) systems are formed as parallel compositions of many small subsystems (modules). Control of modular and distributed discrete-event systems appears as an approach to handle computational complexity of synthesizing supervisory controllers for large scale systems. For both modular and distributed discrete-event systems sufficient and necessary conditions are derived for modular control synthesis to equal global control synthesis, while enforcing a safety specification in an optimal way (the language of the controlled system is required to be the supremal one achievable by an admissible controller and included in a safety specification language). The two cases of local (decomposable) and global (indecomposable) specifications are considered. The modular control synthesis has a much lower computational complexity than the corresponding global control synthesis for the respective sublanguages.

Většina velkých přechodových systémů(také nazývaných diskrétních událostních systémů) je tvořena paralelním skládáním mnoha malých podsystémů (modulů). Řízení modulárních a distribuovaných diskrétních událostních systémů umožňuje zvládnout výpočetní složitost syntézy supervizních automatů pro velké systémy. Jak pro modulární, tak pro distribuované diskrétní událostní systémy, jsme odvodili postačující a nutné podmínky, za kterých modulární řízení je rovnocenné s výpočetně složitějším globálním řízením, konkrétně bezpečnostní specifikace může být zajištěna optimálním způsobem (jazyk řízeného systému bude supremální jazyk, který je možno řízením dosáhnout a zároveň bude zahrnut ve specifikačním jazyku). Uvažovali jsme oba případy lokálních (rozložitelných) a globálních (nerozložitelných) specifikačních jazyků. Modulární řízení má mnohem menší výpočetní složitost mez odpovídající globální řízení. Výpočetní složitost je porovnána prostřednictvím explicitních formulí.
Trvalý link: http://hdl.handle.net/11104/0150406