Guaranteed Collision Avoidance for Autonomous Vehicles Fusing Model Predictive Control and Data Driven Reachability Analysis.
Tingzhong FuHoang Hai NguyenRolf FindeisenPublished in: ECC (2024)
Keyphrases
- autonomous vehicles
- collision avoidance
- reachability analysis
- model predictive control
- path planning
- obstacle avoidance
- control system
- mobile robot
- predictive control
- model checking
- visual navigation
- markov decision processes
- timed automata
- dynamic environments
- incremental algorithms
- multi robot
- motion planning
- path finding
- state space
- reinforcement learning
- mpc algorithm
- degrees of freedom
- optimal path
- control algorithm
- real time
- multiple models
- autonomous agents
- regression model
- shortest path