828 search results - page 56 / 166 » Modularity for Timed and Hybrid Systems |
151
click to vote
CORR
2004
Springer
15 years 5 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...
219
click to vote
ENTCS
2006
15 years 6 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...
174
click to vote
MOBILWARE
2010
ACM
15 years 3 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...
164
click to vote
HYBRID
2004
Springer
15 years 11 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...
168
click to vote
GECCO
2009
Springer
15 years 10 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...