-
Controller synthesis for safety and reachability via approximate bisimulation
International audience -
The value problem in stochastic games
Game theory proved to be very useful in the field of verification of open reactive systems. This is due to the wide variety of games' model that differ in the way... -
Petri Net - Based Controller Synthesis for Discrete Event Systems
The place-invariants method is one of the most popular controller synthesis approaches for Petri net (PN) modeled DES. Unfortunately, the observance of the constraints... -
Priority Systems
Projet POP_ART -
Controller synthesis with highly simplified linear constraints
International audience -
Control of (max,+)-linear systems minimizing delays
International audience -
Modeling and Control for Balanced Timed and Weighted Event Graphs in Dioids
Soumis à IEEE Transactions on Automatic Control -
Continuous flow Systems and Control Methodology Using Hybrid Petri nets
International audience -
Control of a class of hybrid systems by rectangular hybrid automata
In this thesis, we study the control of a class of hybrid dynamic systems (HDS). The chosen modeling tool is the rectangular hybrid automaton (RHA) for his analysis... -
Safe switching of mode for discrete-event systems
The work presented in this thesis concerns a framework applied to the modal approach for discrete-event system (DES). A mode is a particular configuration of a system... -
Synthesis of Sequential Controllers in the presence of Conflicts and Free Cho...
Article dans revue scientifique avec comité de lecture. -
Effective Synthesis of Switching Controllers for Linear Systems
Article dans revue scientifique avec comité de lecture.
