Jan Komenda

Grants
- Compositional Methods for the Control of Concurrent Timed Discrete-Event Systems (19-06175J)
  from 01/01/2019 to 31/12/2021 main 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.
- Modular and Decentralized Control of Discrete-Event and Hybrid Systems with Communication (GA15-02532S)
  from 01/01/2015 to 31/12/2017 main investigator
- Objectives: Discrete-event systems represent an important class of dynamical systems with discrete state spaces and event-driven dynamics. For large systems, methods of hierarchical, modular, and decentralized decentralized supervisory control have been proposed. Since a solution to modular and decentralized supervisory control may not exist without communication between controllers, coordination control has been proposed as a form of decentralized control with supervisors communicating via coordinators. In this project we will study computationally efficient solutions to coordination supervisory control of large automata with product structure based on multi-level communication structure. Both logical automata and those stemming from discretizations will be considered. Decentralized supervisory control of automata without a priori known modular (product) structure will also be investigated. The motivations for investigating new efficient methods are that communications are sometimes lost or delayed and the original product structure is often lost after discretization.
- Multilevel supervisory control (MUSIC(LH13012))
  from 01/03/2013 to 31/12/2015 main 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 Control of Timed Automata (P103/11/0517)
  from 01/01/2011 to 31/12/2013 main investigator
- Objectives: In this research proposal new methodology for supervisory control timed discrete event systems will be elaborated. More specifically, decentralized and modular control of large distributed timed systems will be studied in order to reduce the computational complexity of supervisory control synthesis, which constitutes the major obstacle for application of supervisory control in industry. Weighted automata (e.g. (max,+) automata, interval automata, and other classes of timed automata) model flexible manufacturing systems, computer and information networks with communication protocols, where not only ordering but also timing of discrete events is important. Both cases of local control specifications and more relevant global (indecomposable) specifications will be investigated. Similarly, we will consider the case, where all events are observable as well as the case, where not all events are observable due to the very nature of an event or simply due to economic reasons (too high a cost of a sensor ). Our goal is to find effective methods for supervisory control of this type of systems, in particular decentralized control and coordination control, where local controllers communicate with a coordinator.
- Distributed Supervisory Control of large plants (DISC(224498))
  from 01/09/2008 to 31/08/2011 main 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.
- Supervisory control of large distributed discrete event systems (KJB100190609)
  from 01/01/2006 to 31/12/2008 main investigator
- This project aims at studying logical and timed discrete event systems using methods from universal coalgebra and idempotent algebra with special focus on supervisory control of large distributed systems. Methods of idempotent algebra enable linear representation on suitable idempotent semirings useful for quantitative (timing) aspect of control, while coalgebra is useful for qualitative aspects of control. A combination of these techniques will be applied to the decentralized and modular supervisory control in order to reduce the computational complexity and make our results applicable to control of large distributed systems.