Safety Verification of a Data-driven Adaptive Cruise Controller.
Qin LinSicco VerwerJohn M. DolanPublished in: IV (2020)
Keyphrases
- data driven
- adaptive control
- real time
- cmac neural network
- traffic signal
- data sets
- closed loop
- control strategy
- model checking
- control method
- safety analysis
- control system
- adaptive neural
- formal verification
- neural network
- adaptive controller
- verification method
- learning algorithm
- control theory
- control architecture
- fuzzy logic controller
- control law
- long range
- control algorithm