Symbolic State-Space Exploration and Guard Generation in Supervisory Control Theory.
Zhennan FeiSajed MiremadiKnut ÅkessonBengt LennartsonPublished in: ICAART (Revised Selected Papers) (2011)
Keyphrases
- control theory
- dynamical systems
- state space
- control law
- control system
- differential equations
- communication delays
- linear systems
- heuristic search
- markov decision processes
- dynamic systems
- reinforcement learning
- state variables
- variable structure
- optimal policy
- dynamic programming
- closed loop
- search space
- multiscale
- image processing
- learning algorithm