Hybrid dynamical systems logic and its refinements.
André PlatzerPublished in: Sci. Comput. Program. (2025)
Keyphrases
- dynamical systems
- differential equations
- state space
- nonlinear dynamical systems
- dynamic systems
- control theory
- phase space
- qualitative simulation
- linear systems
- predictive state representations
- agent environment
- neural network
- dynamical behavior
- dynamical models
- qualitative differential equations
- nonlinear dynamics
- cellular automata
- machine learning