Reachability Analysis of Continuous-Time Piecewise Affine Systems
Hamadeh A.O. and Goncalves J. M.
Automatica, 2008Abstract
This paper proposes an algorithm for the characterization of
reachable sets of states for continuous-time piecewise affine
systems. Given a model of the system and a bounded set of
possible initial states, the algorithm employs an LMI approach to
compute both upper and lower bounds on reachable regions. Rather
than performing computations in the state-space, this method uses
impact maps to find the reachable sets on the switching surfaces
of the system. This tool can then be used to deduce safety and
performance results about the system.
BibTex Entry
- @Article{,
- author = {Hamadeh A.O. and Goncalves J. M.},
- journal = {Automatica},
- title = {Reachability Analysis of Continuous-Time Piecewise Affine Systems},
- year = {2008}
- }
|