Login / Signup
Reachability Analysis Using Dissipation Inequalities For Nonlinear Dynamical Systems.
He Yin
Andrew K. Packard
Murat Arcak
Peter J. Seiler
Published in:
CoRR (2018)
Keyphrases
</>
nonlinear dynamical systems
reachability analysis
dynamical systems
model checking
markov decision processes
state space
phase space
numerical solution
timed automata
dynamical behavior
incremental algorithms
sufficient conditions
artificial intelligence
dynamic programming
machine learning