Sciweavers

2940 search results - page 260 / 588
» Relational Parametricity and Control
Sort
View
WOWMOM
2009
ACM
143views Multimedia» more  WOWMOM 2009»
16 years 1 months ago
Enhanced Ripple (E-Ripple) protocol for chain-based multihop wireless networks
It has been shown that IEEE 802.11 DCF medium access control (MAC) protocol may not be suitable for multihop wireless networks due to its relatively low throughput and severely un...
Quang Vu Nguyen, Ray-Guang Cheng
CDC
2008
IEEE
161views Control Systems» more  CDC 2008»
16 years 1 months ago
Distributed policies for equitable partitioning: Theory and applications
Abstract— The most widely applied resource allocation strategy is to balance, or equalize, the total workload assigned to each resource. In mobile multi-agent systems, this princ...
Marco Pavone, Emilio Frazzoli, Francesco Bullo
CDC
2008
IEEE
167views Control Systems» more  CDC 2008»
16 years 1 months ago
On the approximate domain optimization of deterministic and expected value criteria
— We define the concept of approximate domain optimizer for deterministic and expected value optimization criteria. Roughly speaking, a candidate optimizer is an approximate dom...
Andrea Lecchini-Visintini, John Lygeros, Jan M. Ma...
CDC
2008
IEEE
116views Control Systems» more  CDC 2008»
16 years 1 months ago
Stability of Zeno equilibria in Lagrangian hybrid systems
— This paper presents both necessary and sufficient conditions for the stability of Zeno equilibria in Lagrangian hybrid systems, i.e., hybrid systems that model mechanical syst...
Yizhar Or, Aaron D. Ames
ICRA
2008
IEEE
151views Robotics» more  ICRA 2008»
16 years 1 months ago
Landing a UAV on a runway using image registration
— In this paper we present a system that uses only vision to land a UAV on a runway. We describe a method for estimating the relative location of the runway as an image by perfor...
Andrew Miller, Mubarak Shah, Don Harper