4693 search results - page 191 / 939 » Verifying Hybrid Systems |
188
click to vote
ANSS
2008
IEEE
15 years 12 months ago
2008
IEEE
Efficient job scheduling in grids is challenging due to the large number of distributed autonomous resources. In this paper we study various resource allocation policies in a 2-le...
137
click to vote
HYBRID
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The majority of research in control engineering considers periodic or time-triggered control systems with equidistant sample intervals. However, practical cases abound in...
142
click to vote
HYBRID
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper derives an optimization-based control methodology for networks of switched and hybrid systems in which each mode is governed by a partial differential equatio...
123
click to vote
ICASSP
2008
IEEE
15 years 12 months ago
2008
IEEE
Analysis and design of ltered-x adaptive algorithms are conventionally done by assuming that the transfer function in the secondary path is a discrete-time system. However, in rea...
151
click to vote
RTSS
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper we present an approach for QoS management that can be applied to a general class of real-time distributed computation systems. In the proposed approach a switching h...