31387 search results - page 366 / 6278 » Abstracts |
157
click to vote
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper, we demonstrate a novel hybrid control synthesis approach using an automotive suspension system. Discrete abstractions are used to approximate the continuou...
177
Voted
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Counterexample-guided abstraction refinement (CEGAR) has been en vogue for the automatic verification of very large systems in the past years. When trying to apply CEGAR to the ver...
164
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
This paper studies abstraction and refinement techniques in the setting of multi-valued model checking for the μ-calculus. Two dimensions of abstrace identified and studied: Abs...