{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,4,2]],"date-time":"2023-04-02T04:10:55Z","timestamp":1680408655645},"reference-count":22,"publisher":"Walter de Gruyter GmbH","issue":"5-6","funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["GRK 1765"],"award-info":[{"award-number":["GRK 1765"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,11,25]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Hybrid system dynamics arises when discrete actions meet continuous behaviour due to physical processes and continuous control. A natural domain of such systems are emerging smart technologies which add elements of intelligence, co-operation, and adaptivity to physical entities. Various flavours of hybrid automata have been suggested as a means to formally analyse dynamics of such systems. In this article, we present our current work on a revised formal model that is able to represent state tracking and estimation in hybrid systems and thereby enhancing precision of verification verdicts.<\/jats:p>","DOI":"10.1515\/itit-2021-0008","type":"journal-article","created":{"date-parts":[[2021,10,14]],"date-time":"2021-10-14T04:59:34Z","timestamp":1634187574000},"page":"265-275","source":"Crossref","is-referenced-by-count":0,"title":["Bayesian hybrid automata: Reconciling formal methods with metrology"],"prefix":"10.1515","volume":"63","author":[{"given":"Paul","family":"Kr\u00f6ger","sequence":"first","affiliation":[{"name":"11233 Carl von Ossietzky Universit\u00e4t Oldenburg , Department of Computing Science , Oldenburg , Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Fr\u00e4nzle","sequence":"additional","affiliation":[{"name":"11233 Carl von Ossietzky Universit\u00e4t Oldenburg , Department of Computing Science , Oldenburg , Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"374","published-online":{"date-parts":[[2021,10,13]]},"reference":[{"key":"2023033120083232784_j_itit-2021-0008_ref_001","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, T.\u2009A. Henzinger, and P.-H. Ho. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In Hybrid Systems, volume 736 of LNCS, pages 209\u2013229. Springer Berlin Heidelberg, 1993.","DOI":"10.1007\/3-540-57318-6_30"},{"key":"2023033120083232784_j_itit-2021-0008_ref_002","doi-asserted-by":"crossref","unstructured":"K. Berntorp and S. Di Cairano. Particle filtering for automotive: A survey. In 22th International Conference on Information Fusion, pages 1\u20138, July 2019.","DOI":"10.23919\/FUSION43075.2019.9011201"},{"key":"2023033120083232784_j_itit-2021-0008_ref_003","doi-asserted-by":"crossref","unstructured":"C. Combastel. Merging kalman filtering and zonotopic state bounding for robust fault detection under noisy environment. IFAC-PapersOnLine, 48(21):289\u2013295, 2015. SAFEPROCESS 2015.","DOI":"10.1016\/j.ifacol.2015.09.542"},{"key":"2023033120083232784_j_itit-2021-0008_ref_004","doi-asserted-by":"crossref","unstructured":"C. Cou\u00e9, C. Pradalier, C. Laugier, T. Fraichard, and P. Bessiere. Bayesian Occupancy Filtering for Multitarget Tracking: an Automotive Application. International Journal of Robotics Research, 25(1):19\u201330, Jan. 2006.","DOI":"10.1177\/0278364906061158"},{"key":"2023033120083232784_j_itit-2021-0008_ref_005","doi-asserted-by":"crossref","unstructured":"A. Donz\u00e9 and O. Maler. Robust satisfaction of temporal logic over real-valued signals. In Formal Modeling and Analysis of Timed Systems, pages 92\u2013106. Springer Berlin Heidelberg, Berlin, Heidelberg, 2010.","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"2023033120083232784_j_itit-2021-0008_ref_006","doi-asserted-by":"crossref","unstructured":"A. Elfes. Using occupancy grids for mobile robot perception and navigation. Computer, 22(6):46\u201357, 1989.","DOI":"10.1109\/2.30720"},{"key":"2023033120083232784_j_itit-2021-0008_ref_007","doi-asserted-by":"crossref","unstructured":"M. Fr\u00e4nzle, E.\u2009M.\u2009H. Hahn, H. Hermanns, N. Wolovick, and L. Zhang. Measurability and safety verification for stochastic hybrid systems. In Hybrid Systems: Computation and Control, Jan. 2011.","DOI":"10.1145\/1967701.1967710"},{"key":"2023033120083232784_j_itit-2021-0008_ref_008","doi-asserted-by":"crossref","unstructured":"M. Fr\u00e4nzle, H. Hermanns, and T. Teige. Stochastic satisfiability modulo theory: A novel technique for the analysis of probabilistic hybrid systems. In Hybrid Systems: Computation and Control, pages 172\u2013186. Springer Berlin Heidelberg, Berlin, Heidelberg, 2008.","DOI":"10.1007\/978-3-540-78929-1_13"},{"key":"2023033120083232784_j_itit-2021-0008_ref_009","doi-asserted-by":"crossref","unstructured":"M. Fr\u00e4nzle and P. Kr\u00f6ger. The demon, the gambler, and the engineer \u2013 reconciling hybrid-system theory with metrology. In Symposium on Real-Time and Hybrid Systems, volume 11180 of Theoretical Computer Science and General Issues, pages 165\u2013185. Springer International Publishing, Cham, 2018.","DOI":"10.1007\/978-3-030-01461-2_9"},{"key":"2023033120083232784_j_itit-2021-0008_ref_010","doi-asserted-by":"crossref","unstructured":"M. Fr\u00e4nzle and P. Kr\u00f6ger. Guess what I\u2019m doing! In Leveraging Applications of Formal Methods, Verification and Validation: Applications, pages 255\u2013272. Springer International Publishing, Cham, 2020.","DOI":"10.1007\/978-3-030-61467-6_17"},{"key":"2023033120083232784_j_itit-2021-0008_ref_011","unstructured":"A. Gambier. Multivariable adaptive state-space control: A survey. In 2004 5th Asian Control Conference (IEEE Cat. No.\u200904EX904), volume 1, pages 185\u2013191, July 2004."},{"key":"2023033120083232784_j_itit-2021-0008_ref_012","doi-asserted-by":"crossref","unstructured":"J. Hu, J. Lygeros, and S. Sastry. Towards a Theory of Stochastic Hybrid Systems, pages 160\u2013173. Springer Berlin Heidelberg, Berlin, Heidelberg, 2000.","DOI":"10.1007\/3-540-46430-1_16"},{"key":"2023033120083232784_j_itit-2021-0008_ref_013","doi-asserted-by":"crossref","unstructured":"R.\u2009E. Kalman. A new approach to linear filtering and prediction problems. Transactions of the ASME\u2013Journal of Basic Engineering, 82(Series D):35\u201345, 1960.","DOI":"10.1115\/1.3662552"},{"key":"2023033120083232784_j_itit-2021-0008_ref_014","doi-asserted-by":"crossref","unstructured":"S. Kowalewski, M. Garavello, H. Gu\u00e9guen, G. Herberich, R. Langerak, B. Piccoli, J.\u2009W. Polderman, and C. Weise. Hybrid automata, pages 57\u201386. Cambridge University Press, 2009.","DOI":"10.1017\/CBO9780511807930.004"},{"key":"2023033120083232784_j_itit-2021-0008_ref_015","unstructured":"P. Kr\u00f6ger and M. Fr\u00e4nzle. Bayesian hybrid automata: A formal model of justified belief in interacting hybrid systems subject to imprecise observation. Submitted to LITES Special Issue on Distributed Hybrid Systems. 2021."},{"key":"2023033120083232784_j_itit-2021-0008_ref_016","doi-asserted-by":"crossref","unstructured":"E. Lavretsky. Robust and Adaptive Control Methods for Aerial Vehicles, pages 675\u2013710. Springer Netherlands, Dordrecht, 2015.","DOI":"10.1007\/978-90-481-9707-1_50"},{"key":"2023033120083232784_j_itit-2021-0008_ref_017","doi-asserted-by":"crossref","unstructured":"M. Maschler, E. Solan, and S. Zamir. Game Theory. Cambridge University Press, 2013.","DOI":"10.1017\/CBO9780511794216"},{"key":"2023033120083232784_j_itit-2021-0008_ref_018","doi-asserted-by":"crossref","unstructured":"K.\u2009S. Narendra and Z. Han. Adaptive control using collective information obtained from multiple models. IFAC Proceedings Volumes, 44(1):362\u2013367, 2011. 18th IFAC World Congress.","DOI":"10.3182\/20110828-6-IT-1002.02237"},{"key":"2023033120083232784_j_itit-2021-0008_ref_019","doi-asserted-by":"crossref","unstructured":"A. Nerode and W. Kohn. Models for hybrid systems: Automata, topologies, controllability, observability. In Hybrid Systems, pages 317\u2013356. Springer Berlin Heidelberg, Berlin, Heidelberg, 1993.","DOI":"10.1007\/3-540-57318-6_35"},{"key":"2023033120083232784_j_itit-2021-0008_ref_020","doi-asserted-by":"crossref","unstructured":"S. S\u00e4rkk\u00e4. Bayesian Filtering and Smoothing. Cambridge University Press, New York, NY, USA, 2013.","DOI":"10.1017\/CBO9781139344203"},{"key":"2023033120083232784_j_itit-2021-0008_ref_021","doi-asserted-by":"crossref","unstructured":"C. Sherlock, A. Golightly, and C.\u2009S. Gillespie. Bayesian inference for hybrid discrete-continuous stochastic kinetic models. Inverse Problems, 30(11):114005, Nov. 2014.","DOI":"10.1088\/0266-5611\/30\/11\/114005"},{"key":"2023033120083232784_j_itit-2021-0008_ref_022","doi-asserted-by":"crossref","unstructured":"J. Sproston. Decidable Model Checking of Probabilistic Hybrid Automata, pages 31\u201345. Springer Berlin Heidelberg, Berlin, Heidelberg, 2000.","DOI":"10.1007\/3-540-45352-0_5"}],"container-title":["it - Information Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/itit-2021-0008\/xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/itit-2021-0008\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T08:28:22Z","timestamp":1680337702000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/itit-2021-0008\/html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,13]]},"references-count":22,"journal-issue":{"issue":"5-6","published-online":{"date-parts":[[2021,9,18]]},"published-print":{"date-parts":[[2021,11,25]]}},"alternative-id":["10.1515\/itit-2021-0008"],"URL":"https:\/\/doi.org\/10.1515\/itit-2021-0008","relation":{},"ISSN":["2196-7032","1611-2776"],"issn-type":[{"value":"2196-7032","type":"electronic"},{"value":"1611-2776","type":"print"}],"subject":[],"published":{"date-parts":[[2021,10,13]]}}}