2940 search results - page 110 / 588 » Relational Parametricity and Control |
122
click to vote
IDMS
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents an architecture for QoS-aware middleware platforms. We present a general framework for control, and specialise this framework for QoS provisioning in the middle...
128
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— A predictive outage compensator co-located with the actuator node in a networked control system can be used to counteract unpredictable losses of data in the feedback control l...
174
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
The Internet is changing from being only an efficient platform for data delivery to become also a platform for audio/video applications. The stability of the traditional Internet i...
ROBOCUP
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, the problem of determining if a population of mobile robots is able to travel from an initial con guration to a target con guration is addressed. This problem is rel...
136
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we describe a flexible and efficient new algorithm for model order reduction of parameterized systems. The method is based on the reformulation of the parametric s...