4693 search results - page 29 / 939 » Verifying Hybrid Systems |
118
Voted
HYBRID
1995
Springer
15 years 4 months ago
1995
Springer
107
Voted
HYBRID
1995
Springer
15 years 4 months ago
1995
Springer
Abstract. In this paper we investigate the decidability of the reachability problem for planar non-linear hybrid systems. A planar hybrid system has the property that its state spa...
115
click to vote
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Analysis of systems containing both discrete and continuous dynamics, hybrid systems, is a difficult issue. Most problems have been shown to be undecidable in general, and decidab...
92
Voted
CORR
2008
Springer
15 years 17 days ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
101
Voted
RTAS
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...