828 search results - page 56 / 166 » Modularity for Timed and Hybrid Systems |
120
Voted
CORR
2004
Springer
15 years 3 months ago
2004
Springer
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
161
Voted
ENTCS
2006
15 years 3 months ago
2006
The hierarchy of Symbolic Transition Systems, introduced by Henzinger, Majumdar and Raskin, is an elegant classification tool for some families of infinite-state operational model...
141
click to vote
MOBILWARE
2010
ACM
15 years 1 months ago
2010
ACM
An OFDM system is very sensitive to orthogonality relation. For a mobile wireless system, it is impossible to avoid Doppler-induced inter carrier interference (ICI). Moreover, whil...
130
click to vote
HYBRID
2004
Springer
15 years 9 months ago
2004
Springer
Reaching a target while remaining in a given set for impulse dynamics can be characterized by a non deterministic controlled differential equation and a controlled instantaneous r...
133
Voted
GECCO
2009
Springer
15 years 8 months ago
2009
Springer
This paper introduces TestFul, a framework for testing stateful systems and focuses on object-oriented software. TestFul employs a hybrid multi-objective evolutionary algorithm, t...