loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Distributed Algorithms for Cooperative Control
January-March 2004 (vol. 3 no. 1)
pp. 56-65
ASCII Text
x 
 
Eric Klavins, Richard M. Murray, "Distributed Algorithms for Cooperative Control," IEEE Pervasive Computing, vol. 3, no. 1, pp. 56-65, January-March, 2004.
 
 
BibTex
x
 
@article{ 10.1109/MPRV.2004.1269132,
author = {Eric Klavins and Richard M. Murray},
title = {Distributed Algorithms for Cooperative Control},
journal ={IEEE Pervasive Computing},
volume = {3},
number = {1},
issn = {1536-1268},
year = {2004},
pages = {56-65},
doi = {http://doi.ieeecomputersociety.org/10.1109/MPRV.2004.1269132},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - IEEE Pervasive Computing
TI - Distributed Algorithms for Cooperative Control
IS - 1
SN - 1536-1268
SP56
EP65
EPD - 56-65
A1 - Eric Klavins,
A1 - Richard M. Murray,
PY - 2004
KW - cooperative control
KW - distributed algorithms
KW - verification
KW - temporal logic
VL - 3
JA - IEEE Pervasive Computing
ER -
 
Eric Klavins, University of Washington
Richard M. Murray, California Institute of Technology

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.

Index Terms:
cooperative control, distributed algorithms, verification, temporal logic
Citation:
Eric Klavins, Richard M. Murray, "Distributed Algorithms for Cooperative Control," IEEE Pervasive Computing, vol. 3, no. 1, pp. 56-65, Jan.-Mar. 2004, doi:10.1109/MPRV.2004.1269132
Usage of this product signifies your acceptance of the Terms of Use.