A language for modeling and programming cooperative control systems

Proceedings - IEEE International Conference on Robotics and Automation

Volumn 2004, Issue 4, 2004, Pages 3403-3410

  Klavins, Eric ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMMUNICATION; COMPUTATIONAL METHODS; COMPUTER SIMULATION; CONTROL SYSTEMS; SEMANTICS; SYNCHRONIZATION; THEOREM PROVING;

ACTUAL ROBOTS; COOPERATIVE CONTROL SYSTEMS; MULTI-ROBOTS; SYNTAXES;

ROBOTS;

EID: 3042649845     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/robot.2004.1308780     Document Type: Conference Paper

References (16)

1. The CCLi web page, http://sveiks.ee.washington.edu/ccl/.
2. The GNOME developmers site, http://developer.gnome.org/.
3. Isabelle: A generic theorem prover. LNCS 828. Springer-Verlag, 1994.
4. R. Alur, R. Grosu, Y. Hur, V. Kumar, and I. Lee. Modular specifications of hybrid systems in CHARON. In Hybrid Systems: Computation and Control, LNCS 1790, pages 6-19, Pittsburgh, PA, 2000. Springer-Verlag.
5. G. Berry and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87-152, 1992.
6. K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addision-Wesley, 1988.
7. T. Chung, L. Cremean, W. Dunbar, Z. Jin, E. Klavins, D. Moore, A. Tiwari, D. van Gogh, and S. Waydo. A platform for cooperative and coordinated control of multiple vehicles: The Caltech multi-vehicle wireless testbed. In Proceedings of the Conference on Cooperative Control and Optimization. Kluwer, 2002.
8. D. P. Friedman, M. Wand, and C. T. Haynes. Essentials of Programming Languages. MIT Press, 1992.
9. A. Jadbabaie, J. Lin, and A. S. Morse. Coordination of groups of mobile autonomous agents using nearest neighbor rules. IEEE Transactions on Automatic Control, 2002. To appear.
10. E. Klavins. A formal model of a multi-robot control and communication task. In 42nd IEEE Conference on Decision and Control, Maui, HI, December 2003.
11. L. Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872-923, May 1994.
12. N. Lynch. Distributed Algorithms. Morgan Kaufmann, 1996.
13. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, 1992.
14. J. C. Mitchell. Type systems for programming languages. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science: Formal Methods and Semantics, volume B, pages 365-458. Elsevier, 1990.
15. I. Pembeci and G. D. Hagar. A comparative review of robot programming languages. Technical report, CIRL, Johns Hopkins University, 2002. http://www.cs.jhu.edu/CIRL/publications/.
16. R. T. Udink and J. N. Kok. Impunity: UNITY with procedures and local variables. In Mathematics of Program Construction, pages 452-472, 1995.