74 search results - page 4 / 15 » Reachability Analysis of Nonlinear Systems Using Conservativ... |
HYBRID
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. Sincehybridembeddedsystemsarepervasiveandoftensafetycritical, guarantees about their correct performance are desirable. The hybrid systemsmodelcheckerHyTech providessuch ...
CMSB
2009
Springer
14 years 19 days ago
2009
Springer
Molecular noise, which arises from the randomness of the discrete events in the cell, significantly influences fundamental biological processes. Discrete-state continuous-time st...
SCALESPACE
2005
Springer
13 years 11 months ago
2005
Springer
Stabilised backward diffusion processes have shown their use for a number of image enhancement tasks. The goal of this paper is to show that they are also highly useful for designi...
PTS
2008
13 years 7 months ago
2008
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
MOC
2002
13 years 5 months ago
2002
Abstract. This paper investigates the behavior of numerical schemes for nonlinear conservation laws with source terms. We concentrate on two significant examples: relaxation approx...