Coalgebra and Supervisory Control of Discrete-Event Systems with Partial Observations

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

Result language
angličtina
Original language name
Coalgebra and Supervisory Control of Discrete-Event Systems with Partial Observations
Original language description
Coalgebra and coinduction are used in supervisory control of discrete-event systems with partial observations. The concept of nondeterministic weak transitions introduced in this paper yields a definition of deterministic weak transitions. They give riseto the relational characterizations of normality and observability.
Czech name
Koalgebra a supervizní řízení diskrétních událostí systému s částečným pozorováním
Czech description
Koalgebra a koindukce jsou použity v supervizním řízení diskrétních událostních systému s částečným pozorováním. Koncept nedeterministického slabého přechodu použitý v tomto článku vede k definici deterministického slabého přechodu. Ten vede k definici deterninistického slabého přechodu. Ten vede k charakterizaci normality a pozorovatelnosti pomocí odpovídajících relací.

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 Mathematical Theory of Network and Systems (MTNS 2002)
ISBN
—
ISSN
—
e-ISSN
—
Number of pages
35
Pages from-to
1-35
Publisher name
University of Notre Dame
Place of publication
Notre Dame
Event location
Notre Dame
Event date
Aug 12, 2002
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)