The Community for Technology Leaders
Green Image
Issue No. 01 - January-March (2004 vol. 3)
ISSN: 1536-1268
pp: 56-65
Eric Klavins , University of Washington
Richard M. Murray , California Institute of Technology
ABSTRACT
<p>A combination of tools from control theory and distributed computation is required to naturally express what a cooperative control system is. Several formalisms exist that motivated the development of the Computation and Control Language. This article introduces modeling and verification in CCL, and an example cooperative tracking task illustrates the formalism?s main features.</p>
INDEX TERMS
cooperative control, distributed algorithms, verification, temporal logic
CITATION

R. M. Murray and E. Klavins, "Distributed Algorithms for Cooperative Control," in IEEE Pervasive Computing, vol. 3, no. , pp. 56-65, 2004.
doi:10.1109/MPRV.2004.1269132
87 ms
(Ver 3.3 (11022016))