Testability of a swarm robot using a system of systems approach and discrete event simulation

A system of systems (SoS) simulation framework using discrete event system specification (DEVS) and data encoded with Extensible Markup Language (XML) tags is presented to support agent-in-the-loop (AIL) simulations for large, complex, and distributed systems. AIL simulations provide a necessary step in maintaining model continuity methods to achieve a greater degree of accuracy in systems analysis. A system of systems approach enables the simulation and analysis of these independent and cooperative systems by concentrating on the data transferred among systems instead of determining global state spaces. A mobile robot is deployed as a real agent working cooperatively with virtual agents to form a robotic swarm in an example threat detection scenario. The swarm robot's performance is tracked and the emergent swarm behavior is also evaluated.

[1]  Yangmin Li,et al.  Dynamic control of multi-robot formation , 2005, IEEE International Conference on Mechatronics, 2005. ICM '05..

[2]  J. H. van Moll,et al.  Identifying Pitfalls of System Integration -- An Exploratory Study , 2008, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop.

[3]  Bernard P. Zeigler,et al.  Measuring Cooperative Robotic Systems Using Simulation-Based Virtual Environment , 2004 .

[4]  Miroslaw Malek,et al.  CERO: CE RObots community , 2005, IEE Proc. Softw..

[5]  J.K. Hedrick,et al.  Formation control using generalized coordinates , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[6]  Tucker R. Balch,et al.  Behavior-based formation control for multirobot teams , 1998, IEEE Trans. Robotics Autom..

[7]  YangQuan Chen,et al.  Leaderless Formation Control for Multiple Autonomous Vehicles , 2006 .

[8]  Bernard P. Zeigler,et al.  DEVS today: recent advances in discrete event-based information technology , 2003, 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer Telecommunications Systems, 2003. MASCOTS 2003..

[9]  David J. Carstairs.  Wanted: A New Test Approach for Military Net-Centric Operations , 2005 .

[10]  Xiaolin Hu.  Applying robot-in-the-loop-simulation to mobile robot systems , 2005, ICAR '05. Proceedings., 12th International Conference on Advanced Robotics, 2005..

[11]  Alan F. T. Winfield,et al.  Towards dependable swarms and a new discipline of swarm engineering , 2004 .

[12]  Jing-Yu Yang,et al.  A Descriptive Model of Robot Team and the Dynamic Evolution of Robot Team Cooperation , 2006, ArXiv.

[13]  Andreas Tolk.  Composable Mission Spaces and M&S Repositories - Applicability of Open Standards , 2004 .

[14]  Levent Yilmaz,et al.  A Conceptual Model for Reusable Simulations Within a Model-Simulator-Context Framework , 2004 .

[15]  Eddie L. Davis.  Evaluation of the Extensible Markup Language (XML) as a means for establishing interoperability between heterogeneous Department of Defense (DoD) databases , 2001 .

[16]  Erik G. Nilsson,et al.  Aspects of systems integration , 1990, Systems Integration '90. Proceedings of the First International Conference on Systems Integration.

[17]  Mo M. Jamshidi,et al.  A discrete event XML based system of systems simulation for robust threat detection and integration , 2008, 2008 IEEE International Conference on System of Systems Engineering.

[18]  Bernard P. Zeigler,et al.  DEVSML: automating DEVS execution over SOA towards transparent simulators , 2007, SpringSim '07.

[19]  Ferat Sahin,et al.  An XML based system of systems agent-in-the-loop simulation framework using discrete event simulation , 2009, 2009 IEEE International Conference on Systems, Man and Cybernetics.

[20]  Paul Gustavson,et al.  Building composable bridges between the conceptual space and the implementation space , 2007, 2007 Winter Simulation Conference.

[21]  Steven J. DeRose,et al.  XML Path Language (XPath) , 1999 .

[22]  Ferat Sahin.  Groundscouts: architecture for a modular micro robotic platform for swarm intelligence and cooperative robotics , 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).

[23]  YangQuan Chen,et al.  High-Order Consensus Algorithms in Cooperative Vehicle Systems , 2006, 2006 IEEE International Conference on Networking, Sensing and Control.

[24]  Olivier Michel,et al.  Cyberbotics Ltd. Webots™: Professional Mobile Robot Simulation , 2004, ArXiv.

[25]  YangQuan Chen,et al.  Formation control: a review and a new consideration , 2005, 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[26]  Bernard P. Zeigler,et al.  DEVS/SOA: A Cross-Platform Framework for Net-centric Modeling and Simulation in DEVS Unified Process , 2009, Simul..

[27]  Andreas Tolk,et al.  The Levels of Conceptual Interoperability Model , 2003 .

[28]  Olivier Michel,et al.  Cyberbotics Ltd. Webots™: Professional Mobile Robot Simulation , 2004 .

[29]  N. Sivashankar,et al.  Design and implementation of HIL simulators for powertrain control system software development , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).

