{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T09:48:15Z","timestamp":1764841695282,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642298592"},{"type":"electronic","value":"9783642298608"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29860-8_21","type":"book-chapter","created":{"date-parts":[[2012,5,11]],"date-time":"2012-05-11T13:38:03Z","timestamp":1336743483000},"page":"276-293","source":"Crossref","is-referenced-by-count":18,"title":["Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State"],"prefix":"10.1007","author":[{"given":"A. Prasad","family":"Sistla","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Milo\u0161","family":"\u017defran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yao","family":"Feng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"7","key":"21_CR1","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1109\/5.871304","volume":"88","author":"R. Alur","year":"2000","unstructured":"Alur, R., Henzinger, T.A., Lafferriere, G., Pappas, G.J.: Discrete abstractions of hybrid systems. Proceedings of the IEEE\u00a088(7), 971\u2013984 (2000)","journal-title":"Proceedings of the IEEE"},{"key":"21_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-45873-5_9","volume-title":"Hybrid Systems: Computation and Control","author":"A. Balluchi","year":"2002","unstructured":"Balluchi, A., Benvenuti, L., Di Benedetto, M., Sangiovanni-Vincentelli, A.: Design of Observers for Hybrid Systems. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol.\u00a02289, pp. 76\u201380. Springer, Heidelberg (2002)"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Blom, H., Bloem, E.: Particle filtering for stochastic hybrid systems. In: 43rd IEEE Conference on Decision and Control, CDC 2004, vol.\u00a03 (2004)","DOI":"10.1109\/CDC.2004.1428969"},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/11513988_36","volume-title":"Computer Aided Verification","author":"M. D\u2019Amorim","year":"2005","unstructured":"D\u2019Amorim, M., Ro\u015fu, G.: Efficient Monitoring of \u03c9-Languages. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 364\u2013378. Springer, Heidelberg (2005)"},{"issue":"7","key":"21_CR5","doi-asserted-by":"publisher","first-page":"1069","DOI":"10.1109\/5.871309","volume":"88","author":"R.A. DeCarlo","year":"2000","unstructured":"DeCarlo, R.A., Branicky, M.S., Pettersson, S., Lennartson, B.: Perspectives and results on the stability and stabilizability of hybrid systems. Proceedings of the IEEE\u00a088(7), 1069\u20131082 (2000)","journal-title":"Proceedings of the IEEE"},{"key":"21_CR6","unstructured":"Doucet, A., de Freitas, N., Murphy, K., Russell, S.: Rao-Blackwellised particle filtering for dynamic Bayesian networks. In: Proceedings of the Sixteenth Conference on Uncertainty in Artificial Intelligence, pp. 176\u2013183 (2000)"},{"key":"21_CR7","unstructured":"Federal Railroad Administration. ECP brake system for freight service (2006), http:\/\/www.fra.dot.gov\/downloads\/safety\/ecp_report_20060811.pdf"},{"key":"21_CR8","unstructured":"Franklin, G., Powell, J., Workman, M.: Digital control of dynamic systems. Addison-Wesley world student series. Addison-Wesley (1998)"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Funiak, S., Williams, B.: Multi-modal particle filtering for hybrid systems with autonomous mode transitions. In: Workshop on Principles of Diagnosis (2003)","DOI":"10.1016\/S1474-6670(17)36609-0"},{"key":"21_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-3-540-93900-9_12","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"K. Gondi","year":"2009","unstructured":"Gondi, K., Patel, Y., Sistla, A.P.: Monitoring the Full Range of \u03c9-Regular Properties of Stochastic Systems. In: Jones, N.D., M\u00fcller-Olm, M. (eds.) VMCAI 2009. LNCS, vol.\u00a05403, pp. 105\u2013119. Springer, Heidelberg (2009)"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Grunske, L., Zhang, P.: Monitoring probabilistic properties. In: Proceedings of 7th Joint meeting of European Software Engineering Conference and ACM Symposium on Foundations of Software Engineering ESEC-FSE 2009, pp. 183\u2013192. ACM (2009)","DOI":"10.1145\/1595696.1595724"},{"issue":"1","key":"21_CR12","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1006\/jcss.1998.1581","volume":"57","author":"T.A. Henzinger","year":"1998","unstructured":"Henzinger, T.A., Kopke, P.W., Puri, A., Varaiya, P.: What\u2019s decidable about hybrid automata? Journal of Computer and System Sciences\u00a057(1), 94\u2013124 (1998)","journal-title":"Journal of Computer and System Sciences"},{"key":"21_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/3-540-45873-5_21","volume-title":"Hybrid Systems: Computation and Control","author":"M.W. Hofbaur","year":"2002","unstructured":"Hofbaur, M.W., Williams, B.C.: Mode Estimation of Probabilistic Hybrid Systems. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol.\u00a02289, pp. 253\u2013266. Springer, Heidelberg (2002)"},{"key":"21_CR14","series-title":"LNCIS","volume-title":"Hybrid Estimation of Complex Systems","author":"M.W. Hofbaur","year":"2005","unstructured":"Hofbaur, M.W.: Hybrid Estimation of Complex Systems. LNCIS, vol.\u00a0319. Springer, Heidelberg (2005)"},{"issue":"1","key":"21_CR15","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1008078328650","volume":"29","author":"M. Isard","year":"1998","unstructured":"Isard, M., Blake, A.: Condensation\u2013conditional density propagation for visual tracking. International Journal of Computer Vision\u00a029(1), 5\u201328 (1998)","journal-title":"International Journal of Computer Vision"},{"key":"21_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/11730637_26","volume-title":"Hybrid Systems: Computation and Control","author":"M. Kloetzer","year":"2006","unstructured":"Kloetzer, M., Belta, C.: A Fully Automated Framework for Control of Linear Systems from LTL Specifications. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol.\u00a03927, pp. 333\u2013347. Springer, Heidelberg (2006)"},{"key":"21_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/3-540-36580-X_23","volume-title":"Hybrid Systems: Computation and Control","author":"X. Koutsoukos","year":"2003","unstructured":"Koutsoukos, X., Kurien, J., Zhao, F.: Estimation of Distributed Hybrid Systems Using Particle Filtering Methods. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol.\u00a02623, pp. 298\u2013313. Springer, Heidelberg (2003)"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"Kress-Gazit, H., Fainekos, G., Pappas, G.: Where\u2019s Waldo? Sensor-based temporal logic motion planning. In: IEEE Int. Conf. on Robotics and Automation, pp. 3116\u20133121 (2007)","DOI":"10.1109\/ROBOT.2007.363946"},{"key":"21_CR19","unstructured":"Lerner, U., Moses, B., Scott, M., McIlraith, S., Koller, D.: Monitoring a complex physical system using a hybrid dynamic bayes net. In: Proceedings of the 18th Annual Conference on Uncertainty in AI (UAI), pp. 301\u2013310 (2002)"},{"key":"21_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0017-8","volume-title":"Switching in Systems and Control","author":"D. Liberzon","year":"2003","unstructured":"Liberzon, D.: Switching in Systems and Control. Birkh\u00e4user, Boston (2003)"},{"key":"21_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0020932","volume-title":"Hybrid Systems III","author":"J. Lygeros","year":"1996","unstructured":"Lygeros, J., Godbole, D.N., Sastry, S.S.: A Game Theoretic Approach to Hybrid System Design. In: Alur, R., Sontag, E.D., Henzinger, T.A. (eds.) HS 1995. LNCS, vol.\u00a01066, pp. 1\u201312. Springer, Heidelberg (1996)"},{"key":"21_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"548","DOI":"10.1007\/11539452_41","volume-title":"CONCUR 2005 \u2013 Concurrency Theory","author":"T. Margaria","year":"2005","unstructured":"Margaria, T., Sistla, A., Steffen, B., Zuck, L.: Taming Interface Specifications. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol.\u00a03653, pp. 548\u2013561. Springer, Heidelberg (2005)"},{"key":"21_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/3-540-46430-1_25","volume-title":"Hybrid Systems: Computation and Control","author":"S. McIlraith","year":"2000","unstructured":"McIlraith, S., Biswas, G., Clancy, D., Gupta, V.: Hybrid Systems Diagnosis. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol.\u00a01790, pp. 282\u2013295. Springer, Heidelberg (2000)"},{"key":"21_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0014707","volume-title":"Hybrid and Real-Time Systems","author":"A. Pnueli","year":"1997","unstructured":"Pnueli, A.: Verifying Liveness Properties of Reactive Systems. In: Maler, O. (ed.) HART 1997. LNCS, vol.\u00a01201, Springer, Heidelberg (1997)"},{"key":"21_CR25","unstructured":"Pnueli, A., Zaks, A., Zuck, L.D.: Monitoring interfaces for faults. In: Proceedings of the 5th Workshop on Runtime Verification, RV 2005 (2005); To appear in a special issue of ENTCS"},{"key":"21_CR26","volume-title":"Real and Complex Analysis","author":"W. Rudin","year":"1987","unstructured":"Rudin, W.: Real and Complex Analysis. McGrawHill, NewYork (1987)"},{"key":"21_CR27","unstructured":"Russell, S.J., Norvig, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Prentice Hall (December 2002)"},{"key":"21_CR28","doi-asserted-by":"crossref","unstructured":"Sammapun, U., Lee, I., Sokolsky, O.: Rt-mac:runtime monitoring and checking of quantitative and probabilistic properties. In: Proc. of 11th IEEE International Conference on Embedded and Real-time Computing Systems and Applications (RTCSA 2005), pp. 147\u2013153 (2005)","DOI":"10.1109\/RTCSA.2005.84"},{"key":"21_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/978-3-540-78163-9_25","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"A.P. Sistla","year":"2008","unstructured":"Sistla, A.P., Srinivas, A.R.: Monitoring Temporal Properties of Stochastic Systems. In: Logozzo, F., Peled, D.A., Zuck, L.D. (eds.) VMCAI 2008. LNCS, vol.\u00a04905, pp. 294\u2013308. Springer, Heidelberg (2008)"},{"key":"21_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/11609773_15","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"A. Sistla","year":"2005","unstructured":"Sistla, A., Zhou, M., Zuck, L.: Monitoring Off-the-Shelf Components. In: Emerson, E.A., Namjoshi, K.S. (eds.) VMCAI 2006. LNCS, vol.\u00a03855, pp. 222\u2013236. Springer, Heidelberg (2005)"},{"key":"21_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"720","DOI":"10.1007\/978-3-642-22110-1_58","volume-title":"Computer Aided Verification","author":"A.P. Sistla","year":"2011","unstructured":"Sistla, A.P., \u017defran, M., Feng, Y.: Monitorability of Stochastic Dynamical Systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 720\u2013736. Springer, Heidelberg (2011)"},{"issue":"1-2","key":"21_CR32","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/S0004-3702(01)00069-8","volume":"128","author":"S. Thrun","year":"2001","unstructured":"Thrun, S., Fox, D., Burgard, W., Dellaert, F.: Robust Monte Carlo localization for mobile robots. Artificial Intelligence\u00a0128(1-2), 99\u2013141 (2001)","journal-title":"Artificial Intelligence"},{"key":"21_CR33","series-title":"LNCIS","volume-title":"An Introduction to Hybrid Dynamical Systems","author":"A.J. Schaft van der","year":"1999","unstructured":"van der Schaft, A.J., Schumacher, J.M.: An Introduction to Hybrid Dynamical Systems. LNCIS, vol.\u00a0251. Springer, Heidelberg (1999)"},{"issue":"2","key":"21_CR34","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/MRA.2004.1310942","volume":"11","author":"V. Verma","year":"2004","unstructured":"Verma, V., Gordon, G., Simmons, R., Thrun, S.: Real-time fault diagnosis. IEEE Robotics & Automation Magazine\u00a011(2), 56\u201366 (2004)","journal-title":"IEEE Robotics & Automation Magazine"},{"key":"21_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1007\/978-3-642-16612-9_34","volume-title":"Runtime Verification","author":"C. Wilcox","year":"2010","unstructured":"Wilcox, C., Williams, B.: Runtime Verification of Stochastic, Faulty Systems. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Ro\u015fu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol.\u00a06418, pp. 452\u2013459. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29860-8_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T20:46:15Z","timestamp":1743108375000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29860-8_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642298592","9783642298608"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29860-8_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}