Team VerTeCs

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: New Results

Keywords : controller synthesis methodology, Hierarchical models, symbolic methods.

Controller Synthesis

Modular and Decentralized Supervisory Control of Concurrent Discrete Event Systems Using Reduced System Models

Participant : Hervé Marchand.

This year we investigated the supervisor synthesis for concurrent systems based on reduced system models with the intention of complexity reduction. It is assumed that the expected behavior (specification) is given on a subset of the system alphabet, and the system behavior is reduced to this alphabet. Supervisors are computed for each reduced subsystem employing a modular decentralized approach. Depending on the chosen architecture, we provide sufficient conditions for the consistent implementation of the reduced supervisors for the original system [23] . This work has been done in cooperation with Klaus Schmidt and Benoit Gaudin.

A constructive approach to decentralized supervisory Control problems

Participant : Hervé Marchand.

We plunge decentralized control problems into modular ones to benefit from the know-how of modular control theory: any decentralized control problem is associated to a natural modular control problem, which over-approximates it. Then, we discuss how a solution of the latter problem delivers a solution of the former [21] . This work has been done in cooperation with Jan Komenda and Sophie Pinchinat.

Supervisory Control of Symbolic and Hybrid Transition systems

Participants : Tristan Le Gall, Bertrand Jeannet, Hervé Marchand.

We here tackled the safety controller synthesis problem for various models (from finite transition systems to hybrid systems). Within this framework, we are mainly interested in the synthesis problem for an intermediate model: the symbolic transition system. Modelization needs lead us to redefine the concept of controllability by associating it to guards of transitions instead of events. We then define synthesis algorithms based on abstract interpretation techniques so that we can ensure finiteness of the computations. We finally generalize our methodology to the control of hybrid systems, which gives an unified framework to the supervisory control problem for several classes of models [12] .


Logo Inria