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
来源
关键词
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 条
  • [1] Formal Modeling and Verification of Multi-Agent System Architecture
    Yuan, Ling
    Fan, Ping
    2013 AASRI CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING AND SYSTEMS, 2013, 5 : 126 - 132
  • [2] Formal Specification and Reasoning for Situated Multi-agent System
    Li, Zhuang
    Miao, Huaikou
    2015 IEEE/ACIS 14TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE (ICIS), 2015, : 455 - 460
  • [3] A Formal Analysis of Required Cooperation in Multi-Agent Planning
    Zhang, Yu
    Sreedharan, Sarath
    Kambhampati, Subbarao
    TWENTY-SIXTH INTERNATIONAL CONFERENCE ON AUTOMATED PLANNING AND SCHEDULING (ICAPS 2016), 2016, : 335 - 343
  • [4] A formal framework for multi-agent systems analysis and design
    Gruer, P
    Hilaire, V
    Koukam, A
    Cetnarowicz, K
    EXPERT SYSTEMS WITH APPLICATIONS, 2002, 23 (04) : 349 - 355
  • [5] Formal method to model early requirement of multi-agent system
    Mao, Xin-Jun
    Yu, Eric
    Wuhan University Journal of Natural Sciences, 2004, 9 (04) : 439 - 443
  • [6] A formal verification method of obligation policy in multi-agent system
    Tao, Zhang
    Hong, Xie
    Shao-Bin, Huang
    International Journal of u- and e- Service, Science and Technology, 2015, 8 (11) : 113 - 124
  • [7] Experience using formal methods for specifying a multi-agent system
    Rouff, C
    Rash, J
    Hinchey, MG
    SIXTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2000, : 72 - 80
  • [8] A Formal Method to Model Early Requirement of Multi-Agent System
    MAO Xin-jun 1
    2. Department of Computer Science
    WuhanUniversityJournalofNaturalSciences, 2004, (04) : 439 - 443
  • [9] Formal approaches to multi-agent sysems
    Rineke Verbrugge
    Barbara Dunin-Kȩplicz
    Autonomous Agents and Multi-Agent Systems, 2009, 19 : 1 - 3
  • [10] A formal model of multi-agent computations
    Smolka, Maciej
    PARALLEL PROCESSING AND APPLIED MATHEMATICS, 2008, 4967 : 351 - 360