2366 search results - page 18 / 474 » Pfaffian Hybrid Systems |
GLOBE
2011
Springer
12 years 9 months ago
2011
Springer
Abstract. Distributed or peer-to-peer storage solutions rely on the introduction of redundant data to be fault-tolerant and to achieve high reliability. One way to introduce redund...
ICC
2011
IEEE
12 years 9 months ago
2011
IEEE
—In order to reduce the long runtimes required to simulate hybrid automatic repeat-request (ARQ) systems, such as high-speed downlink packet access (HSDPA), we propose an informa...
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
A notion of diagnosability for hybrid systems is defined, which generalizes the notion of observability. We verify bility properties on a timed automaton abstraction of the origina...
CLEF
2011
Springer
12 years 9 months ago
2011
Springer
The article presents the experiments carried out as part of the
HYBRID
2004
Springer
14 years 3 months ago
2004
Springer
This paper is driven by a general motto: bisimulate a hybrid system by a finite symbolic dynamical system. In the case of o-minimal hybrid systems, the continuous and discrete com...