Decentralized and coordination supervisory control

Grant no.: GAČR P202/11/P028
Duration: 2011-2013
Leader: T. Masopust
Abstract: As the complexity of man-made systems grows, the risk of a human operator error increases and a correct behavior of complex distributed systems can only be ensured by a supervisory control system. The purpose of this project is to acquire new knowledge in decentralized and coordination supervisory control of DES with a special emphasis on large distributed DES with global specifications using the concept of a coordinator. The project will focus on the basic concepts of coordination control, and on algorithms and methods for determining the minimal size coordinator. The optimal solution is in general a hard problem, therefore principles and methods of approximation algorithms and of game theory, such as Nash equilibrium etc., will be useful. The research will then be generalized to concepts and frameworks of decentralized and coordination control with partial observations with both local and global specifications, and on problems of decentralized control with communication controllers, such as fully decentralized control, fix communication structure, or communication when needed.
Journal papers
9 Komenda, J., Masopust, T., van Schuppen J.H., Coordination Control of Discrete-Event Systems Revisited, to appear in Discrete Event Dynamic Systems
8 Masopust, T., A Note on Limited Pushdown Alphabets in Stateless Deterministic Pushdown Automata, International Journal of Foundations of Computer Science 24 (3), 319-328, 2013
7 Komenda, J., Masopust, T., van Schuppen, J.H., On Conditional Decomposability, Systems & Control Letters 61 (12), 1260-1268, 2012.
6 Masopust, T., A note on controllability of deterministic context-free systems, Automatica 48(8), 458-461, 2012.
5 Jirásková, G., Masopust, T., On a structural property in the state complexity of projected regular languages, Theoretical Computer Science 449, 93-105, 2012.
4 Komenda, J., Masopust, T., van Schuppen, J.H., Supervisory Control Synthesis of Discrete-Event Systems using a Coordination Scheme, Automatica 48(2), 247-254, 2012
3 Komenda, J., Masopust, T., van Schuppen, J.H., Synthesis of Controllable and Normal Sublanguages for Discrete-Event Systems using a Coordinator, Systems & Control Letters 60(7), 492-502, 2011
2
 Csuhaj-Varjú, E., Masopust, T., Vaszil, Gy., Blackhole Pushdown Automata, Fundamenta Informaticae 112(2-3), 2011, 137-156
1 Křivka, Z., Masopust, T., Cooperating Distributed Grammar Systems with Random Context Grammars as Components, Acta Cybernetica 20, 269-283, 2011
Conference papers
9 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
8 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, University of Illinois at Urbana-Champaign, Allerton Retreat Center, Monticello, to appear
7 Jirásková, G., Masopust, T., On the State Complexity of the Reverse of R- and J-trivial Regular Languages, H. Jürgensen and R. Reis (Eds.), Proc. of DCFS 2013, LNCS 8031, pp. 136-147. Springer Berlin Heidelberg 2013.
6 Komenda, J., Masopust, T., van Schuppen J.H. On Algorithms and Extensions of Coordination Control of Discrete-Event Systems, A. Ramírez-Treviño, J.-J. Lesage, M. Silva (Eds.), WODES 2012, Guadalajara, Mexico, IFAC, pp. 245-250, 2012.
5 Jirásková, G., Masopust, T., On Properties and State Complexity of Deterministic State-Partition Automata, IFIP Theoretical Computer Science (TCS 2012), J.C.M. Baeten, T. Ball, and F.S. de Boer (Eds.), LNCS 7604, pp. 164-178. Springer, Berlin, 2012.
4 Jirásková, G., Masopust, T., On the State and Computational Complexity of the Reverse of Acyclic Minimal DFAs, N. Moreira and R. Reis (Eds.), Proc. of CIAA 2012, LNCS 7381, pp. 229-239. Springer, Berlin, 2012.
3 Boutin, O., Komenda, J., Masopust, T., Schmidt, K., van Schuppen, J.H., Hierarchical Control with Partial Observations: Sufficient Conditions, Proc. of IEEE Conference on Decision and Control and European Control Conference, Orlando, Florida, pp. 1817-1822, 2011
2 Jirásková, G., Masopust, T., State Complexity of Projected Languages, M. Holzer, M. Kutrib, and G. Pighizzini (Eds.), Proc. of DCFS 2011, LNCS 6808, pp. 198-211. Springer, Heidelberg, 2011
1 Komenda, J., Masopust, T., van Schuppen, J.H., Coordinated Control of Discrete Event Systems with Nonprefix-Closed Languages, Proc. of IFAC WC 2011, pp. 6982-6987, Milano, Italy, 2011
Chapters in monographs
4 Komenda, J., Masopust, T., van Schuppen J.H., Coordination Control of Distributed Discrete-Event Systems, in Control of Discrete-event Systems, C. Seatzu, M. Silva, J.H. van Schuppen (Eds.), LNCIS 433, pp. 147-167. Springer, Berlin, 2013.
3 Komenda, J., Masopust, T., van Schuppen J.H., Supervisory Control of Distributed Discrete-Event Systems, in Control of Discrete-event Systems, C. Seatzu, M. Silva, J.H. van Schuppen (Eds.), LNCIS 433, pp. 107-126. Springer, Berlin, 2013.
2 Masopust, T., van Schuppen J.H., Supervisory Control with Complete Observations, in Control of Discrete-event Systems, C. Seatzu, M. Silva, J.H. van Schuppen (Eds.), LNCIS 433, pp. 45-64. Springer, Berlin, 2013.
1 Haar, S., Masopust, T., Languages, Decidability, and Complexity, in Control of Discrete-event Systems, C. Seatzu, M. Silva, J.H. van Schuppen (Eds.), LNCIS 433, pp. 23-43. Springer, Berlin, 2013.
Tools
1 Coordination control synthesis plug-in for libFAUDES (see this page).