Sampling-based algorithms for optimal motion planning using process algebra specifications

Valerio Varricchio, Pratik Chaudhari, Emilio Frazzoli
2014 2014 IEEE International Conference on Robotics and Automation (ICRA)  
This paper investigates motion-planning using formal language specifications for dynamical systems with differential constraints. In particular, we focus on process algebra as a language to specify complex task specifications motivated by autonomous electric vehicles operating in a mobility-on-demand scenario. We use ideas from sampling-based motion-planning algorithms to incrementally construct a finite abstraction of the dynamical system as a Kripke structure. Given a task specification
more » ... sed as a process graph, we use model checking techniques to construct a weighted product graph of the specification with the Kripke structure. We then devise an algorithm that provably converges to the optimal trajectory of the dynamical system that satisfies the task specification as the number of the states in the Kripke structure goes to infinity. The algorithm is demonstrated in simulation experiments, viz., charging the electric car at a busy charging station and scheduling pick-ups and drop-offs of passengers. * The author is with Sant'Anna School of Advanced Studies and E.Piaggio
doi:10.1109/icra.2014.6907642 dblp:conf/icra/VarricchioCF14 fatcat:4hljd7u4cfh6rcdp4cmpggmsiu