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 条

[21] Bounded model checking of hybrid dynamical systems
Giorgetti, Nicolo
Pappas, George J.
Beraporad, Alberto
[J]. 2005 44th IEEE Conference on Decision and Control & European Control Conference, Vols 1-8, 2005, : 672 - 677
[22] Dara: Hybrid Model Checking of Distributed Systems
Anand, Vaastav
[J]. ESEC/FSE'18: PROCEEDINGS OF THE 2018 26TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2018, : 977 - 979
[23] Multiagent learning towards RoboCup
Minoru Asada
Eiji Uchibe
[J]. New Generation Computing, 2001, 19 : 103 - 120
[24] Multiagent learning towards RoboCup
Asada, M
Uchibe, E
[J]. NEW GENERATION COMPUTING, 2001, 19 (02) : 103 - 120
[25] Exponential improvement of time complexity of model checking for multiagent systems with perfect recall
Garanina, N. O.
[J]. PROGRAMMING AND COMPUTER SOFTWARE, 2012, 38 (06) : 294 - 303
[26] Exponential improvement of time complexity of model checking for multiagent systems with perfect recall
N. O. Garanina
[J]. Programming and Computer Software, 2012, 38 : 294 - 303
[27] Optimizing bounded model checking for linear hybrid systems
Abrahám, E
Becker, B
Klaedtke, F
Steffen, M
[J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2005, 3385 : 396 - 412
[28] Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems
Fischer, Diana
Kaiser, Lukasz
[J]. AUTOMATA, LANGUAGES AND PROGRAMMING, ICALP, PT II, 2011, 6756 : 404 - 415
[29] MODEL CHECKING THE QUANTITATIVE μ-CALCULUS ON LINEAR HYBRID SYSTEMS
Fischer, Diana
Kaiser, Lukasz
[J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2012, 8 (03)
[30] The image computation problem in hybrid systems model checking
Platzer, Andre
Clarke, Edmund M.
[J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2007, 4416 : 473 - +

← 1 2 3 4 5 →