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 条
  • [1] Hybrid multiagent systems with timed synchronization - Specification and model checking
    Furbach, Ulrich
    Murray, Jan
    Schmidsberger, Falk
    Stolzenburg, Frieder
    [J]. PROGRAMMING MULTI-AGENT SYSTEMS, 2008, 4908 : 205 - +
  • [2] Model checking multiagent systems
    Benerecetti, M
    Giunchiglia, F
    Serafini, L
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (03) : 401 - 423
  • [3] Model Checking for Probabilistic Multiagent Systems
    Chen Fu
    Andrea Turrini
    Xiaowei Huang
    Lei Song
    Yuan Feng
    Li-Jun Zhang
    [J]. Journal of Computer Science and Technology, 2023, 38 : 1162 - 1186
  • [4] Model Checking for Probabilistic Multiagent Systems
    Fu, Chen
    Turrini, Andrea
    Huang, Xiaowei
    Song, Lei
    Feng, Yuan
    Zhang, Li-Jun
    [J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2023, 38 (05) : 1162 - 1186
  • [5] The Complexity of Model Checking Succinct Multiagent Systems
    Huang, Xiaowei
    Chen, Qingliang
    Su, Kaile
    [J]. PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 1076 - 1082
  • [6] Validation of multiagent systems by symbolic model checking
    Benerecetti, M
    Cimatti, A
    [J]. AGENT-ORIENTED SOFTWARE ENGINEERING III, 2002, 2585 : 32 - 46
  • [7] Well-structured model checking of multiagent systems
    Shilov, N. V.
    Garanina, N. O.
    [J]. PERSPECTIVES OF SYSTEMS INFORMATICS, 2007, 4378 : 363 - +
  • [8] Model Checking Hybrid Systems
    Clarke, Edmund M.
    Gao, Sicun
    [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: SPECIALIZED TECHNIQUES AND APPLICATIONS, PT II, 2014, 8803 : 385 - 386
  • [9] Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems
    Fu, Chen
    Turrini, Andrea
    Huang, Xiaowei
    Song, Lei
    Feng, Yuan
    Zhang, Lijun
    [J]. PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2018, : 4757 - 4763
  • [10] Quantitative Analysis of Multiagent Systems Through Statistical Model Checking
    Herd, Benjamin
    Miles, Simon
    McBurney, Peter
    Luck, Michael
    [J]. ENGINEERING MULTI-AGENT SYSTEMS, EMAS 2015, 2015, 9318 : 109 - 130
12345