Directed Specifications and Assumption Mining for Monotone Dynamical Systems.
Eric S. KimMurat ArcakSanjit A. SeshiaPublished in: HSCC (2016)
Keyphrases
- dynamical systems
- dynamic systems
- nonlinear dynamical systems
- qualitative simulation
- differential equations
- phase space
- linear systems
- control theory
- state space
- dynamical behavior
- agent environment
- qualitative differential equations
- data mining
- predictive state representations
- sufficient conditions
- nonlinear dynamics
- frequent patterns
- search space