4693 search results - page 52 / 939 » Verifying Hybrid Systems |
SIGOPSE
2004
ACM
15 years 6 months ago
2004
ACM
This paper promotes accountability as a central design goal for dependable networked systems. We define three properties for accountable systems that extend beyond the basic secu...
94
Voted
HYBRID
2009
Springer
15 years 7 months ago
2009
Springer
In this paper, we present an automatable decompositional method for the computation of Lyapunov functions for hybrid systems with complex discrete state spaces. We use graph-based ...
JUCS
2006
15 years 15 days ago
2006
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
91
Voted
ATVA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
95
Voted
SAFECOMP
1998
Springer
15 years 4 months ago
1998
Springer
: This paper presents a process for the stepwise refinement of safety code assertions from identified system hazards. The code assertions are intended for use in system safety veri...