Modeling distributed autonomous robots using CHARON: Formation control case study

Proceedings - 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2003

Volumn , Issue , 2003, Pages 93-96

  Hur, Y ^a   Fierro, R ^b   Lee, I ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b OKLAHOMA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; EMBEDDED SYSTEMS; HYBRID SYSTEMS; MODELING LANGUAGES; SPECIFICATION LANGUAGES;

ASSERTION-CHECKING; COOPERATIVE LOCALIZATION; DISTRIBUTED AUTONOMOUS ROBOTS; FORMATION CONTROL; MODEL AND ANALYSIS; PAPER FORMATION; SEARCH AND RESCUE; UNKNOWN ENVIRONMENTS;

ROBOTS;

EID: 33646536526     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISORC.2003.1199240     Document Type: Conference Paper

References (5)

1. R. Alur, T. Dang, J. M. Esposito, Y. Hur, F. Ivancic, V. Kumar, I. Lee, P. Mishra, G. J. Pappas, and O. Sokolsky. Hierarchical modeling and analysis of embedded systems. Proceedings of the IEEE, 91(1):11-28, Jan. 2003.
2. R. Alur, R. Grosu, Y. Hur, V. Kumar, and I. Lee. Modular specifications of hybrid systems in CHARON. In N. A. Lynch and B. H. Krogh, editors, Hybrid Systems: Computation and Control, LNCS 1790, pages 6-19. Springer, 2000.
3. A. K. Das, R. Fierro, V. Kumar, J. P. Ostrowski, J. Spletzer, and C. J. Taylor. A vision-based formation control framework. IEEE Transactions on Robotics and Automation, 18(5):813-825, Oct. 2002.
4. J. Desai, J. P. Ostrowski, and V. Kumar. Controlling formations of multiple mobile robots. In International Conference on Robotics and Automation, pages 2864-2869, May 1998.
5. R. Fierro, P. Song, A. K. Das, and V. Kumar. Cooperative control of robot formations. In R. Murphy and P. Pardalos, editors, Cooperative Control and Optimization, Applied Optimization vol. 66, pages 73-93. Kluwer Academic Press, 2002.