Sciweavers

13536 search results - page 306 / 2708
» Performance and control of network systems
Sort
View
HYBRID
2003
Springer
15 years 12 months ago
Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
Ronojoy Ghosh, Ashish Tiwari, Claire Tomlin
AINA
2009
IEEE
15 years 12 months ago
An Analytical Performance Evaluation for WSNs Using Loop-Free Bellman Ford Protocol
—Although several analytical models have been proposed for wireless sensor networks (WSNs) with different capabilities, very few of them consider the effect of general service di...
Mohammad Baharloo, Reza Hajisheykhi, Mohammad Arjo...
WOWMOM
2006
ACM
158views Multimedia» more  WOWMOM 2006»
16 years 22 days ago
Resource Control for the EDCA Mechanism in Multi-Rate IEEE 802.11e Networks
We investigate the problem of efficient resource control for elastic traffic in IEEE 802.11e’s Enhanced Distributed Channel Access (EDCA) mechanism. Our approach considers an ...
Vasilios A. Siris, Costas Courcoubetis
ICRA
2003
IEEE
101views Robotics» more  ICRA 2003»
16 years 2 days ago
Modeling and control of a monopropellant-based pneumatic actuation system
This work describes the modeling and control of a proposed actuation system that is capable of pressurizing a chamber volume via the catalytic decomposition of a liquid monopropel...
Eric J. Barth, Michael A. Gogola, Michael Goldfarb
169
Voted
CDC
2010
IEEE
15 years 1 months ago
A Switching strategy for robust cooperative exploration
Abstract-- This paper develops a switching strategy for networked mobile sensing agents to automatically decide when to perform individual exploration and when to perform cooperati...
Wencen Wu, Fumin Zhang