{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T18:36:40Z","timestamp":1725993400719},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030014605"},{"type":"electronic","value":"9783030014612"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-01461-2_9","type":"book-chapter","created":{"date-parts":[[2018,9,28]],"date-time":"2018-09-28T06:05:15Z","timestamp":1538114715000},"page":"165-185","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["The Demon, the Gambler, and the Engineer"],"prefix":"10.1007","author":[{"given":"Martin","family":"Fr\u00e4nzle","sequence":"first","affiliation":[]},{"given":"Paul","family":"Kr\u00f6ger","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,9,29]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume-title":"Hybrid Systems","author":"Rajeev Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.: Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In: [23], pp. 209\u2013229 (1993)"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/3-540-57318-6_35","volume-title":"Hybrid Systems","author":"Anil Nerode","year":"1993","unstructured":"Nerode, A., Kohn, W.: Models for hybrid systems: automata, topologies, controllability, observability. In: [23], pp. 317\u2013356 (1993)"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/3-540-45352-0_5","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"J Sproston","year":"2000","unstructured":"Sproston, J.: Decidable model checking of probabilistic hybrid automata. In: Joseph, M. (ed.) FTRTFT 2000. LNCS, vol. 1926, pp. 31\u201345. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-45352-0_5"},{"key":"9_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-4483-2","volume-title":"Markov Models and Optimization","author":"M Davis","year":"1993","unstructured":"Davis, M.: Markov Models and Optimization. Chapman & Hall, London (1993)"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-540-78929-1_13","volume-title":"Hybrid Systems: Computation and Control","author":"M Fr\u00e4nzle","year":"2008","unstructured":"Fr\u00e4nzle, M., Hermanns, H., Teige, T.: Stochastic satisfiability modulo theory: a novel technique for the analysis of probabilistic hybrid systems. In: Egerstedt, M., Mishra, B. (eds.) HSCC 2008. LNCS, vol. 4981, pp. 172\u2013186. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78929-1_13"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Fr\u00e4nzle, M., Hahn, E.M., Hermanns, H., Wolovick, N., Zhang, L.: Measurability and safety verification for stochastic hybrid systems. In Caccamo, M., Frazzoli, E., Grosu, R. (eds.) Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, 12\u201314 April 2011, pp. 43\u201352. ACM, Chicago (2011)","DOI":"10.1145\/1967701.1967710"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/3-540-46430-1_16","volume-title":"Hybrid Systems: Computation and Control","author":"J Hu","year":"2000","unstructured":"Hu, J., Lygeros, J., Sastry, S.: Towards a theory of stochastic hybrid systems. In: Lynch, N., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol. 1790, pp. 160\u2013173. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-46430-1_16"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Bujorianu, L., Lygeros, J.: Toward a general theory of stochastic hybrid systems. Stochastic Hybrid Systems: Theory and Safety Critical Applications. LNCIS, vol. 337, pp. 3\u201330. Springer, Berlin (2006)","DOI":"10.1007\/11587392_1"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Kowalewski, S., et al.: Hybrid Automata, pp. 57\u201386. Cambridge University Press, Cambridge (2009)","DOI":"10.1017\/CBO9780511807930.004"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Maschler, M., Solan, E., Zamir, S.: Game Theory. Cambridge University Press, Cambridge (2013)","DOI":"10.1017\/CBO9780511794216"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Barber, D.: Bayesian Reasoning and Machine Learning. Cambride University Press, Cambridge (2012)","DOI":"10.1017\/CBO9780511804779"},{"issue":"10","key":"9_CR12","doi-asserted-by":"publisher","first-page":"1499","DOI":"10.1016\/j.ress.2009.02.027","volume":"94","author":"H Langseth","year":"2009","unstructured":"Langseth, H., Nielsen, T.D., Rum, R., Salmern, A.: Inference in hybrid Bayesian networks. Reliab. Eng. Syst. Saf. 94(10), 1499\u20131509 (2009)","journal-title":"Reliab. Eng. Syst. Saf."},{"issue":"4","key":"9_CR13","doi-asserted-by":"publisher","first-page":"1152","DOI":"10.1109\/TAES.2003.1261119","volume":"39","author":"RPS Mahler","year":"2003","unstructured":"Mahler, R.P.S.: Multitarget bayes filtering via first-order multitarget moments. IEEE Trans. Aerosp. Electron. Syst. 39(4), 1152\u20131178 (2003). October","journal-title":"IEEE Trans. Aerosp. Electron. Syst."},{"issue":"6","key":"9_CR14","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/2.30720","volume":"22","author":"A Elfes","year":"1989","unstructured":"Elfes, A.: Using occupancy grids for mobile robot perception and navigation. Computer 22(6), 46\u201357 (1989). June","journal-title":"Computer"},{"issue":"1","key":"9_CR15","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1177\/0278364906061158","volume":"25","author":"Christophe Cou\u00e9","year":"2006","unstructured":"Cou\u00e9, C., Pradalier, C., Laugier, C., Fraichard, T., Bessiere, P.: Bayesian occupancy filtering for multitarget tracking: an automotive application. Int. J. Robot. Res. 25(1), 19\u201330 (2006). voir basilic : http:\/\/emotion.inrialpes.fr\/bibemotion\/2006\/CPLFB06\/","journal-title":"The International Journal of Robotics Research"},{"issue":"21","key":"9_CR16","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/j.ifacol.2015.09.542","volume":"48","author":"C. Combastel","year":"2015","unstructured":"Combastel, C.: Merging kalman filtering and zonotopic state bounding for robust fault detection under noisy environment. IFAC-PapersOnLine 48(21) (2015) 289\u2013295; In: 9th IFAC Symposium on Fault Detection, Supervision andSafety for Technical Processes SAFEPROCESS 2015","journal-title":"IFAC-PapersOnLine"},{"issue":"11","key":"9_CR17","doi-asserted-by":"publisher","first-page":"114005","DOI":"10.1088\/0266-5611\/30\/11\/114005","volume":"30","author":"C Sherlock","year":"2014","unstructured":"Sherlock, C., Golightly, A., Gillespie, C.S.: Bayesian inference for hybrid discrete-continuous stochastic kinetic models. Inverse Probl. 30(11), 114005 (2014). November","journal-title":"Inverse Probl."},{"key":"9_CR18","unstructured":"Murphy, K.P.: Switching kalman filters. Technical report (1998)"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Ding, J., Abate, A., Tomlin, C.: Optimal control of partially observable discrete time stochastic hybrid systems for safety specifications. In: 2013 American Control Conference, pp. 6231\u20136236 (2013)","DOI":"10.1109\/ACC.2013.6580815"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-15297-9_9","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A., Maler, O.: Robust satisfaction of temporal logic over real-valued signals. In: Chatterjee, K., Henzinger, T.A. (eds.) FORMATS 2010. LNCS, vol. 6246, pp. 92\u2013106. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15297-9_9"},{"issue":"1","key":"9_CR21","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1115\/1.3662552","volume":"82","author":"R. E. Kalman","year":"1960","unstructured":"Kalman, R.E.: A new approach to linear filtering and prediction problems. Trans. ASME-J. Basic Eng. 82(Series D), 35\u201345 (1960)","journal-title":"Journal of Basic Engineering"},{"issue":"3","key":"9_CR22","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1145\/504729.504754","volume":"45","author":"S Thrun","year":"2002","unstructured":"Thrun, S.: Probabilistic robotics. Commun. ACM 45(3), 52\u201357 (2002). March","journal-title":"Commun. ACM"},{"key":"9_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57318-6","volume-title":"Hybrid Systems","year":"1993","unstructured":"Grossman, R.L., Nerode, A., Ravn, A.P., Rischel, H. (eds.): HS 1991-1992. LNCS, vol. 736. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/3-540-57318-6"}],"container-title":["Lecture Notes in Computer Science","Symposium on Real-Time and Hybrid Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-01461-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,2]],"date-time":"2022-09-02T22:09:35Z","timestamp":1662156575000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-01461-2_9"}},"subtitle":["Reconciling Hybrid-System Theory with Metrology"],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030014605","9783030014612"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-01461-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}