Computation of Supremal Sublanguages of Supervisory Control Using Coalgebra

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F02%3A00106958" target="_blank" >RIV/67985840:_____/02:00106958 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Computation of Supremal Sublanguages of Supervisory Control Using Coalgebra
Original language description
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.
Czech name
Výpočet supremálních podjazyků supervizního řízení za využití koalgebry
Czech description
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 asupremálních normálních a kontrolovatelných podjazyků, které jsou porovnány s existujícími algoritmy v literatuře.

Publication year
2002
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Proceedings of the 6th International Workshop on Discrete Event Systems (WODESď02)
ISBN
—
ISSN
—
e-ISSN
—
Number of pages
8
Pages from-to
26-33
Publisher name
IEEE Computer Society Press
Place of publication
Los Alamitos
Event location
Los Alamitos
Event date
Oct 2, 2002
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)