2366 search results - page 18 / 474 » Pfaffian Hybrid Systems |
135
click to vote
GLOBE
2011
Springer
13 years 11 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
13 years 11 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
15 years 3 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
13 years 11 months ago
2011
Springer
The article presents the experiments carried out as part of the
HYBRID
2004
Springer
15 years 5 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...