Control of an engineering-structured multilevel discrete-event system

0460358 - MÚ 2017 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Masopust, Tomáš - van Schuppen, J. H.
Control of an engineering-structured multilevel discrete-event system.
Proceedings of the 13th International Workshop on Discrete Event Systems. Danvers: IEEE, 2016 - (Cassandras, C.; Giua, A.; Li, Z.), s. 103-108. ISBN 978-1-5090-4190-9.
[13th International Workshop on Discrete Event Systems (WODES 2016). Xi'an (CN), 30.05.2016-01.06.2016]
Grant CEP: GA ČR GA15-02532S
Institucionální podpora: RVO:67985840
Klíčová slova: supervisory control * automata * manufacturing systems
Kód oboru RIV: BA - Obecná matematika
https://ieeexplore.ieee.org/document/7497833

Control of a multilevel system is developed for a discrete-event system (DES) structured by an engineering model. In a multilevel system, each subsystem has a set of children at the next-lower level and a unique parent at the next-higher level. A coordinated multilevel DES is defined by the condition that a parent also is involved in the interaction of each tuple of its children. Control synthesis is carried out per subsystem. If the specification language is conditionally decomposable, conditionally controllable, and conditionally normal then there exists a set of supervisors such that the closed-loop system of the multilevel system meets the specification. The complexity gain is considerable. The examples of an MRI scanner and of a vehicle system illustrate the approach.
Trvalý link: http://hdl.handle.net/11104/0260453