Login / Signup
A Mori-Zwanzig and MITL Based Approach to Statistical Verification of Continuous-time Dynamical Systems.
Yu Wang
Nima Roohi
Matthew West
Mahesh Viswanathan
Geir E. Dullerud
Published in:
ADHS (2015)
Keyphrases
</>
dynamical systems
differential equations
dynamic systems
linear systems
control theory
nonlinear dynamical systems
state space
phase space
partially observable
qualitative simulation
model checking
agent environment
statistical models
nonlinear dynamics
dynamical models