High-level modelling of cooperative mobile robot systems

DOI10.1007/978-4-431-35873-2_42MaRDI QIDQ3016398zbMATH OpenOpenAlexFDO

Authors R. Sánchez-Herrera, Norma Villanueva-Paredes, Ernesto López-Mellado

Publication date 15 July 2011

Published in Distributed Autonomous Robotic Systems 6 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-4-431-35873-2_42

zbMATH Keywords

cooperative mobile robotsinteraction protocolsmodular and hierarchical modellingPetri nets with dynamic tokens

Mathematics Subject Classification ID

Artificial intelligence for robotics (68T40)

Recommendations

• Extended stochastic Petri net models for systems with parallel and cooperative motions
• Recent Trends in Algebraic Development Techniques
• Fuzzy Petri net-based approach in modelling simultaneous task assignment for robotic system
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Modelling of an interactive system with an agent-based architecture using Petri nets, application of the method to the supervision of a transport system

Cited in

(8)

• A study of Kripke modeling of a multirobot syste for cooperative control
• Discrete event behavior-based distributed architecture design for autonomous intelligent control of mobile robots with embedded Petri nets
• Fuzzy Petri net-based approach in modelling simultaneous task assignment for robotic system
• scientific article; zbMATH DE number 2017863 (Why is no real title available?)
• A Petri net based approach for multi-robot path planning
• Petri nets over ontological graphs: conception and application for modelling tasks of robots
• Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice
• An environment for specifying and model checking mobile ring robot algorithms

This page was built for publication: High-level modelling of cooperative mobile robot systems

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