Computation of Supremal Sublanguages of Supervisory Control Using Coalgebra

0106958 - MU-W 20040165 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
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]
Výzkumný záměr: CEZ:AV0Z1019905
Klíčová slova: coalgebra * control with partial observations * supremal controllable and normal sublanguages
Kód oboru RIV: BA - Obecná matematika

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.
Trvalý link: http://hdl.handle.net/11104/0014130