Distributed Algorithms for Cooperative Control

IEEE Pervasive Computing

Volumn 3, Issue 1, 2004, Pages 56-65

  Klavins, Eric ^a,c   Murray, Richard M ^b  

^a UNIVERSITY OF WASHINGTON   (United States)

^b CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^c University of Washington   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COOPERATIVE CONTROL SYSTEMS; DISTRIBUTED ALGORITHMS; DISTRIBUTED COMPUTATIONS; INTRAPROCESS COMMUNICATIONS;

AIR TRAFFIC CONTROL; ALGORITHMS; AUTONOMOUS AGENTS; BANDWIDTH; COMPUTER GRAPHICS; COMPUTER PROGRAMMING LANGUAGES; CONTROL SYSTEMS; CONTROL THEORY; ENCODING (SYMBOLS); MATHEMATICAL MODELS; PERTURBATION TECHNIQUES; ROBOTS; SOFTWARE ENGINEERING;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 2342635741     PISSN: 15361268     EISSN: None     Source Type: Journal    
DOI: 10.1109/MPRV.2004.1269132     Document Type: Review

References (12)

1. R. D'Andrea and R. Murray, "The RoboFlag Competition," Proc. Am. Controls Conf., 2003, pp. 650-655.
2. R. Alur et al., "Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems," Hybrid Systems I, LNCS 736, Springer-Verlag, 1993. pp. 209-229.
3. N. Lynch, Distributed Algorithms, Morgan Kaufmann, 1996.
4. N.A. Lynch et al., "Hybrid I/O Automata," Hybrid Systems III, LNCS 1066, Springer-Verlag, 1996, pp. 496-510.
5. L. Lamport, "The Temporal Logic of Actions," ACM Trans. Programming Languages and Systems, vol. 16, no. 3, May 1994. pp. 872-923.
6. Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems: Specification, Springer-Verlag, 1992.
7. L. Lamport, "An Old-Fashioned Recipe for Real Time," ACM Trans. Programming Languages and Systems, vol. 16, no. 5, 1994, pp. 1543-1571.
8. K.M. Chandy and J. Misra, Parallel Program Design: A Foundation, Addision-Wesley, 1988.
9. E. Klavins, "A Formal Model of a Multirobot Control and Communication Task," Proc. 42nd IEEE Conf. Decision and Control, IEEE Press, 2003.
10. E.W. Dijkstra, "Self-Stabilizing Systems in Spite of Distributed Control," Comm. ACM, vol. 17, no. 11, Nov. 1974, pp. 643-644.
11. E. Klavins, "Communication Complexity of Multirobot Systems," Algorithmic Foundations of Robotics V, Springer Tracts in Advanced Robotics, Springer-Verlag, Nov. 2003, pp. 275-292.
12. D. Del Vecchio and E. Klavins, "Observation of Hybrid Guarded Command Programs," Proc. 42nd IEEE Conf. Decision and Control, IEEE Press, 2003.