Model based controller synthesis using reachability analysis that guarantees the safety of autonomous vehicles in a convoy.
Jaeyong ParkÜmit ÖzgünerPublished in: ICVES (2012)
Keyphrases
- autonomous vehicles
- reachability analysis
- controller synthesis
- moving object trajectories
- markov decision processes
- structured environments
- path planning
- model checking
- autonomic computing systems
- obstacle avoidance
- multi agent
- incremental algorithms
- timed automata
- multiagent systems
- autonomous agents
- state space
- robot control
- motion planning
- control system
- control algorithm
- closed loop
- mobile robot
- moving objects
- learning algorithm