ABSTRACT
There is a growing demand to apply multi-robot systems to address many current problems ranging from search and rescue to distributed surveillance to coordination of small satellites in space. Solving these problems effectively requires that teams of robots coordinate effectively. Many of the algorithms for coordination are based on the so-called centralized paradigm, where a central controlling authority is responsible for coordinating the entire team of robots. Unfortunately, centralized approaches often fall short when dealing with rapidly changing situations, unreliability of communications, and failure of robots, especially in hostile environments. Distributed approaches, in an effort to address such issues, tend to introduce complex negotiation or market-based strategies for distributed task execution, sometimes resulting in cumbersome programming models and suboptimal solutions. In this paper, we introduce the readers to the PIM (Process Integrated Mechanism) approach to multi-robot coordination grounded in research on Java thread migration. The core idea of the PIM is to retain the perspective of the single controlling authority but abandon the notion that it must have a fixed location within the system. Instead, the single coordinating thread is rapidly moved among the team members. The PIM leverages on Java thread mobility to preserve the optimality of the centralized approach, while effectively addressing most of its weaknesses (e.g. sluggish response to dynamic conditions, communication difficulties, and a single point of failure). A prototype implementation of such a model is presented on top of the Mobile JikesRVM framework for Java thread migration, along with some preliminary performance results.
- Alpern, B., Attanasio, C. R., Barton, J. J., Burke, M. G., Cheng, P., Choi, J.-D., et al. (2000). The Jalapeno virtual machine. The IBM Systems Journal, Vol. 39, N. 1, p.221. Google ScholarDigital Library
- Alpern, B., Augart, S., Blackburn, S., Butrico, M., Cocchi, A., Cheng, P., et al. (2005). The Jikes Research Virtual Machine project: Building an open-source research community. The IBM Systems Journal, Vol. 44, N. 2, p. 399. Google ScholarDigital Library
- ANU - Department of Computer Science. (2008). DaCapo Benchmark regression tests. Retrieved 2008, from http://jikesrvm.anu.edu.au/~dacapo/index.php?category=rele aseGoogle Scholar
- Brummit, B., & Stentz, A. (1996). Dynamic Mission Planning for Multiple Mobile Robots. IEEE International Conference on Robotics and Automation. IEEE, pp. 2396--2401.Google Scholar
- Cabri, G., Leonardi, L., & Quitadamo, R. (2006). Enabling Java mobile computing on the IBM Jikes research virtual machine. 4th international symposium on Principles and Practice of Programming in Java (PPPJ'06), pp. 62--71, ACM. Google ScholarDigital Library
- Cabri, G., Leonardi, L., & Zambonelli, F. (2000). Weak and Strong Mobility in mobile agents applications. 2nd International Conference and Exhibition on The Practical Application of Java.Google Scholar
- Caloud, P., Choi, W., Latombe, J.-C., Pape, C. L., & Yim, M. (1990). Indoor automation with many mobile robots. Intelligent Robots and Systems '90. 'Towards a New Frontier of Applications', Proceedings. IROS '90. IEEE International Workshop on, pp. 67--72, vol.1.Google ScholarCross Ref
- Chaimowicz, L., Sugar, T., Kumar, V., & Campos, M. (2001). An architecture for tightly coupled multi-robot cooperation. Robotics and Automation, 2001. Proceedings 2001 ICRA. IEEE International Conference on, pp. 2992--2997, vol.3.Google ScholarCross Ref
- Dias, M., & Stentz, A. (2003). A comparative study between centralized, market-based, and behavioral multirobot coordination approaches. Intelligent Robots and Systems, 2003. (IROS 2003). Proceedings. 2003 IEEE/RSJ International Conference on, pp. 2279--2284, vol.3.Google ScholarCross Ref
- Dias, M., & Stentz, A. (2001). A Market Approach to Multirobot Coordination.Google Scholar
- Ford, K., Suri, N., Kosnar, K., Jisl, P., Benda, P., Pechoucek, M., et al. (2008). A Game-based Approach to Comparing Different Coordination Mechanisms. IEEE International Conference on Distributed Human-Machine Systems (DHMS). IEEE, pp. 20--25.Google Scholar
- Fuggetta, A., Picco, G. P., & Vigna, G. (1998). Understanding Code Mobility. IEEE Transactions on Software Engineering, 24, pp. 342--361. Google ScholarDigital Library
- Gerkey, B. P., & Mataric, M. J. (2002). Sold!: Auction methods for multi-robot coordination. IEEE Transactions on Robotics and Automation, 18, pp. 758--768.Google ScholarCross Ref
- Golfarelli, M., Maio, D., & Rizzi, S. (1997). A Task-Swap Negotiation Protocol Based on the Contract Net Paradigm.Google Scholar
- Jensen, R. M., & Veloso, M. M. (1999). OBDD-Based Universal Planning: Specifying and Solving Planning Problems for Synchronized Agents in Non-deterministic Domains. Lecture Notes in Computer Science, vol. 1600, pp. 213--248. Google ScholarDigital Library
- Mataric, M. (1995). Issues and approaches in the design of collective autonomous agents. Robotics and Autonomous Systems, 16, 321--331.Google ScholarCross Ref
- Microsystems, Sun. (2001). Object Serialization. Retrieved 2008, from http://java.sun.com/j2se/1.4.2/docs/guide/serialization/index.htmlGoogle Scholar
- Mobile Robots Inc. (2008). MobileSim. Retrieved 2008, from http://robots.mobilerobots.com/MobileSim/Google Scholar
- Noreils, F. R. (1993). Toward a robot architecture integrating cooperation between mobile robots: application to indoor environment. Int. J. Rob. Res., vol. 12, pp. 79--98. Google ScholarDigital Library
- Parker, L. (1998). ALLIANCE: an architecture for fault tolerant multirobot cooperation. Robotics and Automation, IEEE Transactions on, vol. 14, pp. 220--240.Google Scholar
- Parker, L. (1993). Designing control laws for cooperative agent teams. Robotics and Automation, 1993. Proceedings., 1993 IEEE International Conference on, pp. 582--587, vol.3.Google ScholarCross Ref
- Quitadamo, R., Cabri, G., & Leonardi, L. (2008). Mobile JikesRVM: A framework to support transparent Java thread migration. Science of Computer Programming, vol. 70, pp. 221--240. Google ScholarDigital Library
- Robocup Official Site. (2008). Retrieved 2008, from http://www.robocup.org/Google Scholar
- Smith, R. (Dec. 1980). The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver. IEEE Transactions on Computers, C-29, pp. 1104--1113. Google ScholarDigital Library
- Suri, N., Bradshaw, J. M., Breedy, M. R., Groth, P. T., Hill, G. A., & Saavedra, R. (2001). State capture and resource control for java: the design and implementation of the aroma virtual machine. JVM'01: Proceedings of the JavaTM Virtual Machine Research and Technology Symposium on JavaTM Virtual Machine Research and Technology Symposium, p. 11. USENIX Association. Google ScholarDigital Library
- Suri, N., Rebeschini, M., Arguedas, M., Carvalho, M., Stabellini, S., & Breedy, M. (2007). Towards an Agile Computing Approach to Dynamic and Adaptive Service-Oriented Architectures. First IEEE Workshop on Autonomic Communication and Network Management (ACNM'07), pp. 25--31.Google Scholar
- Suri, N., Rebeschini, M., Breedy, M., Carvalho, M., & Arguedas, M. (2006). Resource and Service Discovery in Wireless Ad-Hoc Networks with Agile Computing. IEEE Military Communications Conference (MILCOM 2006). IEEE, pp. 1--7. Google ScholarDigital Library
- Svestka, P., & Overmars, M. (1998). Coordinated path planning for multiple robots. Robotics and Autonomous Systems, 23 (3), pp. 125--152.Google ScholarCross Ref
- Tambe, M., Pynadath, D., Chauvat, N., Das, A., & Kaminka, G. (2000). Adaptive agent integration architectures for heterogeneous team members. Adaptive agent integration architectures for heterogeneous team members, p. 301.Google Scholar
- Veloso, M., Stone, P., & Bowling, M. (1998). Anticipation: A Key for Collaboration in a Team of Agents. Anticipation: A Key for Collaboration in a Team of Agents, pp. 1--16.Google Scholar
Index Terms
- The PIM: an innovative robot coordination model based on Java thread migration
Recommendations
Transformation from CIM to PIM Using Patterns and Archetypes
ASWEC '08: Proceedings of the 19th Australian Conference on Software EngineeringModel transformations form a key part of MDA (Model-Driven Architecture). Most of the studies deal with the transformations from PIM (Platform-Independent Model) to PSM (Platform-Specific Model) and PSM to Code, but very few deal with the transformation ...
Disciplined Approach for Transformation CIM to PIM in MDA
MODELSWARD 2015: Proceedings of the 3rd International Conference on Model-Driven Engineering and Software DevelopmentThis paper suggested a disciplined approach to mastered transformation of CIM level to PIM level in accordance with the MDA approach. Our suggestion is founded on creating good CIM level through well-selected rules, allowing us to achieve rich models ...
Tool Support to Automate Transformations between CIM and PIM Levels
ENASE 2017: Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software EngineeringThe Model Driven Architecture is a specific variant of Model Driven Engineering that aims to separate different
areas of concerns. This architecture is defined by three levels of abstraction, i.e. Computation Independent
Model (CIM), Platform ...
Comments