Sciweavers

Share
9 search results - page 1 / 2
» Automatic Verification of Hybrid Systems with Large Discrete...
Sort
View
ATVA
2006
Springer
191views Hardware» more  ATVA 2006»
11 years 2 months ago
Automatic Verification of Hybrid Systems with Large Discrete State Space
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...
Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang,...
CAV
2007
Springer
145views Hardware» more  CAV 2007»
11 years 2 months ago
Hybrid Systems: From Verification to Falsification
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...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
11 years 2 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
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...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
HYBRID
2009
Springer
11 years 5 months ago
Decompositional Construction of Lyapunov Functions for Hybrid Systems
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 ...
Jens Oehlerking, Oliver E. Theel
RSP
2003
IEEE
117views Control Systems» more  RSP 2003»
11 years 3 months ago
Prototype-Based Tests for Hybrid Reactive Systems
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...
Gabor Hahn, Jan Philipps, Alexander Pretschner, Th...
books