Model checking hybrid multiagent systems for the RoboCup

被引：0

作者：

Furbach, Ulrich ^{[1
]}

Murray, Jan ^{[1
]}

Schmidsberger, Falk ^{[2
]}

Stolzenburg, Frieder ^{[2
]}

机构：

[1] Univ Koblenz Landau, Artificial Intelligence Res Lab, D-56070 Koblenz, Germany

[2] Hochschule Harz, Dept Comp Sci & Automat, D-38855 Wernigerode, Germany

来源：

ROBOCUP 2007: ROBOT SOCCER WORLD CUP XI | 2008年 / 5001卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system specification on different levels of abstraction on the one hand, and expressing real-time system behavior with continuous variables on the other hand. It is shown how multi-robot systems can be modeled by hybrid and hierarchical state machines and how model checking techniques for hybrid automata can be applied. An enhanced synchronization concept is introduced that allows synchronization taking time and avoids state explosion to a certain extent.

引用

页码：262 / +

页数：2

共 50 条

[31] HyLTL : a temporal logic for model checking hybrid systems
Bresolin, Davide
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (124): : 73 - 84
[32] Model Checking of Hybrid Systems Using Shallow Synchronization
Bu, Lei
Cimatti, Alessandro
Li, Xuandong
Mover, Sergio
Tonetta, Stefano
[J]. FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, PROCEEDINGS, 2010, 6117 : 155 - +
[33] Petri-Net-Based Model Checking for Privacy-Critical Multiagent Systems
He, Leifeng
Liu, Guanjun
Zhou, Mengchu
[J]. IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS, 2023, 10 (02) : 563 - 576
[34] Bounded STL Model Checking for Hybrid Systems (Invited Talk)
Bae, Kyungmin
[J]. PROCEEDINGS OF THE 9TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, FTSCS 2023, 2023, : 1 - 1
[35] A compositional algorithm for parallel model checking of polygonal hybrid systems
Pace, Gordon
Schneider, Gerardo
[J]. THEORETICAL ASPECTS OF COMPUTING - ICTAC 2006, 2006, 4281 : 168 - 182
[36] Quantitative Automata Model Checking of Autonomous Stochastic Hybrid Systems
Abate, Alessandro
Katoen, Joost-Pieter
Mereacre, Alexandru
[J]. HSCC 11: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2011, : 83 - 92
[37] Model Checking for Rectangular Hybrid Systems: A Quantified Encoding Approach
Nguyen, Luan, V
Haddad, Wesam
Johnson, Taylor T.
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (361): : 9 - 23
[38] Hybrid Planning Using Learning and Model Checking for Autonomous Systems
Pandey, Ashutosh
Ruchkin, Ivan
Schmerl, Bradley
Garlan, David
[J]. 2020 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING AND SELF-ORGANIZING SYSTEMS (ACSOS 2020), 2020, : 55 - 64
[39] Model checking of hybrid systems: From reachability towards stability
Podelski, A
Wagner, S
[J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2006, 3927 : 507 - 521
[40] Symbolic model checking of hybrid systems using template polyhedra
Sankaranarayanan, Sriram
Dang, Thao
Ivancic, Franjo
[J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2008, 4963 : 188 - +

← 1 2 3 4 5 →