Reachability analysis of continuous-time piecewise affine systems

Authors:
Abdullah Hamadeh;Jorge Goncalves
Affiliations:
Department of Engineering, University of Cambridge, Cambridge CB2 1PZ, UK;Department of Engineering, University of Cambridge, Cambridge CB2 1PZ, UK
Venue:
Automatica (Journal of IFAC)
Year:
2008

Citing 2
Cited 2

Reachability Analysis via Face Lifting

HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
The d/dt Tool for Verification of Hybrid Systems

CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification

Brief paper: Reachability and stabilization of discrete-time affine systems with disturbances

Automatica (Journal of IFAC)
Avoiding geometric intersection operations in reachability analysis of hybrid systems

Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control

Quantified Score

Hi-index	22.15

Visualization

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 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.