Efficient Reachability Analysis of Closed-Loop Systems with Neural Network Controllers.
Michael EverettGolnaz HabibiJonathan P. HowPublished in: ICRA (2021)
Keyphrases
- closed loop
- control system
- control law
- neural network
- open loop
- reachability analysis
- control scheme
- feedback control
- control loop
- parameter identification
- fuzzy logic
- linear quadratic
- pid controller
- model checking
- control strategy
- real time
- fault diagnosis
- asymptotic stability
- video sequences
- intelligent control
- nonlinear systems
- expert systems
- control method
- control algorithm
- markov decision processes