DocumentCode
390923
Title
On reachability analysis of uncertain hybrid systems
Author
Jönsson, Ulf T.
Author_Institution
Div. of Optimization & Syst. Theor., R. Inst. of Technol., Stockholm, Sweden
Volume
3
fYear
2002
fDate
10-13 Dec. 2002
Firstpage
2397
Abstract
Reachability analysis of a class of uncertain systems is considered in this paper. The nominal dynamics is piecewise affine and the disturbances and the uncertainty in the system are characterized by integral quadratic constraints defined in the time domain. Reachability tools for such systems are presented and it is discussed how they can be used in verification of hybrid systems. Particular attention is devoted to the application of the reachability tools for robustness analysis of oscillations in piecewise linear systems.
Keywords
reachability analysis; robust control; uncertain systems; hybrid systems; piecewise linear systems; reachability analysis; robustness; uncertain hybrid systems; uncertainty; Automata; Limit-cycles; Nonlinear systems; Piecewise linear approximation; Piecewise linear techniques; Reachability analysis; Robustness; Time domain analysis; Uncertain systems; Uncertainty;
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.1184194
Filename
1184194
Link To Document