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.

Publications:

1
 		 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
 		 Komenda, J., Masopust, T., van Schuppen, J.H., Coordinated Control of Discrete Event Systems with Nonprefix-Closed Languages, IFAC WC 2011, pp. 6982-6987, Milano, Italy, 2011
3
 		 Jirásková, G., Masopust, T., State Complexity of Projected Languages, M. Holzer, M. Kutrib, and G. Pighizzini (Eds.), DCFS 2011, LNCS 6808, pp. 198-211. Springer, Heidelberg, 2011
4
 		 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
5
 Csuhaj-Varjú, E., Masopust, T., Vaszil, Gy., Blackhole Pushdown Automata, Fundamenta Informaticae 112 (2-3), 2011, 137-156
6
 		 Křivka, Z., Masopust, T., Cooperating Distributed Grammar Systems with Random Context Grammars as Components, Acta Cybernetica 20, 269-283, 2011
7
 		 Komenda, J., Masopust, T., van Schuppen, J.H., Supervisory Control Synthesis of Discrete-Event Systems using a Coordination Scheme, Automatica, to appear in 2012