Relative observability in coordination control
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F15%3A00448457" target="_blank" >RIV/67985840:_____/15:00448457 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1109/CoASE.2015.7294044" target="_blank" >http://dx.doi.org/10.1109/CoASE.2015.7294044</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/CoASE.2015.7294044" target="_blank" >10.1109/CoASE.2015.7294044</a>
Alternative languages
Result language
angličtina
Original language name
Relative observability in coordination control
Original language description
Relative observability was introduced and studied in the framework of partially observed discrete-event systems as a condition stronger than observability and weaker than normality. Unlike observability, relative observability is closed under language unions, which makes it interesting for practical applications. In this paper, we investigate this notion in the framework of coordination control. We prove that conditional normality is stronger than conditional relative observability, hence it can be usedin coordination control instead of conditional normality. We present a distributive procedure to compute a conditionally controllable and conditionally observable sublanguage of the specification that contains the supremal conditionally relative observable sublanguage.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2015
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
IEEE International Conference on Automation Science and Engineering (CASE), 2015
ISBN
978-1-4673-8182-6
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
75-80
Publisher name
IEEE
Place of publication
Piscataway
Event location
Gothenburg
Event date
Aug 24, 2015
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—