Inproceedings3050: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Tomas Masopust (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Jan |ErsterAutorNachname=Komenda |FurtherAuthors=Tomáš Masopust; Jan H. van Schuppen; }} {{Inproceedings |Ref…“) |
Markus Krötzsch (Diskussion | Beiträge) K (Textersetzung - „|Forschungsgruppe=Knowledge Systems“ durch „|Forschungsgruppe=Wissensbasierte Systeme“) |
||
Zeile 20: | Zeile 20: | ||
|Download=Relative Observability in Coordination Control.pdf | |Download=Relative Observability in Coordination Control.pdf | ||
|Projekt=DIAMOND | |Projekt=DIAMOND | ||
|Forschungsgruppe= | |Forschungsgruppe=Wissensbasierte Systeme | ||
}} | }} |
Aktuelle Version vom 24. Mai 2016, 18:00 Uhr
Relative Observability in Coordination Control
Jan KomendaJan Komenda, Tomáš MasopustTomáš Masopust, Jan H. van SchuppenJan H. van Schuppen
Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
Relative Observability in Coordination Control
In B. Lennartson, eds., 2015 IEEE International Conference on Automation Science and Engineering (CASE), 75-80, 2015. IEEE
Relative Observability in Coordination Control
In B. Lennartson, eds., 2015 IEEE International Conference on Automation Science and Engineering (CASE), 75-80, 2015. IEEE
- KurzfassungAbstract
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 used in 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. - Projekt:Project: DIAMOND
- Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems
@inproceedings{KMS2015,
author = {Jan Komenda and Tom{\'{a}}{\v{s}} Masopust and Jan H. van
Schuppen},
title = {Relative Observability in Coordination Control},
editor = {B. Lennartson},
booktitle = {2015 {IEEE} International Conference on Automation Science and
Engineering (CASE)},
publisher = {IEEE},
year = {2015},
pages = {75-80}
}