Relative observability in coordination control

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

Relative observability in coordination control

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Relative observability in coordination control

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2015

Kód důvěrnosti údajů

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

Název statě ve sborníku

IEEE International Conference on Automation Science and Engineering (CASE), 2015

ISBN

978-1-4673-8182-6

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

75-80

Název nakladatele

IEEE

Místo vydání

Piscataway

Místo konání akce

Gothenburg

Datum konání akce

24. 8. 2015

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—