14190 search results - page 44 / 2838 » Abstractions for hybrid systems |
123
click to vote
CAV
1997
Springer
15 years 4 months ago
1997
Springer
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
101
click to vote
GLOBECOM
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract-- In this paper, we propose an evolutionary gametheoretic framework for hybrid additive white Gaussian noise multiple access channels. We consider a communication system c...
DATE
2006
IEEE
15 years 5 months ago
2006
IEEE
It is anticipated that self assembled ultra-dense nanomemories will be more susceptible to manufacturing defects and transient faults than conventional CMOS-based memories, thus t...
HYBRID
2010
Springer
15 years 6 months ago
2010
Springer
In this talk I present my own perspective on the beginning (I refer mostly to the period 1988-1998) of hybrid systems research at the computer science side, focusing on the contri...
FORMATS
2006
Springer
15 years 3 months ago
2006
Springer
Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that s...