Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller.
Radoslav IvanovTaylor J. CarpenterJames WeimerRajeev AlurGeorge J. PappasInsup LeePublished in: CoRR (2019)
Keyphrases
- neural network controller
- case study
- car racing
- control algorithm
- numerical simulations
- control scheme
- dynamic response
- feedforward neural networks
- optimal control
- control system
- pid controller
- neural network
- backpropagation algorithm
- reference trajectory
- operating conditions
- closed loop
- control strategy
- expert systems
- control law
- control method
- trajectory tracking
- back propagation
- theoretical analysis
- machine learning