A formal analysis of potential energy in a multi-agent system

被引:0
|
作者
Spears, WM [1 ]
Spears, DF [1 ]
Heil, R [1 ]
机构
[1] Univ Wyoming, Laramie, WY 82071 USA
来源
FORMAL APPROACHES TO AGENT-BASED SYSTEMS | 2005年 / 3228卷
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
This paper summarizes a novel framework, called "physicomimetics," for the distributed control of large collections of mobile physical agents in sensor networks. The agents sense and react to virtual forces, which are motivated by natural physics laws. Thus, physicomimetics is founded upon solid scientific principles. Furthermore, this framework provides an effective basis for self-organization, fault-tolerance, and self-repair. Examples are shown of how this framework has been applied to construct regular geometric lattice configurations (distributed sensing grids). Analyses are provided that facilitate system understanding and predictability, including a quantitative analysis of potential energy that provides the capability of setting system parameters based on theoretical laws. Physicomimetics has been implemented both in simulation and on a team of seven mobile robots.
引用
收藏
页码:131 / 145
页数:15
相关论文
共 50 条
  • [21] Multi-energy Coordination Based on Multi-Agent System in Energy Internet
    Liu, Siyuan
    Gu, Ying
    Wang, Chong
    Guo, Fei
    Li, Shiqun
    2018 2ND IEEE CONFERENCE ON ENERGY INTERNET AND ENERGY SYSTEM INTEGRATION (EI2), 2018,
  • [22] Formal specification of beliefs in multi-agent systems
    Benerecetti, M
    Giunchiglia, E
    Serafini, L
    Villafiorita, A
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1999, 14 (10) : 1021 - 1040
  • [23] Formal Verification of Open Multi-Agent Systems
    Kouvaros, Panagiotis
    Lomuscio, Alessio
    Pirovano, Edoardo
    Punchihewa, Hashan
    AAMAS '19: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, 2019, : 179 - 187
  • [24] A formal model for situated multi-agent systems
    Weyns, D
    Holvoet, T
    FUNDAMENTA INFORMATICAE, 2004, 63 (2-3) : 125 - 158
  • [25] Formal framework for adaptive multi-agent systems
    Jiao, WP
    Zhou, MH
    Wang, QX
    IEEE/WIC INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY, PROCEEDINGS, 2003, : 442 - 445
  • [26] Formal development of multi-agent interaction protocols
    Sadaoui, S
    Chen, B
    8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL II, PROCEEDINGS: COMPUTING TECHNIQUES, 2004, : 450 - 455
  • [27] A Formal Environment Model for Multi-Agent Systems
    da Silva, Paulo Salem
    de Melo, Ana C. V.
    FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, 2011, 6527 : 64 - 79
  • [28] Proposition of Formal semantics for multi-agent systems
    Chainbi, W
    COMPUTERS & INDUSTRIAL ENGINEERING, 1999, 37 (1-2) : 453 - 456
  • [29] Formal Specification and Verification of Multi-Agent Systems
    Bourahla, Mustapha
    Benmohamed, Mohamed
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 123 : 5 - 17
  • [30] A formal description language for multi-agent architectures
    Faulkner, Stephane
    Kolp, Manuel
    Wautelet, Yves
    Achbany, Youssef
    AGENT-ORIENTED INFORMATION SYSTEMS IV, 2008, 4898 : 143 - +