Path planning for robotic teams based on LTL specifications and Petri net models

DOI10.1007/S10626-019-00300-1MaRDI QIDQ2177780zbMATH OpenOpenAlexWikidataFDO

Authors Marius Kloetzer, C. Mahulea

Publication date 6 May 2020

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10626-019-00300-1

zbMATH Keywords

linear temporal logicoptimizationpath planningPetri nets

Mathematics Subject Classification ID

Temporal logic (03B44) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mixed integer programming (90C11) Automated systems (robots, etc.) in control theory (93C85)

Recommendations

• A Petri net based approach for multi-robot path planning
• Robot Planning Based on Boolean Specifications Using Petri Net Models
• Multi-robot LTL planning under uncertainty
• A framework for multi-robot motion planning from temporal logic specifications
• Robot path planning based on concept lattice
• Path-based approach to integrated planning and control for robotic systems
• Reliable robust path planning with application to mobile robots

Cites work

• A distributed approach to robust control of multi-robot systems
• A distributed protocol for motion coordination in free-range vehicular systems
• A Petri net based approach for multi-robot path planning
• Automated generation of dynamics-based runtime certificates for high-level control
• Conflict-based search for optimal multi-agent pathfinding
• Finding the K Shortest Loopless Paths in a Network
• Gossip algorithms for heterogeneous multi-vehicle routing problems
• scientific article; zbMATH DE number 1302046 (Why is no real title available?)
• scientific article; zbMATH DE number 1744959 (Why is no real title available?)
• scientific article; zbMATH DE number 1796123 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 2238822 (Why is no real title available?)
• Multi-agent planning under local LTL specifications and event-based synchronization
• On Distributed and Parameterized Supervisor Synthesis Problems
• Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints
• Planning Algorithms
• Robot Planning Based on Boolean Specifications Using Petri Net Models
• Supervisory control for collision avoidance in vehicular networks using discrete event abstractions
• Temporal logic motion planning for dynamic robots
• The increasing cost tree search for optimal multi-agent pathfinding

Cited in

(8)

• Multi-robot LTL planning under uncertainty
• Decentralized route-planning for multi-vehicle teams to satisfy a subclass of linear temporal logic specifications
• On reducing complexity in LTL-based motion planning
• Designing a robot's guidance algorithm through Petri nets for following a mobile target using the data of several sensors
• Robot Planning Based on Boolean Specifications Using Petri Net Models
• A Petri net based approach for multi-robot path planning
• Finding optimal plans for multiple teams of robots through a mediator: a logic-based approach
• Petri net applications: a success story

Describes a project that uses

Uses Software

• SPIN
• CPLEX
• GLPK
• LTL2BA
• SPOT

This page was built for publication: Path planning for robotic teams based on LTL specifications and Petri net models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2177780)