A calculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systems

This publication has 24 references indexed in Scilit:

• Testing and refinement for nondeterministic and probabilistic processes
  Published by Springer Nature ,1994
• A methodology for solving markov models of parallel systems
  Journal of Parallel and Distributed Computing, 1991
• Fusion and propagation with multiple observations in belief networks
  Artificial Intelligence, 1991
• Stochastic automata network of modeling parallel systems
  IEEE Transactions on Software Engineering, 1991
• Model-checking for probabilistic real-time systems
  Published by Springer Nature ,1991
• Hybrid dynamical systems theory and the Signal language
  IEEE Transactions on Automatic Control, 1990
• Random field models in image analysis
  Journal of Applied Statistics, 1989
• Fusion, propagation, and structuring in belief networks
  Artificial Intelligence, 1986
• Probabilistic propositional temporal logics
  Information and Control, 1986
• Upper and Lower Probabilities Induced by a Multivalued Mapping
  The Annals of Mathematical Statistics, 1967