688 search results - page 22 / 138 » Computational Methods for Verification of Stochastic Hybrid ... |
AMC
2008
13 years 7 months ago
2008
This paper discusses the infinite horizon stochastic Nash games with state-dependent noise. After establishing the asymptotic structure along with the positive semidefiniteness for...
ICPR
2010
IEEE
14 years 2 months ago
2010
IEEE
—We describe a pipeline for structure-from-motion with mixed camera types, namely omnidirectional and perspective cameras. The steps of the pipeline can be summarized as calibrat...
NC
2010
13 years 6 months ago
2010
This paper presents two approaches based on metabolic and stochastic P systems, together with their associated analysis methods, for modelling biological systems and illustrates th...
CMSB
2010
Springer
13 years 2 months ago
2010
Springer
Boolean modeling frameworks have long since proved their worth for capturing and analyzing essential characteristics of complex systems. Hybrid approaches aim at exploiting the ad...
ICCS
2007
Springer
14 years 1 months ago
2007
Springer
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...