Parallel state space exploration of linear systems with inputs using XSpeed.

Rajarshi Ray Amit Gurung

Published in: HSCC (2015)

Keyphrases

linear systems
dynamical systems
state space
linear equations
sufficient conditions
sparse linear systems
coefficient matrix
heuristic search
reinforcement learning
particle filter
state variables
markov decision processes
optimal policy
search space
real time
interior point methods