A Calculus of Stochastic Systems for the Specification, Simulation, And Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems.

Albert Benveniste Bernard C. Levy Eric Fabre Paul Le Guernic A Calculus of Stochastic Systems for the Specification, Simulation, And Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems. 149-169 1994 conf/ftrtft/1994 FTRTFT db/conf/ftrtft/ftrtft1994.html#BenvenisteLFG94