Automatic Synthesis via Tulip of an Autonomous Vehicle Controller Ensuring Collision Avoidance.
Tarek KabbaniStefano Di GennaroPublished in: CDC (2018)
Keyphrases
- collision avoidance
- autonomous vehicles
- path planning
- visual navigation
- obstacle avoidance
- robot motion
- mobile robot
- dynamic environments
- real time
- control system
- control method
- robot control
- motion planning
- path finding
- optimal path
- fuzzy neural network
- degrees of freedom
- neural network
- autonomous robots
- pid controller
- control scheme
- control strategy
- search space