An Adaptive Goal-Based Model for Autonomous Multi-Robot Using HARMS and NuSMV

  • Received : 2016.06.02
  • Accepted : 2016.06.21
  • Published : 2016.06.30


In a dynamic environment autonomous robots often encounter unexpected situations that the robots have to deal with in order to continue proceeding their mission. We propose an adaptive goal-based model that allows cyber-physical systems (CPS) to update their environmental model and helps them analyze for attainment of their goals from current state using the updated environmental model and its capabilities. Information exchange approach utilizes Human-Agent-Robot-Machine-Sensor (HARMS) model to exchange messages between CPS. Model validation method uses NuSMV, which is one of Model Checking tools, to check whether the system can continue its mission toward the goal in the given environment. We explain a practical set up of the model in a situation in which homogeneous robots that has the same capability work in the same environment.


Adaptive model;Multi-robot systems;Model checking;HARMS;NuSMV


  1. Q. Gao and Y. I. Cho, "A dynamic ontology-based multiagent context-awareness user profile construction method for personalized information retrieval," International Journal of Fuzzy Logic and Intelligent Systems, vol. 12, no. 4, pp. 270-276, 2012.
  2. E. G. Kim, "An approach to generate a theory of coordination for multi-agent systems," International Journal of Fuzzy Logic and Intelligent Systems, vol. 4, no. 3, pp. 277-282, 2004.
  3. A. Chibani, Y. Amirat, S. Mohammed, E. Matson, N. Hagita, and M. Barreto, "Ubiquitous robotics: recent challenges and future trends," Robotics and Autonomous Systems, vol. 61, no. 11, pp. 1162-1172, 2013.
  4. S. A. Deloach, W. H. Oyenan, and E. T. Matson, "A capabilities-based model for adaptive organizations," Autonomous Agents and Multi-Agent Systems, vol. 16, no. 1, pp. 13-56, 2008.
  5. J. W. Park, Y. S. Son, J. W. Jung, and S. M. Oh, "Robject model for evolutionary robots using multi-robot cooperation," IFAC Proceedings Volumes: International Federation of Automatic Control, vol. 42, no. 19, pp. 438-443, 2009.
  6. H. H. Viet, S. H. An, and T. C. Chung, "Univector field method based multi-agent navigation for pursuit problem," International Journal of Fuzzy Logic and Intelligent Systems, vol. 12, no. 1, pp. 86-93, 2012.
  7. E. T. Matson and B. C. Min, "M2M infrastructure to integrate humans, agents and robots into collectives," in Proceedings of 2011 IEEE Instrumentation and Measurement Technology Conference, Binjiang, China, 2011, pp. 1-6.
  8. E. T. Matson, J. Taylor, V. Raskin, B. C. Min, and E. C. Wilson, "A natural language exchange model for enabling human, agent, robot and machine interaction," in Proceedings of 2011 5th International Conference on Automation, Robotics and Applications, Wellington, New Zealand, 2011, pp. 340-345.
  9. Y. Kim, J. W. Jung, and E. T. Matson, "An adaptive taskbased model for autonomous multi-robot using HARMS and NuSMV," Procedia Computer Science, vol. 56, pp. 127-132, 2015.
  10. M. Wooldridge, N. R. Jennings, and D. Kinny, "The Gaia methodology for agent-oriented analysis and design," Autonomous Agents and Multi-Agent Systems, vol. 3, no. 3, pp. 285-312, 2000.
  11. A. Omicini, A. Ricci, and M. Viroli, "Artifacts in the A&A meta-model for multi-agent systems," Autonomous Agents and Multi-Agent Systems, vol. 17, no. 3, pp. 432-456, 2008.
  12. S. Rodriguez, V. Hilaire, N. Gaud, S. Galland, and A. Koukam, "Holonic multi-agent systems," in Selforganising Software, G. Di Marzo Serugendo, M. P. Gleizes, and A. Karageorgos, Eds. Berlin: Springer-Verlag, 2011, pp. 251-279. 11
  13. O. Boissier, R. H. Bordini, J. F. Hubner, A. Ricci, and A. Santi, "Multi-agent oriented programming with JaCaMo," Science of Computer Programming, vol. 78, no. 6, pp. 747-761, 2013.
  14. S. Rodriguez, N. Gaud, and S. Galland, "SARL: a generalpurpose agent-oriented programming language," in Proceedings of 2014 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technologies, Warsaw, Poland, 2014, pp. 103-110.
  15. N. R. Jennings, "Agent-oriented software engineering," in Multiple approaches to intelligent systems, I. Imam, Y. Kodratoff, A. El-Dessouki, and M. Ali, Eds. Berlin: Springer-Verlag, 1999, pp. 4-10. 2
  16. A. Ricci and A. Santi, "Agent-oriented computing: agents as a paradigm for computer programming and software development," in Proceedings of the Third International Conference on Future Computational Technologies and Applications, Rome, Italy, 2011, pp. 42-51.
  17. M. Wooldridgey and P. Ciancarini, "Agent-oriented software engineering: the state of the art," in Agent-oriented software engineering, P. Ciancarini and M. J. Wooldridge, Eds. Berlin: Springer-Verlag, 2001, pp. 1-28. 1
  18. S. Rodriguez, N. Gaud, V. Hilaire, S. Galland, and A. Koukam, "An analysis and design concept for selforganization in holonic multi-agent systems," in Engineering Self-Organising Systems, S. A. Brueckner, S. Has-sas, M. Jelasity, and D. Yamins, Eds. Berlin: Springer-Verlag, 2007, pp. 15-27. 2
  19. C. Baier and J. P. Katoen, Principles of model checking. Cambridge, MA: MIT Press Cambridge, 2008.
  20. A. Chiappini, A. Cimatti, L. Macchi, O. Rebollo, M. Roveri, A. Susi, S. Tonetta, and B. Vittorini, "Formalization and validation of a subset of the European Train Control System," in Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, Cape Town, South Africa, 2010, pp. 109-118.
  21. C. S. Pasareanu, P. C. Mehlitz, D. H. Bushnell, K. Gundy- Burlet, M. Lowry, S. Person, and M. Pape, "Combining unit-level symbolic execution and system-level concrete execution for testing nasa software," in Proceedings of the 2008 International Symposium on Software Testing and Analysis, Seattle, WA, 2008, pp. 15-26.
  22. G. E. Fainekos, H. Kress-Gazit, and G. J. Pappas, "Temporal logic motion planning for mobile robots," in Proceedings of the 2005 IEEE International Conference on Robotics and Automation, Barcelona, Spain, 2005, pp. 2020-2025.
  23. S. Konur, C. Dixon, and M. Fisher, "Analysing robot swarm behaviour via probabilistic model checking," Robotics and Autonomous Systems, vol. 60, no. 2, pp. 199-213, 2012.
  24. J. Goppert, J. C. Gallagher, I. Hwang, and E. Matson, "Model checking of a flapping-wing mirco-air-vehicle trajectory tracking controller subject to disturbances," in Robot Intelligence Technology and Applications 2, J. H. Kim, E. T. Matson, H. Myung, P. Xu, and F. Karray, Eds. Cham: Springer International Publishing, 2014, pp. 531-543. 46
  25. Y. Kim, M. Gomez, J. Goppert, and E. T. Matson, "Model checking of a training system using nusmv for humanoid robot soccer," in Robot Intelligence Technology and Applications 3, J. H. Kim, W. Yang, J. Jo, P. Sincak, and H. Myung, Eds. Cham: Springer International Publishing, 2015, pp. 531-540. 48
  26. A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella, "NuSMV 2: an opensource tool for symbolic model checking," in Computer Aided Verification, E. Brinksma and K.G. Larsen, Eds. Berlin: Springer-Verlag, 2002, pp. 359-364. 29
  27. J. J. Shi, D. E. Lee, and E. Kuruku, "Task-based modeling method for construction business process modeling and automation," Automation in Construction, vol. 17, no. 5, pp. 633-640, 2008.
  28. S. A. DeLoach and M. Miller, "A goal model for adaptive complex systems," International Journal of Computational Intelligence: Theory and Practice, vol. 5, no. 2, pp. 83-92, 2010.
  29. M. A. Goodrich and D. Yi, "Toward task-based mental models of human-robot teaming: a Bayesian approach," in Virtual augmented and mixed reality: designing and developing augmented and virtual environments, R. Shumaker, Ed. Berlin: Springer-Verlag, 2013, pp. 267-276. 30
  30. Y. S. Son, Y. S. Lee, and J. W. Jung, "Software modules management techiques for multi-cooperate robots based on r-object model in dynamic environments," International Journal of Multimedia and Ubiquitous Engineering, vol. 7, no. 4, pp. 163-174, 2012.
  31. W. Visser, K. Havelund, G. Brat, S. J. Park, and F. Lerda, "Model checking programs," Automated Software Engineering, vol. 10, no. 2, pp. 203-232, 2003.
  32. Lerda, J. Kapinski, H. Maka, E. M. Clarke, B. H. Krogh, "Model checking in-the-loop: finding counterexamples by systematic simulation," in Proceedings of 2008 American Control Conference, Seattle, WA, 2008, 2734-2740.
  33. M. Quigley, B. Gerkey, K. Conley, J. Faust, T. Foote, J. Leibs, E. Berger, R. Wheeler, and A. Ng, "ROS: an opensource robot operating system," in Proceedings of ICRA Workshop on Open Source Software, Kobe, Japan, 2009.
  34. S. Tisue and U. Wilensky, "NetLogo: Design and implementation of a multi-agent modeling environment," in Proceedings of the Agent 2004 Conference on Social Dynamics: Interaction, Reflexivity and Emergence, Chicago, IL, 2004.
  35. C. Zhong and S. A. DeLoach, "Runtime models for automatic reorganization of multi-robot systems," in Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Honolulu, Hawaii, 2011, pp. 20-29.
  36. U. Wilensky, "Netlogo Ants model," Center for Connected Learning and Computer-Based Modeling, Northwestern University, Evanston, IL, 1997. Available


Supported by : National Science Foundation, National Research Foundation of Korea