Timed control for rectangular hybrid systems

Sonia Batis (1) , Hassane Alla (1)

1 GIPSA-SYSCO - GIPSA - Systèmes non linéaires et complexité

In this work we develop an approach for the synthesis of the timed control of a class of hybrid systems modeled by rectangular hybrid automata. Our approach is within an automatic control view and is based on the reachable state spaces computation for any location. It consists of two steps, the first one being the computation of the control and the second being a step of the control propagation.

Mots clés: reachable state space; Timed controller synthesis; rectangular hybrid automaton; forward analysis; reachable state space.

Domaines: Automatique

Sonia Batis, Hassane Alla. Timed control for rectangular hybrid systems. INCOM 2012 - 14th IFAC Symposium on Information Control Problems Manufacturing, May 2012, Bucharest, Romania. pp.375-380. ⟨hal-00744428⟩