14190 search results - page 47 / 2838 » Abstractions for hybrid systems |
CAV
2003
Springer
15 years 5 months ago
2003
Springer
CORR
2008
Springer
14 years 12 months ago
2008
Springer
FASE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this paper, we present an automata-theoretic approach to Hardware/Software (HW/SW) co-verification. We designed a co-specification framework describing HW/SW systems; ...
VTC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract— Channel estimation (CE) plays an important role in determining the achievable performance of coherently detected communications systems. In this paper, the impact of im...
HYBRID
2007
Springer
15 years 3 months ago
2007
Springer
We present a new algorithm for the reachability analysis of multi-affine hybrid systems. In our previous work on reachability analysis and that of our collaborators [1