66 search results - page 7 / 14 » Verifying safety properties using separation and heterogeneo... |
116
Voted
SAS
2005
Springer
15 years 7 months ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
115
click to vote
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
99
Voted
TVLSI
2008
15 years 1 months ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
103
click to vote
HYBRID
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper introduces Periodically Controlled Hybrid Automata (PCHA) for describing a class of hybrid control systems. In a PCHA, control actions occur roughly periodical...
107
Voted
FORMATS
2004
Springer
15 years 7 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...