4693 search results - page 12 / 939 » Verifying Hybrid Systems |
HYBRID
2004
Springer
15 years 5 months ago
2004
Springer
117
click to vote
RTCSA
1997
IEEE
15 years 4 months ago
1997
IEEE
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
HYBRID
1992
Springer
15 years 4 months ago
1992
Springer
This paper demonstrates how the extended duration calculus [4] can be used to support the approach to documentation of computer systems presented by in [1]. This approach uses the ...
133
click to vote
ADAEUROPE
2005
Springer
15 years 6 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...
101
click to vote
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...