2377 search results - page 20 / 476 » Hybrid Systems in TLA |
ICC
2011
IEEE
12 years 7 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
13 years 11 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 7 months ago
2011
Springer
The article presents the experiments carried out as part of the
HYBRID
2004
Springer
14 years 22 days 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...
HYBRID
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. One of the most important analysis problems of hybrid systems is the reachability problem. State of the art computational tools perform reachability computation for timed...