Control of a class of hybrid systems application to a water supply system

A control synthesis approach is proposed for a class of hybrid systems modeled with rectangular hybrid automata. This control is applied in a water supply system intended for consumption, in order to guarantee a certain level of water and a low energy cost. The basic steps of the approach consist in the addition of the desired control specifications to the system's model, then the determination of the reachable state spaces of the constrained automaton and finally the computation of the clock intervals that respect the specifications in a maximal permissive way.

[1]  W. Wonham,et al.  The supervisory control of timed discrete-event systems , 1992, [1992] Proceedings of the 31st IEEE Conference on Decision and Control.

[2]  Sonia Batis,et al.  Timed control for rectangular hybrid systems , 2012 .

[3]  Thomas A. Henzinger,et al.  Discrete-Time Control for Rectangular Hybrid Automata , 1997, Theor. Comput. Sci..

[4]  Thomas A. Henzinger,et al.  Discrete-Time Control for Rectangular Hybrid Automata , 1997, ICALP.

[5]  Goran Frehse,et al.  PHAVer: algorithmic verification of hybrid systems past HyTech , 2005, International Journal on Software Tools for Technology Transfer.

[6]  W. M. Wonham.  Supervisory control of discrete-event systems: an introduction , 2000, Proceedings of IEEE International Conference on Industrial Technology 2000 (IEEE Cat. No.00TH8482).

[7]  Thomas A. Henzinger,et al.  Rectangular Hybrid Games , 1999, CONCUR.

[8]  W. Wonham,et al.  Supervisory control of timed discrete-event systems , 1994, IEEE Trans. Autom. Control..

[9]  M.P. Spathopoulos.  Supervisory control for rectangular hybrid automata , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[10]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..