828 search results - page 44 / 166 » Modularity for Timed and Hybrid Systems |
107
click to vote
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
Using additional store-checkpoinsts (SCPs) and compare-checkpoints (CCPs), we present an adaptive checkpointing for double modular redundancy (DMR) in this paper. The proposed app...
132
click to vote
HYBRID
2000
Springer
15 years 7 months ago
2000
Springer
In this paper, we formulate the problem of characterizing the stability of a piecewise affine (PWA) system as a verification problem. The basic idea is to take the whole Rn as the ...
102
Voted
RTSS
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper, we propose to implement hybrid operating systems based on two-level hardware interrupts. To separate real-time and non-real-time hardware interrupts by hardware, we...
118
Voted
HYBRID
1997
Springer
15 years 7 months ago
1997
Springer
We de ne robust timed automata, which are timed automata that accept all trajectories \robustly": if a robust timed automaton accepts a trajectory, then it must accept neighbo...
169
Voted
ADAEUROPE
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...