We address the control synthesis of hybrid systems with discrete inputs, disturbances andoutputs. The control objective is to ensure that the events of the closed-loop system belong to thelanguage of the control requirements. The controller is sampling-based and it is representable by a finitestatemachine.We formalize the control problem and provide a theoretically sound solution. The solutionis based on solving a discrete-event control problem for a finite-state abstraction of the plant.We proposea specific construction for the finite-state abstraction. This construction is not based on discretizing the state-space, but rather on converting the continuous-time hybrid system to a discrete-time one based on sampling. The construction works only for a specific class of hybrid systems. We describe this class of systems and we provide an example of such a system, inspired by an industrial use-case.
|Title of host publication||Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS09), 16-18 September 2009, Zaragoza, Spain|
|Place of Publication||Spain, Zaragoza|
|Publication status||Published - 2009|