1146 search results - page 97 / 230 » Periodically Controlled Hybrid Systems |
152
click to vote
FROCOS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
137
click to vote
RTSS
1994
IEEE
15 years 10 months ago
1994
IEEE
In this paper we present four new on-line algorithms for servicing soft aperiodic requests in real-time systems, where a set of hard periodic lash is scheduled using the Earliest ...
177
click to vote
MAM
2008
15 years 6 months ago
2008
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...
160
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
156
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
A new method, namely the Parallel Two-Level Hybrid (PTH) method, is developed to solve tridiagonal systems on parallel computers. PTH is designed based on Parallel Diagonal Domina...