Formal specification, refinement, and implementation of path planning.
Eman RabiahBoumediene BelkhouchePublished in: IIT (2016)
Keyphrases
- path planning
- formal specification
- specification language
- data abstraction
- mobile robot
- path planning algorithm
- collision avoidance
- dynamic environments
- specification languages
- object oriented design
- obstacle avoidance
- robot path planning
- optimal path
- formal methods
- indoor environments
- model checking
- formal specification language
- reverse engineering
- multi robot
- process algebra
- concurrent systems
- potential field
- path finding
- autonomous vehicles
- autonomous navigation
- navigation tasks
- motion planning
- dynamic and uncertain environments
- multiple robots
- degrees of freedom
- collision free
- configuration space
- path planner
- fine grained
- aerial vehicles
- open source
- protocol specification
- case study
- web services