Combining zonotopes and support functions for efficient reachability analysis of linear systems.

Matthias Althoff Goran Frehse

Published in: CDC (2016)

Keyphrases

linear systems
reachability analysis
sufficient conditions
model checking
dynamical systems
sparse linear systems
artificial intelligence
expert systems
particle swarm optimization
markov decision processes
computationally intensive