Relative observability in coordination control

0448457 - MÚ 2016 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Masopust, Tomáš - van Schuppen, J. H.
Relative observability in coordination control.
IEEE International Conference on Automation Science and Engineering (CASE), 2015. Piscataway: IEEE, 2015 - (Lennartson, B.), s. 75-80. ISBN 978-1-4673-8182-6.
[IEEE International Conference on Automation Science and Engineering (CASE), 2015. Gothenburg (SE), 24.08.2015-28.08.2015]
Grant CEP: GA MŠMT LH13012; GA ČR GA15-02532S
Institucionální podpora: RVO:67985840
Klíčová slova: supervisory control * coordination control * relative observability
Kód oboru RIV: BA - Obecná matematika
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7294044

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.
Trvalý link: http://hdl.handle.net/11104/0250147