13717 search results - page 502 / 2744 » Control Systems |
167
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
We present an on-line crosslayer control technique to characterize and approximate optimal policies for wireless networks. Our approach combines network utility maximization and ad...
181
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
This article introduces results on the control of gene networks, in the context of piecewise-affine models. We propose an extension of this well-documented class of models, where ...
157
click to vote
IPL
2006
15 years 6 months ago
2006
In this paper, we propose a new proof method for strong normalization of calculi with control operators, and, by this method, we prove strong normalization of the system
214
click to vote
HYBRID
2010
Springer
15 years 8 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
160
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
When an organization decides on the level of flexibility in handling business process instances, it needs to impose this level in operational practice. The way of imposing a given ...