Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming.
Haimin HuMahyar FazlyabManfred MorariGeorge J. PappasPublished in: CoRR (2020)
Keyphrases
- semidefinite programming
- closed loop
- control system
- control law
- neural network
- reachability analysis
- linear programming
- semidefinite
- interior point methods
- feedback control
- primal dual
- control scheme
- trajectory tracking
- kernel matrix
- fuzzy logic
- real time
- control algorithm
- neural network model
- markov decision processes
- model checking
- pid controller
- artificial neural networks
- bp neural network
- reinforcement learning
- np hard
- state space