Sciweavers

3458 search results - page 214 / 692
» Abstracting Control
Sort
View
RP
2009
Springer
110views Control Systems» more  RP 2009»
16 years 1 months ago
Formalisms for Specifying Markovian Population Models
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...
Thomas A. Henzinger, Barbara Jobstmann, Verena Wol...
SSS
2009
Springer
127views Control Systems» more  SSS 2009»
16 years 1 months ago
Robustness and Dependability of Self-Organizing Systems - A Safety Engineering Perspective
Abstract. This paper analyses the robustness of self-organizing (engineered) systems to perturbations (faults or environmental changes). It considers that a self-organizing system ...
Giovanna Di Marzo Serugendo
SSS
2009
Springer
16 years 1 months ago
Stability of Distributed Algorithms in the Face of Incessant Faults
Abstract. For large distributed systems built from inexpensive components, one expects to see incessant failures. This paper proposes two models for such faults and analyzes two we...
Robert E. Lee DeVille, Sayan Mitra
CDC
2008
IEEE
168views Control Systems» more  CDC 2008»
16 years 29 days ago
An information-driven framework for motion planning in robotic sensor networks: Complexity and experiments
Abstract— A geometric optimization based approach to deploy a mobile sensor network for the purpose of detecting and capturing mobile targets in the plane is presented in [1]. Th...
Rafael Fierro, Silvia Ferrari, Chenghui Cai
CDC
2008
IEEE
144views Control Systems» more  CDC 2008»
16 years 29 days ago
Decentralized predictive sensor allocation
Abstract— We present a method of dynamic coalition formation (DCF) in sensor networks to achieve well-informed sensor-target allocations. Forecasts of target movements are incorp...
Mark Ebden, Mark Briers, Stephen Roberts