Distributed Algorithms for Cooperative Control

Authors:
Eric Klavins;Richard M. Murray
Affiliations:
University of Washington;California Institute of Technology
Venue:
IEEE Pervasive Computing
Year:
2004

Citing 0
Cited 6

A state-based language for sensor-actuator networks

ACM SIGBED Review - Special issue on the workshop on wireless sensor network architecture (April-2007)
Distributed Control over Networks Using Smoothing Techniques

ICANN '09 Proceedings of the 19th International Conference on Artificial Neural Networks: Part II
A compositional framework for programming stochastically interacting robots

International Journal of Robotics Research
t-UNITY – a formal framework for modeling and reasoning about timing constraints in real-time systems

IWDC'04 Proceedings of the 6th international conference on Distributed Computing
Reactive framework for resource aware distributed computing

ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
Discrete state estimators for systems on a lattice

Automatica (Journal of IFAC)

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.