Formal Methods for Adaptive Control of Dynamical Systems.
Sadra SadraddiniCalin BeltaPublished in: CoRR (2017)
Keyphrases
- dynamical systems
- formal methods
- adaptive control
- control law
- nonlinear systems
- feedback control
- control method
- differential equations
- control theory
- dynamic systems
- knowledge based systems
- model checking
- reinforcement learning
- linear systems
- artificial intelligence
- phase space
- nonlinear dynamical systems
- dynamic environments
- state space
- formal specification
- software engineering
- chaotic systems
- predictive state representations
- machine learning
- state variables
- convergence rate
- development lifecycle
- qualitative differential equations