0106958 - MU-W 20040165 RIV US eng C - Conference Paper (international conference)
Komenda, Jan
Computation of Supremal Sublanguages of Supervisory Control Using Coalgebra.
[Výpočet supremálních podjazyků supervizního řízení za využití koalgebry.]
Proceedings of the 6th International Workshop on Discrete Event Systems (WODESď02). Los Alamitos: IEEE Computer Society Press, 2002, s. 26-33.
[International Workshop on Discrete Event Systems/6./. Los Alamitos (US), 02.10.2002-04.10.2002]
Institutional research plan: CEZ:AV0Z1019905
Keywords : coalgebra * control with partial observations * supremal controllable and normal sublanguages
Subject RIV: BA - General Mathematics

Coalgebra and coinduction provide new results and insights for the supervisory control of discrete-event systems (DES) with partial observations. Relational characterizations of normality and observability lead to new algorithms for supremal normal and supremal normal and controllable sublanguages that are compared to the ones known in the literature.

Koalgebra a koindukce poskytují nové výsledky a nadhledy v supervizním řízení systému s diskrétními událostmi s částečným pozorováním. Charakterizace normality a pozorovatelnosti pomocí relací vede k novým algoritmům na výpočet supremálních normálních a supremálních normálních a kontrolovatelných podjazyků, které jsou porovnány s existujícími algoritmy v literatuře.
Permanent Link: http://hdl.handle.net/11104/0014130