Robot Planning Based on Boolean Specifications Using Petri Net Models

DOI10.1109/TAC.2017.2760249MaRDI QIDQ4682269zbMATH OpenFDO

Authors C. Mahulea, Marius Kloetzer

Publication date 18 September 2018

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TAC.2017.2760249

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Discrete event control/observation systems (93C65)

Recommendations

• A Petri net based approach for multi-robot path planning
• Path planning for robotic teams based on LTL specifications and Petri net models
• Robustness analysis of Petri-net-based planning models in sequence space
• Petri nets over ontological graphs: conception and application for modelling tasks of robots
• scientific article; zbMATH DE number 915994
• Parameterized Petri nets and their application to planning and coordination in intelligent systems
• scientific article; zbMATH DE number 1947497
• Fuzzy Petri net-based approach in modelling simultaneous task assignment for robotic system

Cited in

(3)

• Path planning for robotic teams based on LTL specifications and Petri net models
• Designing a robot's guidance algorithm through Petri nets for following a mobile target using the data of several sensors
• Petri net applications: a success story

This page was built for publication: Robot Planning Based on Boolean Specifications Using Petri Net Models

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