DocumentCode
391321
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
Volume
2
fYear
2002
fDate
10-13 Dec. 2002
Firstpage
1988
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control, 2002, Proceedings of the 41st IEEE Conference on
ISSN
0191-2216
Print_ISBN
0-7803-7516-5
Type
conf
DOI
10.1109/CDC.2002.1184819
Filename
1184819
Link To Document