A calculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systems
DOI10.1016/0304-3975(94)00295-1zbMATH Open0878.60091OpenAlexW2004601443MaRDI QIDQ1365673FDOQ1365673
Authors: Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic 
Publication date: 9 September 1997
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(94)00295-1
Recommendations
- State observation and diagnosis of discrete-event systems described by stochastic automata
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Mixed memory Markov models: Decomposing complex stochastic processes as mixtures of simpler ones
- Representation of Hybrid Systems by Means of Stochastic Automata
- scientific article; zbMATH DE number 4009443
automatic generation of diagnostic systemscalculus of stochastic systemsestimation of stochastic systemsmixed systems
Cites Work
- Title not available (Why is that?)
- Stochastic Relaxation, Gibbs Distributions, and the Bayesian Restoration of Images
- Detection of abrupt changes: theory and application
- Title not available (Why is that?)
- Upper and Lower Probabilities Induced by a Multivalued Mapping
- On covariance function tests used in system identification
- Title not available (Why is that?)
- Title not available (Why is that?)
- Parallel concepts in graph theory
- Markov random fields and their applications
- Fusion, propagation, and structuring in belief networks
- Title not available (Why is that?)
- Stochastic modelling of flexible manufacturing systems
- Probabilistic propositional temporal logics
- Fusion and propagation with multiple observations in belief networks
- Stochastic processes on a lattice and Gibbs measures. Transl. from the French by Bertram Eugene Schwarzbach
- Hybrid dynamical systems theory and the Signal language
- High-level primitives for recursive maximum likelihood estimation
Cited In (5)
- Bisimulation for probabilistic transition systems: A coalgebraic approach
- Probabilistic concurrent constraint programming
- Bisimulation for labelled Markov processes
- Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism
- Measure and probability for concurrency theorists
This page was built for publication: A calculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1365673)
