Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems.
Kendra LesserMeeko OishiPublished in: IEEE Trans. Autom. Control. (2017)
Keyphrases
- hybrid systems
- partially observable
- discrete event
- dynamical systems
- dynamic systems
- decision problems
- markov decision processes
- reinforcement learning
- intelligent systems
- neural network
- soft computing
- computational intelligence
- infinite horizon
- partial observability
- black box
- control system
- simulation model
- meta learning
- state space
- model checking
- belief state
- markov decision problems
- artificial intelligence
- utility function
- optimal control
- decision trees