Sciweavers

2940 search results - page 271 / 588
» Relational Parametricity and Control
Sort
View
CDC
2010
IEEE
112views Control Systems» more  CDC 2010»
15 years 1 months ago
An overview of recent results on the identification of sparse channels using random probes
In this paper, we collect and discuss some of the recent theoretical results on channel identification using a random probe sequence. These results are part of the body of work kno...
Justin Romberg
CDC
2010
IEEE
114views Control Systems» more  CDC 2010»
15 years 1 months ago
Modeling and evaluation of decision-making dynamics in sequential two-alternative forced choice tasks
The focus of the work in this paper is the evaluation of a model of human decision making relative to experimental data. In sequential two-alternative forced choice decision tasks,...
Caleb Woodruff, Kristi A. Morgansen, Linh Vu, Damo...
CDC
2010
IEEE
150views Control Systems» more  CDC 2010»
15 years 1 months ago
An adjoint method for second-order switching time optimization
Abstract-- Switched systems evolve over a sequence of continuous modes of operation, transitioning between modes in a discrete manner. Assuming a mode sequence is known, the evolut...
Timothy M. Caldwell, Todd D. Murphey
EOR
2011
124views more  EOR 2011»
15 years 1 months ago
Analysis of order-up-to-level inventory systems with compound Poisson demand
: We analyse a single echelon single item inventory system where the demand and the lead time are stochastic. Demand is modelled as a compound Poisson process and the stock is cont...
M. Zied Babai, Zied Jemaï, Yves Dallery
SIGMETRICS
2011
ACM
189views Hardware» more  SIGMETRICS 2011»
14 years 9 months ago
TCP behavior in sub packet regimes
Many network links in developing regions operate in the subpacket regime, an environment where the typical per-flow throughput is less than 1 packet per round-trip time. TCP and ...
Jay Chen, Janardhan R. Iyengar, Lakshminarayanan S...