Supervisory control with partial observations
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F13%3A00379728" target="_blank" >RIV/67985840:_____/13:00379728 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/978-1-4471-4276-8_4" target="_blank" >http://dx.doi.org/10.1007/978-1-4471-4276-8_4</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-1-4471-4276-8_4" target="_blank" >10.1007/978-1-4471-4276-8_4</a>
Alternative languages
Result language
angličtina
Original language name
Supervisory control with partial observations
Original language description
In discrete-event systems it is often not realistic to assume that all events of such a system are observable. This is either because some events are typically not directly observable from their very nature (such as failure events, internal hidden eventsetc.) or it is too costly to have sensors and observe every event that can occur in the system. Therefore, supervisory control with partial observations has been developed to cope with the additional difficulty of having unobservable events in discrete-event systems. The theory, including the concept of a deterministic observer automaton, necessary and sufficient conditions on a specification language to be achievable as the language of the closed-loop system, formulas and algorithms for computation ofsublanguages satisfying these conditions, are presented and illustrated by several examples.
Czech name
—
Czech description
—
Classification
Type
C - Chapter in a specialist book
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GAP103%2F11%2F0517" target="_blank" >GAP103/11/0517: Decentralized supervisory control of timed automata</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2013
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
Book/collection name
Control of disrete-event systems : automata and Petri Net Perspectives
ISBN
978-1-4471-4275-1
Number of pages of the result
20
Pages from-to
65-84
Number of pages of the book
478
Publisher name
Springer
Place of publication
London
UT code for WoS chapter
—