5 search results - page 1 / 1 » A Decompositional Proof Scheme for Automated Convergence Pro... |
ATVA
2009
Springer
13 years 11 months ago
2009
Springer
In this paper, we describe a decompositional approach to convergence proofs for stochastic hybrid systems given as probabilistic hybrid automata. We focus on a concept called “st...
CDC
2009
IEEE
13 years 7 months ago
2009
IEEE
Abstract— For stochastic hybrid systems, stochastic reachability is very little supported mainly because of complexity and difficulty of the associated mathematical problems. In...
CADE
2008
Springer
14 years 4 months ago
2008
Springer
We present a novel proof of Toyama's famous modularity of confluence result for term rewriting systems. Apart from being short and intuitive, the proof is modular itself in th...
CDC
2009
IEEE
13 years 5 months ago
2009
IEEE
A feedback scheme for preparation of photon number states in a microwave cavity is proposed. Quantum Non Demolition (QND) measurement of the cavity field provides information on it...
SIAMSC
2008
13 years 4 months ago
2008
In infrared astronomy, an observed image from a chop and nod process can be considered as the result of passing the original image through a highpass filter. Here we propose a rest...