Formal methods for adaptive control of dynamical systems.
Sadra SadraddiniCalin BeltaPublished in: CDC (2017)
Keyphrases
- formal methods
- adaptive control
- dynamical systems
- control law
- nonlinear systems
- control method
- feedback control
- knowledge based systems
- dynamic systems
- control theory
- model checking
- formal specification
- differential equations
- software engineering
- state space
- nonlinear dynamical systems
- artificial intelligence
- dynamic environments
- reinforcement learning
- linear systems
- phase space
- modeling language
- control algorithm
- search space
- chaotic systems
- search algorithm
- predictive state representations