Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming.
Haimin HuMahyar FazlyabManfred MorariGeorge J. PappasPublished in: CDC (2020)
Keyphrases
- semidefinite programming
- closed loop
- control system
- control law
- neural network
- reachability analysis
- semidefinite
- linear programming
- feedback control
- kernel matrix
- real time
- maximum margin
- control scheme
- pid controller
- artificial neural networks
- primal dual
- interior point methods
- adaptive control
- control strategy
- fault diagnosis
- prediction model
- optimal solution
- fuzzy logic
- controller design
- trajectory tracking