A unifying approach to maximal permissiveness in modular control of discrete-event systems

0523864 - MÚ 2021 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Lin, F. - van Schuppen, J. H.
A unifying approach to maximal permissiveness in modular control of discrete-event systems.
2019 IEEE 58th Conference on Decision and Control (CDC). Piscataway: IEEE, 2019 - (Canudas-de-Wit, C.), s. 2009-2014. ISBN 978-1-7281-1399-9.
[2019 IEEE 58th Conference on Decision and Control (CDC). Nice (FR), 11.12.2019-13.12.2019]
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: supervisory control * automata * modular control
Obor OECD: Automation and control systems
https://doi.org/10.1109/CDC40024.2019.9028856

In this paper, a unifying approach to maximal permissiveness in modular control of discrete-event systems is proposed. It is based on three important concepts of modular closed-loops: monotonicity, distributivity, and exchangeability. Monotonicity of various closed-loops satisfying a given property considered in this paper holds whenever the underlying property is preserved under language unions. Distributivity holds if the inverse projections of local plants satisfy the given property with respect to each other. Among new results, sufficient conditions are proposed for distributed computation of supremal relatively observable sublanguages.
Trvalý link: http://hdl.handle.net/11104/0308141