Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions.
Javier BorquezShuang PengYiyu ChenQuan NguyenSomil BansalPublished in: CoRR (2023)
Keyphrases
- hybrid systems
- reachability analysis
- hamilton jacobi
- markov decision processes
- model checking
- finite difference
- black box
- medial axis
- intelligent systems
- computational intelligence
- artificial intelligence
- meta learning
- neural network
- soft computing
- discrete event
- timed automata
- level set method
- incremental algorithms
- partial differential equations
- finite element
- state space
- dynamic systems
- optimal policy
- numerical solution
- inductive learning
- theorem prover
- level set
- computer vision