688 search results - page 6 / 138 » Computational Methods for Verification of Stochastic Hybrid ... |
ICPADS
2005
IEEE
14 years 1 months ago
2005
IEEE
Fingerprint verification is one of the most reliable personal identification methods in biometrics. In this paper, an effective fingerprint verification system is presented. We de...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— This paper addresses the computational overhead involved in probabilistic reachability computations for a general class of controlled stochastic hybrid systems. An approximate ...
HYBRID
2004
Springer
14 years 1 months ago
2004
Springer
We propose a model for Stochastic Hybrid Systems (SHSs) where transitions between discrete modes are triggered by stochastic events much like transitions between states of a contin...
CIE
2007
Springer
13 years 11 months ago
2007
Springer
Nonlinear dynamical and control systems are an important source of applications for theories of computation over the the real numbers, since these systems are usually to complicate...
WSC
2008
13 years 10 months ago
2008
Modeling and simulation of biochemical systems are important tasks because they can provide insights into complicated systems where traditional experimentation is expensive or imp...