Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems.

Alex A. Kurzhanskiy Pravin Varaiya

Published in: IEEE Trans. Autom. Control. (2007)

Keyphrases

linear systems
reachability analysis
model checking
markov decision processes
dynamical systems
sufficient conditions
markov chain
linear equations
state space
timed automata
incremental algorithms
coefficient matrix
sparse linear systems
neural network
reinforcement learning
artificial intelligence
real time