{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:25:57Z","timestamp":1726406757441},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540604723"},{"type":"electronic","value":"9783540475194"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60472-3_2","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T20:40:35Z","timestamp":1330288835000},"page":"21-44","source":"Crossref","is-referenced-by-count":0,"title":["A Calculus of Stochastic Systems for the specification, simulation, and hidden state estimation of hybrid stochastic\/non-stochastic systems"],"prefix":"10.1007","author":[{"given":"Albert","family":"Benveniste","sequence":"first","affiliation":[]},{"given":"Bernard C.","family":"Levy","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Fabre","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Guernic","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"2_CR1","volume-title":"Tech. Rep. 2465","author":"A. Benveniste","year":"1995","unstructured":"A. Benveniste, B. Levy, E. Fabre, and P. L. Guernic, \u201cA calculus of stochastic systems: specification, simulation, and hidden state estimation,\u201d Tech. Rep. 2465, INRIA, Rocquencourt, France, January 1995."},{"key":"2_CR2","volume-title":"Performance Modeling of Automated Manufacturing Systems","author":"N. Viswanadham","year":"1992","unstructured":"N. Viswanadham and Y. Narahari, Performance Modeling of Automated Manufacturing Systems. Englewood Cliffs, NJ: Prentice Hall, 1992."},{"key":"2_CR3","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1109\/MASSP.1986.1165342","volume":"3","author":"L. R. Rabiner","year":"1986","unstructured":"L. R. Rabiner and B. H. Juang, \u201cAn introduction to hidden Markov models,\u201d IEEE ASSP Magazine, vol. 3, pp. 4\u201316, Jan. 1986.","journal-title":"IEEE ASSP Magazine"},{"key":"2_CR4","doi-asserted-by":"crossref","first-page":"721","DOI":"10.1109\/TPAMI.1984.4767596","volume":"6","author":"S. Geman","year":"1984","unstructured":"S. Geman and D. Geman, \u201cStochastic relaxation, Gibbs distribution, and the Bayesian restoration of images,\u201d IEEE Trans. on Pattern Analysis and Machine Intelligence, vol. 6, pp. 721\u2013741, Nov. 1984.","journal-title":"IEEE Trans. on Pattern Analysis and Machine Intelligence"},{"key":"2_CR5","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1080\/02664768900000014","volume":"12","author":"R. C. Dubes","year":"1989","unstructured":"R. C. Dubes and A. K. Jain, \u201cRandom field models in image analysis,\u201d J. Applied Stat., vol. 12, pp. 131\u2013164, 1989.","journal-title":"J. Applied Stat."},{"key":"2_CR6","doi-asserted-by":"crossref","first-page":"1870","DOI":"10.1109\/5.192069","volume":"80","author":"G. W. Hart","year":"1992","unstructured":"G. W. Hart, \u201cNonintrusive applicance load monitoring,\u201d Proc. IEEE, vol. 80, pp. 1870\u20131891, Dec. 1992.","journal-title":"Proc. IEEE"},{"key":"2_CR7","volume-title":"Detection of Abrupt Changes: Theory and Applications","author":"M. Basseville","year":"1993","unstructured":"M. Basseville and I. V. Nikiforov, Detection of Abrupt Changes: Theory and Applications. Englewood Cliffs, NJ: Prentice Hall, 1993."},{"key":"2_CR8","volume-title":"System Identification","author":"T. Soderstrom","year":"1989","unstructured":"T. Soderstrom and P. Stoica, System Identification. Englewood Cliffs, NJ: Prentice Hall, 1989."},{"key":"2_CR9","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"31","author":"M. Molloy","year":"1982","unstructured":"M. Molloy, \u201cPerformance analysis using stochastic Petri nets,\u201d IEEE Trans. Computers, vol. 31, pp. 913\u2013917, Sep. 1982.","journal-title":"IEEE Trans. Computers"},{"key":"2_CR10","doi-asserted-by":"crossref","first-page":"1093","DOI":"10.1109\/32.99196","volume":"17","author":"B. Plateau","year":"1991","unstructured":"B. Plateau and K. Atif, \u201cStochastic automata network for modeling parallel systems,\u201d IEEE Trans. on Software Engineering, vol. 17, pp. 1093\u20131108, Oct. 1991.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"2_CR11","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1016\/0743-7315(91)90007-V","volume":"12","author":"B. Plateau","year":"1991","unstructured":"B. Plateau and J. Fourneau, \u201cA methodology for solving Markov models of parallel systems,\u201d J. Parallel and Distributed Comput., vol. 12, pp. 370\u2013387, 1991.","journal-title":"J. Parallel and Distributed Comput."},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"R. van Glabbeek, S. A. Smolka, B. Steffen, and C. Tofts, \u201cReactive, generative, and stratified models of probabilistic processes,\u201d in Proc. 5th IEEE Int. Symp. on Logic in Computer Science, (Philadelphia,PA), pp. 130\u2013141, June 1990.","DOI":"10.1109\/LICS.1990.113740"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"H. Hansson and B. Jonsson, \u201cA calculus for communicating systems with time and probabilities,\u201d in Proc. of the 11th IEEE Real-Time Systems Symposium, (Los Alamitos), pp. 278\u2013287, Dec. 1990.","DOI":"10.1109\/REAL.1990.128759"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"B. Jonsson and K. Larsen, \u201cSpecification and refinement of probabilistic processes,\u201d in Proc. 6th IEEE Int. Symp. on Logic in Computer Science, (Amsterdam), pp. 266\u2013277, July 1991.","DOI":"10.1109\/LICS.1991.151651"},{"key":"2_CR15","unstructured":"A. Giacalone, C. Jou, and S. Smolka, \u201cAlgebraic reasoning for probabilistic concurrent systems,\u201d in Proc. IFIP TC2 Working Conference on Programming Concepts and Methods, (), p., 1989."},{"key":"2_CR16","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/S0019-9958(86)80001-8","volume":"70","author":"S. Hart","year":"1986","unstructured":"S. Hart and M. Sharir, \u201cProbabilistic propositional temporal logic,\u201d Information and Control, vol. 70, pp. 97\u2013155, 1986.","journal-title":"Information and Control"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, and D. Dill, \u201cModel checking for probabilistic real-time systems,\u201d in Proc. 18th Int. Coll. on Automata Languages and Programming (ICALP), (), p., 1991.","DOI":"10.1007\/3-540-54233-7_128"},{"key":"2_CR18","volume-title":"Tech. Rep. 1532","author":"A. Benveniste","year":"1991","unstructured":"A. Benveniste, \u201cConstructive probability and the Signalea language: building and handling random processes with programming,\u201d Tech. Rep. 1532, Institut National de Recherche en Informatique et Automatique, Rocquencourt, France, Oct. 1991."},{"key":"2_CR19","volume-title":"Tech. Rep. 767","author":"B. C. Levy","year":"1993","unstructured":"B. C. Levy, A. Benveniste, and R. Nikoukhah, \u201cHigh-level primitives for recursive maximum likelihood estimation,\u201d Tech. Rep. 767, IRISA, Rennes, France, Oct. 1993."},{"key":"2_CR20","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1109\/PROC.1973.9030","volume":"61","author":"G. D. Forney","year":"1973","unstructured":"G. D. Forney, \u201cThe Viterbi algorithm,\u201d Proc. IEEE, vol. 61, pp. 268\u2013278, March 1973.","journal-title":"Proc. IEEE"},{"key":"2_CR21","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1214\/aoms\/1177698950","volume":"38","author":"A. P. Dempster","year":"1967","unstructured":"A. P. Dempster, \u201cUpper and lower probabilities induced by a multivalued mapping,\u201d Annals Math. Statistics, vol. 38, pp. 325\u2013339, 1967.","journal-title":"Annals Math. Statistics"},{"key":"2_CR22","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1111\/j.2517-6161.1968.tb00722.x","volume":"30","author":"A. P. Dempster","year":"1968","unstructured":"A. P. Dempster, \u201cA generalization of Bayesian inference (with discussion),\u201d Royal Stat. Soc., Series B, vol. 30, pp. 205\u2013247, 1968.","journal-title":"Royal Stat. Soc., Series B"},{"key":"2_CR23","doi-asserted-by":"crossref","DOI":"10.1515\/9780691214696","volume-title":"A Mathematical Theory of Evidence","author":"G. Shafer","year":"1976","unstructured":"G. Shafer, A Mathematical Theory of Evidence. Princeton, NJ: Princeton Univ. Press, 1976."},{"key":"2_CR24","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/B978-0-444-88650-7.50019-6","volume-title":"Uncertainty in Artificial Intelligence","author":"P. P. Shenoi","year":"1990","unstructured":"P. P. Shenoi and G. Shafer, \u201cAxioms for probability and belief function propagation,\u201d in Uncertainty in Artificial Intelligence, (R. D. Shachter, T. S. Levitt, L. N. Kanal, and J. F. Lemmer, eds.), pp. 169\u2013198, Amsterdam: North-Holland, 1990."},{"key":"2_CR25","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/0004-3702(86)90072-X","volume":"29","author":"J. Pearl","year":"1986","unstructured":"J. Pearl, \u201cFusion, propagation, and structuring in belief networks,\u201d Artificial Intelligence, vol. 29, pp. 241\u2013288, Sep. 1986.","journal-title":"Artificial Intelligence"},{"key":"2_CR26","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/0004-3702(91)90030-N","volume":"48","author":"M. A. Peot","year":"1991","unstructured":"M. A. Peot and R. D. Shachter, \u201cFusion and propagation with multiple observations in belief networks,\u201d Artificial Intelligence, vol. 48, pp. 299\u2013318, 1991.","journal-title":"Artificial Intelligence"},{"key":"2_CR27","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1111\/j.2517-6161.1988.tb01721.x","volume":"50","author":"S. L. Lauritzen","year":"1988","unstructured":"S. L. Lauritzen and D. J. Spiegelhalter, \u201cLocal computations with probabilities on graphical structures and their application to expert systems (with discussion),\u201d J. Royal Stat. Soc., Series B, vol. 50, pp. 157\u2013224, 1988.","journal-title":"J. Royal Stat. Soc., Series B"},{"key":"2_CR28","first-page":"418","volume-title":"Lecture Notes in Computer Science","author":"B. Jonsson","year":"1994","unstructured":"B. Jonsson, C. Ho-Stuart, and Y. Wang, \u201cTesting and refinement for nondeterministic and probabilistic processes,\u201d in Lecture Notes in Computer Science, pp. 418\u2013430, Berlin: Springer Verlag, 1994."},{"key":"2_CR29","doi-asserted-by":"crossref","DOI":"10.1090\/conm\/001","volume-title":"Markov Random Fields and their Applications","author":"R. Kindermann","year":"1980","unstructured":"R. Kindermann and J. L. Snell, Markov Random Fields and their Applications. Providence, RI: American Mathematical Society, 1980."},{"key":"2_CR30","volume-title":"Mod\u00e8les Statistiques pour l'Intelligence Artificielle","author":"C. Robert","year":"1991","unstructured":"C. Robert, Mod\u00e8les Statistiques pour l'Intelligence Artificielle. Paris: Masson, 1991."},{"key":"2_CR31","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-3268-8","volume-title":"Stochastic Processes on a Lattice and Gibbs Measure","author":"B. Prum","year":"1991","unstructured":"B. Prum and J. Fort, Stochastic Processes on a Lattice and Gibbs Measure. Boston, MA: Kluwer Acad. Publ., 1991."},{"key":"2_CR32","volume-title":"Probabilit\u00e9s et Potentiels","author":"C. Dellacherie","year":"1976","unstructured":"C. Dellacherie and P. Meyer, Probabilit\u00e9s et Potentiels. Paris: Hermann, 1976."},{"key":"2_CR33","first-page":"121","volume-title":"Influence Diagrams, Belief Nets, and Decision analysis","author":"A. P. Dempster","year":"1990","unstructured":"A. P. Dempster, \u201cConstruction and local computation aspects of network belief functions,\u201d in Influence Diagrams, Belief Nets, and Decision analysis, (R. M. Oliver and J. Q. Smith, eds.), ch. 6, pp. 121\u2013141, Chichester, England: J. Wiley, 1990."},{"key":"2_CR34","doi-asserted-by":"crossref","first-page":"1321","DOI":"10.1109\/5.97301","volume":"79","author":"P. Guernic Le","year":"1991","unstructured":"P. Le Guernic, T. Gauthier, M. Le Borgne, and C. Le Maire, \u201cProgramming real-time applications with Signal,\u201d Proc. IEEE, vol. 79, pp. 1321\u20131336, Sep. 1991.","journal-title":"Proc. IEEE"},{"key":"2_CR35","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1109\/9.53519","volume":"35","author":"A. Benveniste","year":"1990","unstructured":"A. Benveniste and P. Le Guernic, \u201cHybrid dynamical systems theory and the Signal language,\u201d IEEE Trans. Automat. Contr., vol. 35, pp. 535\u2013546, May 1990.","journal-title":"IEEE Trans. Automat. Contr."},{"key":"2_CR36","first-page":"230","volume-title":"Lecture Notes in Computer Science","author":"A. Benveniste","year":"1993","unstructured":"A. Benveniste, M. Le Borgne, and P. Le Guernic, \u201cHybrid systems: the Signal approach,\u201d in Lecture Notes in Computer Science, pp. 230\u2013254, Berlin: Springer Verlag, 1993."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60472-3_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T16:59:28Z","timestamp":1713632368000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60472-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540604723","9783540475194"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/3-540-60472-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}