Reachability; Piecewise affine systems; Hybrid systems
Abstract :
[en] 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.
Disciplines :
Engineering, computing & technology: Multidisciplinary, general & others
Author, co-author :
Hamadeh, A. O.
GONCALVES, Jorge ; University of Luxembourg > Luxembourg Centre for Systems Biomedicine (LCSB)
Language :
English
Title :
Reachability analysis of continuous-time piecewise affine systems
Publication date :
December 2008
Journal title :
Automatica
ISSN :
0005-1098
Publisher :
Pergamon Press - An Imprint of Elsevier Science, Oxford, United Kingdom
scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.
