A Study of Multi-Robot Tracking Problem in One-Dimensional System Using Probabilistic Model Checking

This study presents an approach to one-dimensional multi-robot tracking problem using probabilistic model checking. Two of three robots have probabilistic velocity changes that cause unsteady movements and potential collision. The experimental results shows qualitative and quantitative validation in...

Full description

Saved in:
Bibliographic Details
Published inIEICE Transactions on Information and Systems Vol. E108.D; no. 8; pp. 1033 - 1036
Main Authors SEKIZAWA, Toshifusa, YONEZAWA, Naoaki, OKANO, Kozo, NARUSE, Keitaro
Format Journal Article
LanguageEnglish
Published The Institute of Electronics, Information and Communication Engineers 01.08.2025
一般社団法人 電子情報通信学会
Subjects
model checking
multi-robot
probabilistic behaviors
tracking problem
Online AccessGet full text
ISSN0916-8532
1745-1361
DOI10.1587/transinf.2025EDL8001

Cover

More Information
Summary:This study presents an approach to one-dimensional multi-robot tracking problem using probabilistic model checking. Two of three robots have probabilistic velocity changes that cause unsteady movements and potential collision. The experimental results shows qualitative and quantitative validation indicating applicability of model checking to designing dependable robot control.
ISSN:0916-8532
1745-1361
DOI:10.1587/transinf.2025EDL8001