8190 search results - page 51 / 1638 » From Timed to Hybrid Systems |
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— This paper deals with throughput oriented Adaptive Modulation and Coding (AMC) techniques combined with cooperative protocols where terminals are constrained by half-duplex as...
LWA
2008
13 years 9 months ago
2008
In this paper we present the concept of hybrid personalization, the combination of multiple atomic personalization mechanisms. The idea of hybrid personalization is related to hyb...
ITP
2010
13 years 6 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
TCS
2002
13 years 7 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
INFORMATICALT
2006
13 years 7 months ago
2006
Abstract. Robust stability results for nominally linear hybrid systems are obtained from total stability theorems for purely continuous-time and discrete-time systems. The class of...