CONCURRENT MODELING AND SIMULATION OF MULTIROBOT SYSTEMS

被引:5
|
作者
BENARIEH, D
机构
[1] Department of Industrial Engineering and Management, Ben-Gurion University of the Negev, Beer Sheva
关键词
D O I
10.1016/0736-5845(91)90008-G
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
Multi-robot systems can be viewed as a distributed, asynchronous and concurrent mechanism. The components of such a system communicate with each other and with the external world and perform discrete tasks. Such tasks exhibit nondeterminism, concurrency, mutual exclusiveness, and similar properties. Due to the system complexity, it is desired to model it for purposes of verification, analysis, and simulation. This paper has two objectives: to present the difficulties in modeling and simulating such distributed, concurrent systems, and to describe a new implementation paradigm towards these objectives using concurrent logic programming. This approach is described and examples given using FCP (Flat Concurrent Prolog) for a robotic manufacturing cell.
引用
收藏
页码:67 / 73
页数:7
相关论文
共 50 条
  • [1] Concurrent Control of Mobility and Communication in Multirobot Systems
    Stephan, James
    Fink, Jonathan
    Kumar, Vijay
    Ribeiro, Alejandro
    [J]. IEEE TRANSACTIONS ON ROBOTICS, 2017, 33 (05) : 1248 - 1254
  • [3] A framework for distributed simulation of multirobot systems: the VLAB experience
    Carpin, S
    Ferrari, C
    Pagello, E
    [J]. DISTRIBUTED AUTONOMOUS ROBOTIC SYSTEMS, 2000, : 45 - 54
  • [4] Concurrent Simulation of Concurrent Discrete Systems
    Karatkevich, Andrei
    [J]. EXPERIENCE OF DESIGNING AND APPLICATION OF CAD SYSTEMS IN MICROELECTRONICS: PROCEEDINGS OF THE XTH INTERNATIONAL CONFERENCE CADSM 2009, 2009, : 218 - 222
  • [5] CONCURRENT MODELING AND SIMULATION OF REACTIVE MANUFACTURING SYSTEMS USING PETRI NETS
    BENARIEH, D
    MIRON, I
    [J]. COMPUTERS & INDUSTRIAL ENGINEERING, 1991, 20 (01) : 45 - 58
  • [6] Multirobot Systems
    Ayanian, Nora
    Fitch, Robert
    Franchi, Antonio
    Sabattini, Lorenzo
    [J]. IEEE ROBOTICS & AUTOMATION MAGAZINE, 2017, 24 (02) : 12 - 16
  • [7] Multirobot Systems
    Au, Tsz-Chiu
    Banerjee, Bikramjit
    Dasgupta, Prithviraj
    Stone, Peter
    [J]. IEEE INTELLIGENT SYSTEMS, 2017, 32 (06) : 3 - 5
  • [8] Modeling, simulation, and trade-off analysis for multirobot, multioperator surveillance
    Humann, James
    Fletcher, TaLena
    Gerdes, John
    [J]. SYSTEMS ENGINEERING, 2023, 26 (05) : 627 - 640
  • [9] Modeling timed concurrent systems
    Liu, Xiaojun
    Matsikoudis, Eleftherios
    Lee, Edward A.
    [J]. CONCUR 2006 - CONCURRENCY THEORY, PROCEEDINGS, 2006, 4137 : 1 - 15
  • [10] CONCURRENT HARDWARE MODELING SPEEDS SIMULATION
    DEUTSCH, S
    LHOTAK, E
    [J]. HIGH PERFORMANCE SYSTEMS-THE MAGAZINE FOR TECHNOLOGY CHAMPIONS, 1990, 11 (06): : 41 - &