Title :
Online safety control of a class of hybrid systems
Author :
Abdelwahed, Sherif ; Karsai, Gabor ; Biswas, Gautam
Author_Institution :
Inst. for Software Integrated Syst., Vanderbilt Univ., Nashville, TN, USA
Abstract :
In this paper we outline a supervisor synthesis procedure for safety control of a class of hybrid systems. The procedure is conducted online based on a limited exploration of the state space. We establish feasibility conditions for online controllability with respect to the safety specifications, and provide an upper limit for the accuracy error of the online controller.
Keywords :
continuous time systems; controllability; controllers; discrete event systems; hybrid systems; online controllability; online safety control; supervisor synthesis procedure; Control system synthesis; Control systems; Controllability; Error correction; Software safety; Software systems; State-space methods; Switching systems; Vectors; Vehicle dynamics;
Conference_Titel :
Decision and Control, 2002, Proceedings of the 41st IEEE Conference on
Print_ISBN :
0-7803-7516-5
DOI :
10.1109/CDC.2002.1184819
