Theory of Modeling and Simulation
Theory of Modeling and Simulation
A Real-Time Discrete Event System Specification Formalismfor Seamless Real-Time Software Development
Discrete Event Dynamic Systems
Internet-Based Robotic System Using CORBA as Communication Architecture
Journal of Intelligent and Robotic Systems
Multilevel Testing for Design Verification of Embedded Systems
IEEE Design & Test
The Behavior Language: User''s Guide
The Behavior Language: User''s Guide
A simulation-based virtual environment to study cooperative robotic systems
Integrated Computer-Aided Engineering
ppPDC Communication Framework --- A New Tool for Distributed Robotics
SIMPAR '08 Proceedings of the 1st International Conference on Simulation, Modeling, and Programming for Autonomous Robots
Modelling intelligent agents for autonomic computing in the PNagent framework
International Journal of Autonomic Computing
Attractor dynamics approach to formation control: theory and application
Autonomous Robots
| Hi-index | 0.00 |
Modeling, design and testing of the software underlying distributed robotic systems is a challenging task, especially when a large number of mobile robots and task coordination are involved. Model continuity, the ability to use the same model of a system throughout its design phases, provides an effective way to manage this development complexity and maintain consistency of the software. In this paper, we describe the design and implementation of a team-formation multi-robot system. This is used as an example to demonstrate how a modeling and simulation environment, based on the DEVS formalism, can support model continuity in the design of distributed robotic systems. This example shows how the intelligent control models of the robots are first designed and tested via simulation and, when verified mapped to physical robots with DEVS-on-a-chip “brains” for execution.