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

DOI10.1080/00207720500438472zbMATH Open1098.93026OpenAlexW2057791660MaRDI QIDQ5484596FDOQ5484596

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

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

zbMATH Keywords

Kripke modellingminimalist communicationmultiple robots system

Mathematics Subject Classification ID

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

Cites Work

• A completeness theorem in modal logic
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Title not available (Why is that?)

Cited In (5)

• A study of Kripke modeling of a multirobot syste for cooperative control
• Verification of heterogeneous multi-agent system using MCMAS
• Kripke modelling and verification of temporal specifications of a multiple UAV system
• 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

Uses Software

• SPIN
• UMDES

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)