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

0523864 - MÚ 2021 RIV US eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GC19-06175J
Institutional support: RVO:67985840
Keywords : supervisory control * automata * modular control
OECD category: 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.
Permanent Link: http://hdl.handle.net/11104/0308141