27 search results - page 1 / 6 » Beyond HYTECH: Hybrid Systems Analysis Using Interval Numeri... |
HYBRID
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. Sincehybridembeddedsystemsarepervasiveandoftensafetycritical, guarantees about their correct performance are desirable. The hybrid systemsmodelcheckerHyTech providessuch ...
AUTOMATICA
2008
13 years 5 months ago
2008
This paper presents a new numerical algorithm based on interval analysis able to prove that a differentiable function f : A Rn Rn is injective. This algorithm also performs a par...
CAV
2010
Springer
13 years 2 months ago
2010
Springer
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
CDC
2010
IEEE
12 years 12 months ago
2010
IEEE
This paper presents a sum of squares (SOS) approach to the stability analysis of networked control systems (NCSs) incorporating time-varying delays and time-varying transmission in...
MOBILWARE
2010
ACM
13 years 2 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...