Maximal Permissive Timed Control for a Class of Hybrid Systems

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.