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

DOI10.1016/0304-3975(94)00295-1MaRDI QIDQ1365673zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

automatic generation of diagnostic systemscalculus of stochastic systemsestimation of stochastic systemsmixed systems

Mathematics Subject Classification ID

Special processes (60K99) Computer system organization (68M99)

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

Cites work

• scientific article; zbMATH DE number 4211299 (Why is no real title available?)
• scientific article; zbMATH DE number 176728 (Why is no real title available?)
• scientific article; zbMATH DE number 3560492 (Why is no real title available?)
• scientific article; zbMATH DE number 4121482 (Why is no real title available?)
• scientific article; zbMATH DE number 3271180 (Why is no real title available?)
• Detection of abrupt changes: theory and application
• Fusion and propagation with multiple observations in belief networks
• Fusion, propagation, and structuring in belief networks
• High-level primitives for recursive maximum likelihood estimation
• Hybrid dynamical systems theory and the Signal language
• Markov random fields and their applications
• On covariance function tests used in system identification
• Parallel concepts in graph theory
• Probabilistic propositional temporal logics
• Stochastic Relaxation, Gibbs Distributions, and the Bayesian Restoration of Images
• Stochastic modelling of flexible manufacturing systems
• Stochastic processes on a lattice and Gibbs measures. Transl. from the French by Bertram Eugene Schwarzbach
• Upper and Lower Probabilities Induced by a Multivalued Mapping

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)