Tomáš Masopust

Grants
- Compositional Methods for the Control of Concurrent Timed Discrete-Event Systems (GC19-06175J)
  from 01/01/2019 to 31/12/2021 investigator
- Objectives: Current approaches for control of timed discrete-event systems (DES) with dense real time only deal with monolithic plants, which means that their control suffers from high complexity and even decidability issues (non existence of finite state controllers). In order to face these issues, it is important to develop computationally efficient compositional approaches, such as modular control. We will investigate modular and coordination control of timed DES modeled by timed Petri nets or by (max,+)-automata.
- Multilevel supervisory control (MUSIC(LH13012))
  from 01/03/2013 to 31/12/2015 investigator
- Programme type: KONTAKT II Objectives: The aim of the project is to develop techniques to decrease computational complexity of supervisory control of discrete-event systems with large number of states. Both automata with known modular structure given by the synchronous product of smaller components and large automata without such a structure will be considered. Standard centralized control methods cannot be applied for complexity reasons, and therefore, we will propose multi-level coordination control with hierarchical structure of the coordinators on different layers for different groups of subsystems. It will be based on the single-level coordination control with one central coordinator that we have recently developed. These efficient techniques will be applied to decentralized control of systems without known modular structure. As a by-product communication protocols between groups of subsystems given by the structure of coordinators on different levels of hierarchy will be obtained.
- Decentralized and coordination supervisory control (P202/11/P028)
  from 01/01/2011 to 31/12/2013 main investigator
- Objectives: 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.
- Distributed Supervisory Control of large plants (DISC(224498))
  from 01/09/2008 to 31/08/2011 investigator
- Programme type: FP7 Information and Communication Technologies Objectives: The objective of DISC is the design of supervisors and fault detectors exploiting the concurrency and the modularity of the plant model. Coordinated controllers should preferably be designed using only local plant behaviour models, and requiring only limited information exchange between the different local controllers. We plan to use several techniques to reduce the computational complexity of solving the above mentioned problem for distributed plants: modularity in the modelling and control design phases; decentralized control with communicating controllers; modular state identification, distributed diagnosis and modular fault detection based on the design of partially decentralized observers; fluidisation of some discrete event dynamics to reduce state space cardinality. The expected outcome of this project are: new methodologies for applying the above described techniques for embedded controllers to distributed plants; new tools for the modelling, simulation and supervisory control design that will be part of an integrated software platform; the application of these methodologies to a few cases of industrial relevance using the developed tools; the dissemination of the results.