Maximal Permissive Timed Control for a Class of Hybrid Systems

Sonia Batis (1) , Hassane Alla (1)

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

A timed control synthesis approach is proposed for a class of hybrid systems modeled with rectangular hybrid automata. The control objective is to constrain the reachable state spaces by the addition of control specifications which can be inconsistent with the system dynamics. Our approach is within an automatic control view and is based on the offline computation of the system new transition guards determined from the reachable state spaces. The approach is illustrated via a production system.

Mots clés: control synthesis; rectangular hybrid automaton; forward analysis; reachable state space; maximal permissive controller

Domaines: Automatique

Sonia Batis, Hassane Alla. Maximal Permissive Timed Control for a Class of Hybrid Systems. WODES 2012 - 11th International Workshop on Discrete Event Systems, Oct 2012, Guadalajara, Mexico. pp.157-162. ⟨hal-00744441⟩