[30]  Mo Jamshidi,et al.  Modeling and Simulation for Systems of Systems Engineering , 2008 .

[31]  Ben Horan,et al.  System of systems approach to threat detection and integration of heterogeneous independently operable systems , 2007, 2007 IEEE International Conference on Systems, Man and Cybernetics.

[32]  Bernard P. Zeigler,et al.  Implementation of a Formal Standard for Interoperability in M & S / Systems of Systems Integration with DEVS / SOA , 2008 .

[33]  Xiaolin Hu,et al.  DEVS-FIRE: Towards an Integrated Simulation Environment for Surface Wildfire Spread and Containment , 2008, Simul..

[34]  Paul Y. Oh,et al.  Hardware-in-the-loop Test Rig to Capture Aerial Robot and Sensor Suite Performance Metrics , 2006, 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[35]  Wei Ren.  Cooperative Control Design Strategies with Local Interactions , 2006, 2006 IEEE International Conference on Networking, Sensing and Control.

[36]  Leslie S. Winters,et al.  Composable M&S Web Services for Net-Centric Applications , 2006 .

[37]  Xin Wu,et al.  A Low-Cost Real-Time Hardware-in-the-Loop Testing Approach of Power Electronics Controls , 2007, IEEE Transactions on Industrial Electronics.

[38]  Andres Sousa-Poza,et al.  System of systems engineering , 2003, IEEE Engineering Management Review.

[39]  M. Janishidi.  System of Systems - Innovations for 21st Century , 2008, 2008 IEEE Region 10 and the Third international Conference on Industrial and Information Systems.

[40]  Mo M. Jamshidi,et al.  A Discrete Event XML based Simulation Framework for System of Systems Architectures , 2007, 2007 IEEE International Conference on System of Systems Engineering.

[41]  A. Varga,et al.  THE OMNET++ DISCRETE EVENT SIMULATION SYSTEM , 2003 .

[42]  Ferat Sahin,et al.  Application of swarm intelligence to the mine detection problem , 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).

[43]  Marc Le Goc,et al.  SACHEM, a Real-Time Intelligent Diagnosis System Based on the Discrete Event Paradigm , 2004, Simul..

[44]  Alan F. T. Winfield,et al.  Safety in numbers: fault-tolerance in robot swarms , 2006, Int. J. Model. Identif. Control..

[45]  Xiaolin Hu,et al.  Model continuity in the design of dynamic distributed real-time systems , 2005, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[46]  Ferat Sahin,et al.  An artificial immune system approach to mobile sensor networks and mine detection , 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).

[47]  K. Komoriya,et al.  Utilization of the virtual environment system for autonomous control of mobile robots , 1990, Proceedings of the IEEE International Workshop on Intelligent Motion Control.

[48]  Ferat Sahin,et al.  An XML based system of systems discrete event simulation communications framework , 2009, SpringSim '09.

[49]  Clare Dixon,et al.  On Formal Specification of Emergent Behaviours in Swarm Robotic Systems , 2005 .

[50]  Jean François Santucci,et al.  A generic framework for environmental modeling and simulation , 2003, SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483).

[51]  Ferat Sahin,et al.  A discrete event XML based system of systems hardware-in-the-loop simulation for robust threat detection , 2009, 2009 IEEE International Conference on System of Systems Engineering (SoSE).

[52]  Abraham Meilich,et al.  System of systems (SoS) engineering & architecture challenges in a net centric environment , 2006, 2006 IEEE/SMC International Conference on System of Systems Engineering.

[53]  Mohammad Jamshidi,et al.  System of systems engineering : innovations for the 21st century , 2008 .

[54]  Xiaolin Hu,et al.  An Integrated Multi-Robot Test Bed to Support Incremental Simulation-Based Design , 2007, 2007 IEEE International Conference on System of Systems Engineering.

[55]  Christiaan J. J. Paredis,et al.  RAVE: a real and virtual environment for multiple mobile robot systems , 1999, Proceedings 1999 IEEE/RSJ International Conference on Intelligent Robots and Systems. Human and Environment Friendly Robots with High Intelligence and Emotional Quotients (Cat. No.99CH36289).

[56]  Wei Ren.  Decentralization of Coordination Variables in Multi-vehicle Systems , 2006, 2006 IEEE International Conference on Networking, Sensing and Control.

[57]  Francesco Mondada,et al.  Mobile Robot Miniaturisation: A Tool for Investigation in Control Algorithms , 1993, ISER.

[58]  Ferat Sahin,et al.  A System of Systems approach to model an Artificial Immune System using Discrete Event Specification , 2009, 2009 IEEE International Conference on System of Systems Engineering (SoSE).

[59]  Bernard P. Zeigler,et al.  Theory of modeling and simulation , 1976 .

[60]  Xiaolin Hu,et al.  A simulation-based virtual environment to study cooperative robotic systems , 2005, Integr. Comput. Aided Eng..