Reachability Analysis of Continuous Time Piecewise Linear Systems
Hamadeh A.O. and Goncalves J.M.
Proc. 44th IEEE Conference on Decision and Control and European Control Conference, December 2005
Submitted to Automatica.
Abstract
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 a linear matrix inequality 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.
Pre-Prints
[PDF]
BibTex Entry
- @InProceedings{,
- author = {Hamadeh A.O. and Goncalves J.M.},
- title = {Reachability Analysis of Continuous Time Piecewise Linear Systems},
- address = {Seville, Spain},
- booktitle = {Proc. 44th IEEE Conference on Decision and Control and European Control Conference},
- month = {December},
- note = {Submitted to Automatica.},
- year = {2005}
- }
|
![[Dept of Engineering]](http://www.eng.cam.ac.uk/images/house_style/engban-s.gif)
