Supremal Normal Sublanguages in Hierarchical Supervisory Control

0348272 - MÚ 2011 RIV DE eng C - Conference Paper (international conference)
Komenda, Jan - Masopust, Tomáš
Supremal Normal Sublanguages in Hierarchical Supervisory Control.
Proceedings of the 10th International Workshop on Discrete Event Systems (WODES 2010). Berlin: The International Federation of Automatic Control, 2010 - (Raisch, J.; Giua, A.; Lafortune, S.; Moor, T.), s. 121-126. ISBN 978-3-902661-79-1.
[10th International Workshop on Discrete Event Systems. Berlin (DE), 29.08.2010-01.09.2010]
Grant - others:EU Projekt(XE) EU.ICT.DISC 224498
Institutional research plan: CEZ:AV0Z10190503
Keywords : discrete-event systems * hierarchical supervisory control * partial observations
Subject RIV: BA - General Mathematics
http://www.ifac-papersonline.net/Detailed/42914.html

In this paper, we study hierarchical supervisory control with partial observations. In particular, we are interested in preservation of supremal normal and supremal controllable and normal sublanguages from the abstracted system (high level) in the original (low level) system. Sufficient conditions are formulated under which the supremal normal or the supremal controllable and normal sublanguage computed at the high level (for the abstracted plant) is implementable at the low level, i.e., in the original plant.
Permanent Link: http://hdl.handle.net/11104/0188844