Title :
On reachability analysis of uncertain hybrid systems
Author_Institution :
Div. of Optimization & Syst. Theor., R. Inst. of Technol., Stockholm, Sweden
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;
Conference_Titel :
Decision and Control, 2002, Proceedings of the 41st IEEE Conference on
Print_ISBN :
0-7803-7516-5
DOI :
10.1109/CDC.2002.1184194
