Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice

DOI10.1080/00207720500438472MaRDI QIDQ5484596zbMATH OpenOpenAlexFDO

Authors S. Jeyaraman, Antonios Tsourdos, Rafał Żbikowski, Brian White

Publication date 21 August 2006

Published in International Journal of Systems Science. Principles and Applications of Systems and Integration (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00207720500438472

zbMATH Keywords

Kripke modellingminimalist communicationmultiple robots system

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85)

Recommendations

• A study of Kripke modeling of a multirobot syste for cooperative control
• Formal modelling and verification of multi-robot systems specified with temporal logic
• Kripke modelling and verification of temporal specifications of a multiple UAV system
• High-level modelling of cooperative mobile robot systems
• Modelling and Verification of Timed Robotic Controllers

Cites work

• scientific article; zbMATH DE number 1342082 (Why is no real title available?)
• A completeness theorem in modal logic
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

Cited in

(5)

• A study of Kripke modeling of a multirobot syste for cooperative control
• Kripke modelling and verification of temporal specifications of a multiple UAV system
• Verification of heterogeneous multi-agent system using MCMAS
• Model checking learning agent systems using Promela with embedded C code and abstraction
• Formal modelling and verification of multi-robot systems specified with temporal logic

Describes a project that uses

Uses Software

• UMDES
• SPIN

This page was built for publication: Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice

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