0310992 - MÚ 2009 RIV SE eng C - Conference Paper (international conference)
Komenda, Jan - van Schuppen, J. H.
Coordination Control of Discrete Event Systems.
[Koordinované řízení diskrétních událostních systémů.]
Proceedings of WODES 2008: 9th International Workshop on Discrete Event Systems. Göteborg: Ihe Institute of Electrical and Electronics Engineering, 2008 - (Lenartson, B.; Fabian, M.; Akesson, K.; Giua, A.; Kumar, R.), s. 9-15. ISBN 978-1-4244-2592-1.
[International Workshop on Discrete Event Systems. Göteborg (SE), 28.05.2008-30.05.2008]
R&D Projects: GA AV ČR(CZ) KJB100190609
Institutional research plan: CEZ:AV0Z10190503
Keywords : discrete-event systems * modular nonblocking control * coordination control
Subject RIV: BA - General Mathematics

The concept of a coordinator is proposed for control of modular discrete-event systems. The coordinator makes all subsystems conditionally independent generators as defined in the paper. The coordinator receives part of the partial observations of the subsystems and its task is to satisfy the global part of the specification and of the nonblockingness. the complete supervisor then consists of the coordinator, its supervisor, and the local supervisors for the subsystems. An example of control of a distributed discrete-event system shows that a coordinator is necessary for achieving safety and nonblockingness.

Navrhujeme pojem koordinátora pro řízení modulárních systémů s diskrétními událostmi. Koordinátor dělá všechny podsystémy podmíněně ( pozn. příslovce ) nezávislými automaty v souladu s definicí uvedenou v tomto článku. Koordinátor obdrží částečnou informaci z neúplného pozorování podsystému ( s kroužkem ) a jeho role je zajistit splnění globální části specifikačního jazyka a absenci konfliktu. Celkový supervisor se pak skládá z koordinatora, jeho supervizora a lokálních supervizorů pro jednotlivé podsystémy. Na příkladě distribuovaného systému s diskrétními událostmi ukážeme, že koordinátor je nutný pro zajištění bezpečnosti systému a absenci konfliktu.

Permanent Link: http://hdl.handle.net/11104/0162715