Academia.eduAcademia.edu

Outline

Real-Time Support for Mobile Robotics

2005

https://doi.org/10.21236/ADA438794

Abstract

Coordinated behavior of mobile robots is an important emerging application area. Different coordinated behaviors can be achieved by assigning sets of control tasks, or strategies, to robots in a team. These control tasks must be scheduled either locally on the robot or distributed across the team. An application may have many control strategies to dynamically choose from, although some may not be feasible, given limited resource and time availability. Thus, dynamic feasibility checking becomes important as the coordination between robots and the tasks that need to be performed evolves with time. This paper presents an online algorithm for finding a feasible strategy given a functionally equivalent set of strategies for achieving an application's goals. We present two heuristics for feasibility checking. Both consider communication cost and utilization bound to make allocation (of tasks to execution sites) and scheduling decisions. Extensive experimental results show the effectiveness of the approaches, especially in resource-tight environments. We also demonstrate the application of our approach to real-world scenarios involving teams of robots and show how feasibility analysis also allows the prediction of the scalability of the solution to large robot teams.

References (28)

  1. T. F. Abdelzaher and K. G. Shin. Period-based load partitioning and assignment for large real-time applications. IEEE Transactions on Computers, 49(1):81-87, January 2000.
  2. B. Andersson, S. Baruah, and J. Jonsson. Static-priority scheduling on multiprocessors. In IEEE real-time systems symposium, pages 193-202, December 2001.
  3. K. R. Baker, E. L. Lawler, J. K. Lenstra, and A. H. G. R. Kan. Pre- emptive scheduling of a single machine to minimize maximum cost to release dates and precedence constraints. Operations Research, 31(2):381-386, March 1983.
  4. S. Baruah. Scheduling periodic tasks on uniform multiprocessors. Information Processing Letters, 80(2):97-104, 2001.
  5. S. K. Baruah, N. K. Cohen, C. G. Plaxton, and D. A. Varvel. Propor- tionate progress: A notion of fairness in resource allocation. Algo- rithmica, 15(2):600-625, June 1996.
  6. S. Funk, J. Goossens, and S. Baruah. On-line scheduling on uniform multiprocessors. In IEEE real-time systems symposium, pages 183- 192, December 2001.
  7. M. R. Garey and D. S. Johnson. Strong np-completeness results: Motivation, examples, and implications. JACM, 25(3):499-508, July 1978.
  8. M. R. Garey and D. S. Johnson. Computers And Intractability. W.H.Freeman And Company, New York, 1979.
  9. R. Gerber, S. Hong, and M. Saksena. Guaranteeing real-time require- ments with resource-based calibration of periodic processes. IEEE Transactions on Software Engineering, 21(7):579-592, July 1995.
  10. J. Goossens, S. Funk, and S. Baruah. Priority-driven scheduling of periodic task systems on multiprocessors. Real-Time Systems. Ac- cepted for publication.
  11. J. Goossens, S. Funk, and S. Baruah. Edf scheduling on multiproces- sor platforms: some(perhaps)counterintuitive observations. In Real- Time Computing Systems and Applications Symposium, March 2002.
  12. T. Kim, J. Lee, H. Shin, and N. Chang. Best case response time analysis for improved schedulability analysis of distributed real-time tasks. In Proceedings of ICDCS workshops on Distributed Real-Time systems, April 2000.
  13. H. Li, J. Sweeney, K. Ramamritham, and R. Grupen. Pre-analyzed resource and time provisioning in distributed real-time systems: An application to mobile robotics. In University of Massachusetts, Tech- nical Report, March 2003.
  14. C. L. Liu and J. W. Layland. Scheduling algorithms for multi- programming in a hard-real-time environment. ACM, 20(1):46-61, 1973.
  15. J. C. Palencia and M. G. Harbour. Schedulability analysis for tasks with static and dynamic offsets. In Proceedings of the 19th IEEE Real-Time Systems Symposium, December 1998.
  16. J. C. Palencia and M. G. Harbour. Exploiting preceding relations in the schedulability analysis of distributed real-time systems. In Pro- ceedings of the 20th IEEE Real-Time Systems Symposium, December 1999.
  17. D. Peng, K. G. Shin, and T. F. Abdelzaher. Assignment and schedul- ing communicating periodic tasks in distributed real-time systems. IEEE Transactions on Software Engineering, 23(12), December 1997.
  18. K. Ramamritham. Allocation and scheduling of precedence-related periodic tasks. IEEE Transactions on Parallel and Distributed Sys- tems, 6, November 1995.
  19. K. Ramamritham. Where do time constraints come from and where do they go? International Journal of Database Management, 7(2):4- 10, November 1996.
  20. M. Ryu and S. Hong. A period assignment algorithm for real-time system design. In Proceedings of 1999 Conference on Tools and Algorithms for the Construction and Analysis of System, 1999.
  21. M. Saksena. Real-time system design: A temporal perspective. In Proceedings of IEEE Canadian Conference on Electrical and Com- puter Engineering, pages 405-408, May 1998.
  22. M. Saksena and S. Hong. Resource conscious design of distributed real-time systems an end-to-end approach. In Proceedings of 1999 IEEE International Conference on Engineering of Complex Com- puter Systems, pages 306-313, October 1996.
  23. D. Seto, J. P. Lehoczky, and L. Sha. Task period selection and schedu- lability in real-time systems. In IEEE real-time systems symposium, pages 188-198, December 1998.
  24. D. Seto, J. P. Lehoczky, L. Sha, and K. G. Shin. On task schedula- bility in real-time control system. In IEEE real-time systems sympo- sium, pages 13-21, December 1996.
  25. L. Sha, R. Rajkumar, and S. S. Sathaye. Generalized rate monotonic scheduling theory: A framework for developing real-time systems. Proceedings of the IEEE, 82(1):68-82, January 1994.
  26. A. Srinivasan and S. K. Baruah. Deadline-based scheduling of peri- odic task systems on multiprocessors. Information Processing Let- ters. Accepted for publication.
  27. J. Sweeney, T. Brunette, Y. Yang, and R. Grupen. Coordinated teams of reactive mobile platforms. In Proceedings of the 2002 IEEE Con- ference on Robotics and Automation, Washington, D.C., May 2002.
  28. S. Wang and G. Farber. On the schedulability analysis for distributed real-time systems. In Joint IFAC-IFIP WRTP'99 & ARTDB-99, May 1999.