A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Mixed Stochastic/Nonstochastic Systems

[1]  A. Benveniste,et al.  High-level primitives for recursive maximum likelihood estimation , 1996, IEEE Trans. Autom. Control..

[2]  Henrik Ejersbo Jensen.  Model Checking Probabilistic Real Time Systems , 1996 .

[3]  Bernhard Steffen,et al.  Reactive, Generative and Stratified Models of Probabilistic Processes , 1995, Inf. Comput..

[4]  Bengt Lennartson,et al.  Performance modeling of automated manufacturing systems , 1995, Autom..

[5]  Michèle Basseville,et al.  Detection of Abrupt Changes: Theory and Applications. , 1995 .

[6]  Wang Yi,et al.  Testing and Refinement for Nondeterministic and Probabilistic Processes , 1994, FTRTFT.

[7]  Albert Benveniste,et al.  A Calculus of Stochastic Systems : Specification, Simulation, and Hidden State Estimation , 1994 .

[8]  A. Benveniste,et al.  Hybrid systems: the SIGNAL approach , 1993, Proceedings of IEEE Systems Man and Cybernetics Conference - SMC.

[9]  Michèle Basseville,et al.  Detection of abrupt changes: theory and application , 1993 .

[10]  A. Benveniste.  Constructive probability and the SIGNalea language: building and handling random processes via programming , 1992, [1992] Proceedings of the 31st IEEE Conference on Decision and Control.

[11]  G. W. Hart,et al.  Nonintrusive appliance load monitoring , 1992, Proc. IEEE.

[12]  R. M. Oliver,et al.  Influence diagrams, belief nets and decision analysis , 1992 .

[13]  Brigitte Plateau,et al.  Stochastic Automata Network For Modeling Parallel Systems , 1991, IEEE Trans. Software Eng..

[14]  Thierry Gautier,et al.  Programming real-time applications with SIGNAL , 1991, Proc. IEEE.

[15]  Jean-Michel Fourneau,et al.  A Methodology for Solving Markov Models of Parallel Systems , 1991, J. Parallel Distributed Comput..

[16]  Kim Guldstrand Larsen,et al.  Specification and refinement of probabilistic processes , 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.

[17]  Rajeev Alur,et al.  Model-Checking for Probabilistic Real-Time Systems (Extended Abstract) , 1991, ICALP.

[18]  Ross D. Shachter,et al.  Fusion and Propagation with Multiple Observations in Belief Networks , 1991, Artif. Intell..

[19]  Rajeev Alur,et al.  Model-Checking for Probabilistic Real Time Systems , 1991 .

[20]  J. Fort,et al.  Stochastic Processes on a Lattice and Gibbs Measures , 1990 .

[21]  Bengt Jonsson,et al.  A calculus for communicating systems with time and probabilities , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[22]  L. N. Kanal,et al.  Uncertainty in Artificial Intelligence 5 , 1990 .

[23]  Bernhard Steffen,et al.  Reactive, generative, and stratified models of probabilistic processes , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.

[24]  P. Le Guernic,et al.  Hybrid dynamical systems theory and the Signal language , 1990 .

[25]  J. N. R. Jeffers,et al.  Graphical Models in Applied Multivariate Statistics. , 1990 .

[26]  Scott A. Smolka,et al.  Algebraic Reasoning for Probabilistic Concurrent Systems , 1990, Programming Concepts and Methods.

[27]  Anil K. Jain,et al.  Random field models in image analysis , 1989 .

[28]  Prakash P. Shenoy,et al.  Axioms for probability and belief-function proagation , 1990, UAI.

[29]  David J. Spiegelhalter,et al.  Local computations with probabilities on graphical structures and their application to expert systems , 1990 .

[30]  Judea Pearl,et al.  Fusion, Propagation, and Structuring in Belief Networks , 1986, Artif. Intell..

[31]  Micha Sharir,et al.  Probabilistic Propositional Temporal Logics , 1986, Inf. Control..

[32]  Donald Geman,et al.  Stochastic Relaxation, Gibbs Distributions, and the Bayesian Restoration of Images , 1984, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[33]  Michael K. Molloy.  Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.

[34]  J. Laurie Snell,et al.  Markov Random Fields and Their Applications , 1980 .

[35]  Frank Harary,et al.  Graph Theory , 2016 .

[36]  P. Meyer,et al.  Probabilités et potentiel , 1966 .