Underapproximate Reachability Analysis for a Class of Linear Systems With Inputs.

Mohamed Serry Jun Liu

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

Keyphrases

linear systems
reachability analysis
sufficient conditions
dynamical systems
linear equations
model checking
coefficient matrix
markov decision processes
incremental algorithms
neural network
expert systems
learning algorithm
support vector