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

Arash Khabbaz Saberi; J.F. Groote; S. Keshishzadeh

doi:10.7551/978-0-262-31709-2-ch035

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

Arash Khabbaz Saberi, J.F. Groote, S. Keshishzadeh

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

12 Citaten (Scopus)

2 Downloads (Pure)

Samenvatting

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.

Originele taal-2	Engels
Titel	Advances 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)
Redacteuren	P. Liò, O. Miglino, G. Nicosia, S. Nolfi, M. Pavone
Uitgeverij	MIT Press
Pagina's	232-239
ISBN van geprinte versie	978-0-262-31709-2
DOI's	https://doi.org/10.7551/978-0-262-31709-2-ch035
Status	Gepubliceerd - 2013
Evenement	conference; 12th European Conference on the Synthesis and Simulation of Living Systems; 2013-09-02; 2013-09-06 - Duur: 2 sep. 2013 → 6 sep. 2013

Congres

Congres	conference; 12th European Conference on the Synthesis and Simulation of Living Systems; 2013-09-02; 2013-09-06
Periode	2/09/13 → 6/09/13
Ander	12th European Conference on the Synthesis and Simulation of Living Systems

Toegang tot document

10.7551/978-0-262-31709-2-ch035

Citeer dit

Khabbaz Saberi, A., Groote, J. F., & Keshishzadeh, S. (2013). Analysis of path planning algorithms : a formal verification-based approach. In P. Liò, O. Miglino, G. Nicosia, S. Nolfi, & M. Pavone (editors), Advances 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) (blz. 232-239). MIT Press. https://doi.org/10.7551/978-0-262-31709-2-ch035

Khabbaz Saberi, Arash ; Groote, J.F. ; Keshishzadeh, S. / Analysis of path planning algorithms : a formal verification-based approach. Advances 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). redacteur / P. Liò ; O. Miglino ; G. Nicosia ; S. Nolfi ; M. Pavone. MIT Press, 2013. blz. 232-239

@inproceedings{f5e652e0dfa9407fabddd10bd15bbe6a,

title = "Analysis of path planning algorithms : a formal verification-based approach",

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.",

author = "{Khabbaz Saberi}, Arash and J.F. Groote and S. Keshishzadeh",

year = "2013",

doi = "10.7551/978-0-262-31709-2-ch035",

language = "English",

isbn = "978-0-262-31709-2",

pages = "232--239",

editor = "P. Li{\`o} and O. Miglino and G. Nicosia and S. Nolfi and M. Pavone",

booktitle = "Advances 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)",

publisher = "MIT Press",

note = "conference; 12th European Conference on the Synthesis and Simulation of Living Systems; 2013-09-02; 2013-09-06 ; Conference date: 02-09-2013 Through 06-09-2013",

}

Khabbaz Saberi, A , Groote, JF & Keshishzadeh, S 2013, Analysis of path planning algorithms : a formal verification-based approach. in P Liò, O Miglino, G Nicosia, S Nolfi & M Pavone (uitgave), Advances 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). MIT Press, blz. 232-239, conference; 12th European Conference on the Synthesis and Simulation of Living Systems; 2013-09-02; 2013-09-06, 2/09/13. https://doi.org/10.7551/978-0-262-31709-2-ch035

Analysis of path planning algorithms : a formal verification-based approach. / Khabbaz Saberi, Arash ; Groote, J.F.; Keshishzadeh, S.
Advances 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). uitgave / P. Liò; O. Miglino; G. Nicosia; S. Nolfi; M. Pavone. MIT Press, 2013. blz. 232-239.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

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

AU - Khabbaz Saberi, Arash

AU - Groote, J.F.

AU - Keshishzadeh, S.

PY - 2013

Y1 - 2013

N2 - 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.

AB - 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.

U2 - 10.7551/978-0-262-31709-2-ch035

DO - 10.7551/978-0-262-31709-2-ch035

M3 - Conference contribution

SN - 978-0-262-31709-2

SP - 232

EP - 239

BT - Advances 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)

A2 - Liò, P.

A2 - Miglino, O.

A2 - Nicosia, G.

A2 - Nolfi, S.

A2 - Pavone, M.

PB - MIT Press

T2 - conference; 12th European Conference on the Synthesis and Simulation of Living Systems; 2013-09-02; 2013-09-06

Y2 - 2 September 2013 through 6 September 2013

ER -

Khabbaz Saberi A , Groote JF, Keshishzadeh S. Analysis of path planning algorithms : a formal verification-based approach. In Liò P, Miglino O, Nicosia G, Nolfi S, Pavone M, redacteurs, Advances 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). MIT Press. 2013. blz. 232-239 doi: 10.7551/978-0-262-31709-2-ch035

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

Samenvatting

Congres

Toegang tot document

Vingerafdruk

Citeer dit