3823 search results - page 196 / 765 » Stability of Hybrid Systems |
164
click to vote
HYBRID
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
156
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
184
click to vote
ICPADS
2006
IEEE
16 years 16 days ago
2006
IEEE
—Recently, high-end reconfigurable computing systems that employ Field-Programmable Gate Arrays (FPGAs) as hardware accelerators for general-purpose processors have been built. T...
155
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
This paper studies a general dynamic buffer management problem with one buffer inserted between two interacting components. The component to be controlled is assumed to have multi...
156
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...