Montana, F.J., Liu, J. and Dodd, T.J. orcid.org/0000-0001-6820-4526 (2017) Sampling-based path planning for multi-robot systems with co-safe linear temporal logic specifications. In: Critical Systems: Formal Methods and Automated Verification. Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, 18-20 Sep 2017, Turin, Italy. Lecture Notes in Computer Science, 10471 . Springer Verlag , pp. 150-164. ISBN 9783319671123
Abstract
© 2017, Springer International Publishing AG. This paper addresses the problem of path planning for multiple robots under high-level specifications given as syntactically co-safe linear temporal logic formulae. Most of the existing solutions use the notion of abstraction to obtain a discrete transition system that simulates the dynamics of the robot. Nevertheless, these solutions have poor scalability with the dimension of the configuration space of the robots. For problems with a single robot, sampling-based methods have been presented as a solution to alleviate this limitation. The proposed solution extends the idea of sampling methods to the multiple robot case. The method samples the configuration space of the robots to incrementally constructs a transition system that models the motion of all the robots as a group. This transition system is then combined with a Büchi automaton, representing the specification, in a Cartesian product. The product is updated with each expansion of the transition system until a solution is found. We also present a new algorithm that improves the performance of the proposed method by guiding the expansion of the transition system. The method is demonstrated with examples considering different number of robots and specifications.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 2017 Springer Verlag. |
Dates: |
|
Institution: | The University of Sheffield |
Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Automatic Control and Systems Engineering (Sheffield) |
Depositing User: | Symplectic Sheffield |
Date Deposited: | 12 Oct 2017 11:46 |
Last Modified: | 19 Dec 2022 13:37 |
Published Version: | https://doi.org/10.1007/978-3-319-67113-0_10 |
Status: | Published |
Publisher: | Springer Verlag |
Series Name: | Lecture Notes in Computer Science |
Refereed: | Yes |
Identification Number: | 10.1007/978-3-319-67113-0_10 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:122230 |