» Download Article

Authors
Guadri, Ahmed; Dangoumau, Nathalie; Craye, Etienne

Identifier
10.3182/20080706-5-KR-1001.01108

Index Terms
Hybrid systems modeling and control

Abstract
Control systems are required to satisfy increasingly severe safety and performance criteria (reliability, security· · · ) mainly in the case of large scale systems. Such systems have to be described with a multiple abstraction levels paradigms such as hybrid systems (implementing both discrete and continuous dynamics). We present and formalize a new strategy for the reconfiguration of a hybrid system that relies on the specification of a region-based component oriented model which is updated whenever the system dynamics are modified. The standard controller is modified when a fault is detected and identified by use of an objectives automaton : Failing standard controls are replaced by a new sequence of controls chosen from an input space. Finally, we illustrate this method in the case of a system of communicating tanks.

References

Rajeev Alur. Discrete abstractions of hybrid systems. Proceedings of the IEEE, 88(7):971_984, 2000.

Karl Astr�m, Pedro Albertos, Morgens Blanke, Alberto Isidori, Walter Schaulelberger, and Ricardo Sanz. Control of Complex systems. Springer - Verlag, 2001. 

X.D. Koutsoukos, P. J. Antsaklis, J.A. Stiver, and M.D. Lemmon. Supervisory control of hybrid systems. Proceedings of the IEEE, 88:1026_1049, July 2000. 

Lionel Lorimier. La caract�risation dynamique des d�faillances, Une nouvelle approche pour la gestion active des d�faillances au sein des syst�mes physiques industriels complexes. PhD thesis, Ecole Centrale de Lille et Universit� des Sciences et Technologies de Lille, 2005.

Suzanne Manz and Peter Gohner. Development of Hybrid Component Models for Online Monitoring of Complex Dynamic Systems, volume 279/2002, chapter 22, pages 391-418. Springer  erlin/Heidelberg, 2002.

James A. Stiver, Panos J. Antsaklis, and Michael D. Lemmon. Interface and controller design for hybrid control systems. In Hybrid Systems II, pages 462_492, London, UK, 1995. Springer-Verlag. ISBN 3-540-60472-3.

Rong Su, Sherif Abdelwahed, Gabor Karsai, and Gautam Biswas. Discrete abstractions and supervisory control of switching systems. IEEE International Conference on Systems,