Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates.
Mahathi AnandVishnu MuraliAshutosh TrivediMajid ZamaniPublished in: CDC (2021)
Keyphrases
- dynamical systems
- dynamic systems
- differential equations
- phase space
- linear systems
- agent environment
- qualitative simulation
- nonlinear dynamical systems
- state space
- model checking
- control theory
- machine learning
- partially observable
- public key
- nonlinear dynamics
- search algorithm
- neural network
- predictive state representations
- past observations