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: HSCC (2020)
Keyphrases
- neural network controller
- case study
- car racing
- control algorithm
- numerical simulations
- control scheme
- dynamic response
- feedforward neural networks
- backpropagation algorithm
- control system
- reference trajectory
- robotic systems
- pid controller
- optimal control
- control strategy
- back propagation
- control law
- operating conditions
- control method
- robot manipulators