Supremal Normal Sublanguages of Large Distributed Discrete Event Systems
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F04%3A00106894" target="_blank" >RIV/67985840:_____/04:00106894 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Supremal Normal Sublanguages of Large Distributed Discrete Event Systems
Original language description
Coalgebraic methods provide new results and insights for modular supervisory control of discrete event systems, where the overall system is composed of subsystems that are themselves partially observed DES. The attention of this paper is focused on complex distributed systems that are composed of a large number of small subsystems that are combined in a modular fashion.
Czech name
Supremální normální podjazyky velkých distribuovných diskrétních událostních systémů
Czech description
Koalgebraické metody poskytují nové výsledky a nadhledy pro modulární supervizní řízení diskrétních událostních systémů, kde globální systém se skládá z lokálních podsystémů, které jsou sami diskrétními událostními systémy s částečným pozorováním. V tomto článku je pozornost zaměřena na komplexní distribuované systémy, které jsou složeny z velkého počtu malých podsystémů, jež jsou paralelně spojeny. Jsou odvozeny podmínky, za kterých supremální normální podjazyky komutují se synchronizovaným součinem jazyku, t.j. výpočet supremálních normálních podjazyků může být realizován lokálně. Hlavní výsledek je obdržen pomocí důkazového principu koindukce.
Classification
Type
D - Article in proceedings
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GP201%2F03%2FP077" target="_blank" >GP201/03/P077: Coalgebra and discrete event control</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2004
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the 7th IFAC International Workshop on Discrete Event Systems
ISBN
—
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
73-78
Publisher name
CWI
Place of publication
Reims
Event location
Reims
Event date
Sep 22, 2004
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—