Sciweavers

3458 search results - page 214 / 692
» Abstracting Control
Sort
View
138
Voted
RP
2009
Springer
110views Control Systems» more  RP 2009»
15 years 10 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...
107
Voted
SSS
2009
Springer
127views Control Systems» more  SSS 2009»
15 years 10 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
111
Voted
SSS
2009
Springer
15 years 10 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
152
Voted
CDC
2008
IEEE
168views Control Systems» more  CDC 2008»
15 years 10 months 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
110
Voted
CDC
2008
IEEE
144views Control Systems» more  CDC 2008»
15 years 10 months 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