Reachability analysis of cooperative adaptive cruise controller.
Roozbeh KianfarPaolo FalconeJonas FredrikssonPublished in: ITSC (2012)
Keyphrases
- reachability analysis
- cooperative
- model checking
- markov decision processes
- adaptive control
- adaptive neural
- game theory
- incremental algorithms
- closed loop
- control system
- multi agent
- learning algorithm
- contextual information
- qualitative and quantitative
- control algorithm
- control scheme
- state space
- dynamic programming