9 search results - page 1 / 2 » Automatic Verification of Hybrid Systems with Large Discrete... |
ATVA
2006
Springer
13 years 8 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
CAV
2007
Springer
13 years 8 months ago
2007
Springer
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
ECBS
2010
IEEE
13 years 9 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
HYBRID
2009
Springer
13 years 11 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 ...
RSP
2003
IEEE
13 years 9 months ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...