Bridging Hamilton-Jacobi Safety Analysis and Reinforcement Learning.
Jaime F. FisacNeil F. LugovoyVicenç Rúbies RoyoShromona GhoshClaire J. TomlinPublished in: ICRA (2019)
Keyphrases
- safety analysis
- hamilton jacobi
- reinforcement learning
- nuclear power plant
- symbolic model checking
- finite difference
- safety critical
- control system
- medial axis
- level set method
- fault model
- partial observability
- partial differential equations
- function approximation
- level set
- reinforcement learning algorithms
- state space
- markov decision processes
- model free
- learning algorithm
- optimal policy
- partially observable
- actor critic
- temporal difference
- finite element
- partially observable markov decision processes
- condition monitoring
- image enhancement
- machine learning
- optimal control
- dynamic programming
- multi agent
- model checking