Analysis of path planning algorithms : a formal verification-based approach

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Downloads (Pure)

Abstract

With the emergence of multi-robot systems in the field of robotics there is a need for new approaches for modeling and investigating the behavior of robotic systems. Formal verification is a well-known mathematical method which has been used for decades in order to expose potential design faults in industrial systems. In this paper we introduce the application of formal verification techniques in the context of multirobot systems. Applying verification techniques, we aim to prove that the collective behavior of a group of robots satisfies certain desired properties. We illustrate our approach using a simple path planning algorithm which conducts a set of robots from their initial positions to their destinations on a planar surface.
Original languageEnglish
Title of host publicationAdvances in Artificial Life - ECAL 2013 (Proceedings of the 12th European Conference on the Synthesis and Simulation of Living Systems, Taormina, Italy, September 2-6, 2013)
EditorsP. Liò, O. Miglino, G. Nicosia, S. Nolfi, M. Pavone
PublisherMIT Press
Pages232-239
ISBN (Print)978-0-262-31709-2
DOIs
Publication statusPublished - 2013
Eventconference; 12th European Conference on the Synthesis and Simulation of Living Systems; 2013-09-02; 2013-09-06 -
Duration: 2 Sep 20136 Sep 2013

Conference

Conferenceconference; 12th European Conference on the Synthesis and Simulation of Living Systems; 2013-09-02; 2013-09-06
Period2/09/136/09/13
Other12th European Conference on the Synthesis and Simulation of Living Systems

Fingerprint Dive into the research topics of 'Analysis of path planning algorithms : a formal verification-based approach'. Together they form a unique fingerprint.

Cite this