Multi-level supervisory control (MUSIC)

Grant no.: MŠMT LH13012
Duration: 2013-2015
Leader(s): J. Komenda (IM AS CR), S. Lafortune (The University of Michigan, Ann Arbor), F. Lin (Wayne State University, Detroit)
Abstract: The aim of the project is to develop multi-level coordination control approach for concurrent discrete-event systems with modular structure and to apply this approach to decentralized supervisory control with communication. It will be based on the single-level coordination control with one central coordinator that we have recently developed, but which fails for most of large-scale systems due to central coordinator being too complex. Two different approaches, top-down and bottom-up, will be developed using multi-level hierarchy of groups of subsystems and their coordinators. The results will be extended to partially observed systems and evaluated on large systems. Finally, these efficient techniques for structured (modular) systems will be applied to decentralized control without a structured plant to compute a controllable sublanguage that is by construction coobservable with respect to enriched observations given by the structure of the coordinators on different layers.
Journal papers
1 Komenda, J., Masopust, T., Distributed computation of supremal conditionally-controllable sublanguages, International Journal of Control, 89 (2), 424-436, 2016.
Conference papers
7 Komenda, J., Masopust, T., Van Schuppen, J.H., On a Distributed Computation of Supervisors in Modular Supervisory Control, Proc. of International Conference on Complex Systems Engineering (ICCSE), Connecticut, USA, pp. 1-6, 2015.
6 Komenda, J., Masopust, T., van Schuppen, J.H., Relative Observability in Coordination Control, Proc. of 11th IEEE International Conference on Automation Science and Engineering (IEEE CASE 2015), Gothenburg, Sweden, pp, 75-80, 2015.
5 Komenda, J., Masopust, T., van Schuppen, J.H., Multilevel Coordination Control of Partially Observed Modular DES, Proc. of American Control Conference (ACC), pp. 384-389, Chicago, IL, USA, 2015.
4 Komenda, J., Masopust, T., Decentralized Supervisory Control with Communicating Supervisors Based on Top-Down Coordination Control, Proc. of the IEEE Conference on Decision and Control (CDC), pp. 5149-5155. IEEE Control Systems Society, Los Angeles, CA, USA, 2014
3 Komenda, J., Masopust, T., van Schuppen, J.H., Bottom-Up Approach to Multilevel Supervisory Control with Coordination, Proc. of the 13th European Control Conference (ECC), pp. 2715-2720. EUCA, Strasbourg, France, 2014
2 Komenda, J., Masopust, T., van Schuppen, J.H., Multilevel Coordination Control of Modular DES, Th. Parisini and R. Tempo (Eds.), Proc. of the 52nd IEEE Conference on Decision and Control (CDC), Florence, Italy, IEEE Control Systems Society, pp. 6323-6328, 2013
1 Komenda, J., Masopust, T., A Bridge between Decentralized and Coordination Control, T. Basar and O. Milenkovic (Eds.), Proc. of the 51st Annual Allerton Conference on Communication, Control, and Computing, IEEE Control Systems Society, Allerton House, UIUC, Illinois, USA, pp. 966-972, 2013
Tools
Coordination control synthesis plug-in for libFAUDES (see this page).