Case Studies in Data-Driven Verification of Dynamical Systems.
Alexandar KozarevJohn F. QuindlenJonathan P. HowUfuk TopcuPublished in: HSCC (2016)
Keyphrases
- dynamical systems
- data driven
- case study
- differential equations
- dynamic systems
- model checking
- nonlinear dynamical systems
- real world
- partially observable
- qualitative simulation
- state space
- linear systems
- agent environment
- dynamical behavior
- control theory
- predictive state representations
- dynamical models
- data mining