Verification of Closed-loop Systems with Neural Network Controllers.
Diego Manzanas LopezPatrick MusauHoang-Dung TranTaylor T. JohnsonPublished in: ARCH@CPSIoTWeek (2019)
Keyphrases
- closed loop
- control system
- neural network
- control law
- open loop
- control scheme
- feedback control
- control loop
- trajectory tracking
- parameter identification
- reinforcement learning
- recurrent neural networks
- neural network model
- fuzzy logic
- artificial neural networks
- adaptive fuzzy
- mobile robot
- force control
- disturbance rejection
- linear quadratic
- guaranteed cost
- reference trajectory