Sciweavers

2044 search results - page 73 / 409
» Collective Intelligence for Control of Distributed Dynamical...
Sort
View
TSP
2010
14 years 10 months ago
Distributed consensus with quantized data via sequence averaging
The problem of distributed average consensus with quantized data is considered in this correspondence. Conventional consensus algorithms suffer from divergence when quantization er...
Jun Fang, Hongbin Li
CDC
2009
IEEE
166views Control Systems» more  CDC 2009»
15 years 8 months ago
Idempotent method for dynamic games and complexity reduction in min-max expansions
— In recent years, idempotent methods (specifically, max-plus methods) have been developed for solution of nonlinear control problems. It was thought that idempotent linearity o...
William M. McEneaney
AAMAS
2008
Springer
15 years 3 months ago
DARE: a system for distributed abductive reasoning
Abductive reasoning is a well established field of Artificial Intelligence widely applied to different problem domains not least cognitive robotics and planning. It has been used ...
Jiefei Ma, Alessandra Russo, Krysia Broda, Keith C...
CONCUR
1998
Springer
15 years 7 months ago
Reasoning about Asynchronous Communication in Dynamically Evolving Object Structures
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
Frank S. de Boer
IWSOS
2007
Springer
15 years 9 months ago
Dynamic Ontology Mapping for Interacting Autonomous Systems
Abstract. With the emergence of mobile and ubiquitous computing environments, there is a requirement to enable collaborative applications between these environments. As many of the...
Steven Heeps, Joe Sventek, Naranker Dulay, Alberto...