KOMENDA, Jan, Tomáš MASOPUST a Jan H. VAN SCHUPPEN. Synthesis of Safe Sublanguages satisfying Global Specification using Coordination Scheme for Discrete-Event Systems. In 10th International Workshop on Discrete Event Systems (WODES 2010). Berlin, 2010, s. 436-441.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Synthesis of Safe Sublanguages satisfying Global Specification using Coordination Scheme for Discrete-Event Systems
Autoři KOMENDA, Jan, Tomáš MASOPUST a Jan H. VAN SCHUPPEN.
Vydání Berlin, 10th International Workshop on Discrete Event Systems (WODES 2010), od s. 436-441, 2010.
Další údaje
Originální jazyk angličtina
Typ výsledku Stať ve sborníku
Obor 10201 Computer sciences, information science, bioinformatics
Stát vydavatele Česká republika
Utajení není předmětem státního či obchodního tajemství
WWW URL
Organizační jednotka Fakulta informatiky
Klíčová slova anglicky Discrete-event system; coordination control; coordinator; supervisory control; decentralized control; conditional controllability.
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: doc. RNDr. Tomáš Masopust, Ph.D., DSc., učo 4030. Změněno: 15. 9. 2010 18:59.
Anotace
Modular control of discrete-event systems with a global specification and with only local supervisors is a difficult problem. For global specifications, however, the equivalent conditions may not be met. This paper formulates and solves a control synthesis problem for a generator with a global specification and with a combination of a coordinator and local controllers. Conditional controllability is proven to be an equivalent condition for the existence of such a coordinated controller. A procedure to compute a coordinated controller is provided.
VytisknoutZobrazeno: 11. 6. 2024 20:39