{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,30]],"date-time":"2026-05-30T05:00:02Z","timestamp":1780117202196,"version":"3.54.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,5,19]],"date-time":"2021-05-19T00:00:00Z","timestamp":1621382400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001695","name":"Japan Science and Technology Corporation","doi-asserted-by":"publisher","award":["JPMJAX200U and JPMJER1603"],"award-info":[{"award-number":["JPMJAX200U and JPMJER1603"]}],"id":[{"id":"10.13039\/501100001695","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["18J22498"],"award-info":[{"award-number":["18J22498"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-19-CE25-0015"],"award-info":[{"award-number":["ANR-19-CE25-0015"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,5,19]]},"DOI":"10.1145\/3450267.3450531","type":"proceedings-article","created":{"date-parts":[[2021,4,1]],"date-time":"2021-04-01T22:09:05Z","timestamp":1617314945000},"page":"21-32","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Model-bounded monitoring of hybrid systems"],"prefix":"10.1145","author":[{"given":"Masaki","family":"Waga","sequence":"first","affiliation":[{"name":"Kyoto University, Kyoto, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"\u00c9tienne","family":"Andr\u00e9","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Lorraine, Nancy, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ichiro","family":"Hasuo","sequence":"additional","affiliation":[{"name":"National Institute of Informatics, Tokyo, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,5,19]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Membership Questions for Timed and Hybrid Automata","author":"Alur Rajeev","unstructured":"Rajeev Alur , Robert P. Kurshan , and Mahesh Viswanathan . 1998. Membership Questions for Timed and Hybrid Automata . In RTSS. IEEE Computer Society , 254--263. Rajeev Alur, Robert P. Kurshan, and Mahesh Viswanathan. 1998. Membership Questions for Timed and Hybrid Automata. In RTSS. IEEE Computer Society, 254--263."},{"key":"e_1_3_2_1_2_1","volume-title":"Offline timed pattern matching under uncertainty","author":"Andr\u00e9 \u00c9tienne","unstructured":"\u00c9tienne Andr\u00e9 , Ichiro Hasuo , and Masaki Waga . 2018. Offline timed pattern matching under uncertainty . In ICECCS. IEEE Computer Society , 10--20. \u00c9tienne Andr\u00e9, Ichiro Hasuo, and Masaki Waga. 2018. Offline timed pattern matching under uncertainty. In ICECCS. IEEE Computer Society, 10--20."},{"key":"e_1_3_2_1_3_1","volume-title":"SEFM (LNCS","volume":"220","author":"Babaee Reza","year":"2018","unstructured":"Reza Babaee , Arie Gurfinkel , and Sebastian Fischmeister . 2018 . Prevent: A Predictive Run-Time Verification Framework Using Statistical Learning . In SEFM (LNCS , Vol. 10886). Springer, 205-- 220 . Reza Babaee, Arie Gurfinkel, and Sebastian Fischmeister. 2018. Prevent: A Predictive Run-Time Verification Framework Using Statistical Learning. In SEFM (LNCS, Vol. 10886). Springer, 205--220."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.001"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-00151-3_13"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32304-2_10"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22012-8_33"},{"key":"e_1_3_2_1_8_1","volume-title":"ARCH@CPSIoTWeek (EPiC Series in Computing","author":"Bu Lei","unstructured":"Lei Bu , Rajarshi Ray , and Stefan Schupp . 2019. ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics . In ARCH@CPSIoTWeek (EPiC Series in Computing , Vol. 61). EasyChair, 120-- 128 . Lei Bu, Rajarshi Ray, and Stefan Schupp. 2019. ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics. In ARCH@CPSIoTWeek (EPiC Series in Computing, Vol. 61). EasyChair, 120--128."},{"key":"e_1_3_2_1_9_1","volume-title":"SETSS (LNCS","volume":"43","author":"Bu Lei","year":"2019","unstructured":"Lei Bu , Jiawan Wang , Yuming Wu , and Xuandong Li . 2019 . From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT . In SETSS (LNCS , Vol. 12154). Springer, 10-- 43 . Lei Bu, Jiawan Wang, Yuming Wu, and Xuandong Li. 2019. From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT. In SETSS (LNCS, Vol. 12154). Springer, 10--43."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24288-5_13"},{"key":"e_1_3_2_1_11_1","first-page":"183","article-title":"Coverage-guided test generation for continuous and hybrid systems","volume":"34","author":"Dang Thao","year":"2009","unstructured":"Thao Dang and Tarik Nahhal . 2009 . Coverage-guided test generation for continuous and hybrid systems . FMSD 34 , 2 (2009), 183 -- 213 . Thao Dang and Tarik Nahhal. 2009. Coverage-guided test generation for continuous and hybrid systems. FMSD 34, 2 (2009), 183--213.","journal-title":"FMSD"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11603009_13"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24743-2_22"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0062-x"},{"key":"e_1_3_2_1_16_1","volume-title":"Idriss Riouak, Stefano Tonetta, and Enea Zaffanella.","author":"Frehse Goran","year":"2019","unstructured":"Goran Frehse , Alessandro Abate , Dieky Adzkiya , Anna Becchi , Lei Bu , Alessandro Cimatti , Mirco Giacobbe , Alberto Griggio , Sergio Mover , Muhammad Syifa'ul Mufid , Idriss Riouak, Stefano Tonetta, and Enea Zaffanella. 2019 . ARCH-COMP19 Category Report : Hybrid Systems with Piecewise Constant Dynamics. In ARCH@CPSIoTWeek (EPiC Series in Computing , Vol. 61). EasyChair, 1-- 13 . Goran Frehse, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio, Sergio Mover, Muhammad Syifa'ul Mufid, Idriss Riouak, Stefano Tonetta, and Enea Zaffanella. 2019. ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. In ARCH@CPSIoTWeek (EPiC Series in Computing, Vol. 61). EasyChair, 1--13."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2013.01.010"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58485-4_43"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0031995"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2017.06.060"},{"key":"e_1_3_2_1_22_1","volume-title":"Deshmukh","author":"Qin Xin","year":"2020","unstructured":"Xin Qin and Jyotirmoy V . Deshmukh . 2020 . Clairvoyant Monitoring for Signal Temporal Logic. In FORMATS (LNCS , Vol. 12288). Springer, 178-- 195 . Xin Qin and Jyotirmoy V. Deshmukh. 2020. Clairvoyant Monitoring for Signal Temporal Logic. In FORMATS (LNCS, Vol. 12288). Springer, 178--195."},{"key":"e_1_3_2_1_23_1","volume-title":"Handbook of Networked and Embedded Control Systems","author":"Raskin Jean-Fran\u00e7ois","unstructured":"Jean-Fran\u00e7ois Raskin . 2005. An Introduction to Hybrid Automata . In Handbook of Networked and Embedded Control Systems . Birkh\u00e4user , 491--518. Jean-Fran\u00e7ois Raskin. 2005. An Introduction to Hybrid Automata. In Handbook of Networked and Embedded Control Systems. Birkh\u00e4user, 491--518."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10512-3_16"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-29662-9_1"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28891-3_37"}],"event":{"name":"ICCPS '21: ACM\/IEEE 12th International Conference on Cyber-Physical Systems","location":"Nashville Tennessee","acronym":"ICCPS '21","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","IEEE-CS\\TCRT TC on Real-Time Systems"]},"container-title":["Proceedings of the ACM\/IEEE 12th International Conference on Cyber-Physical Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3450267.3450531","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3450267.3450531","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:46:58Z","timestamp":1750193218000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3450267.3450531"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,19]]},"references-count":26,"alternative-id":["10.1145\/3450267.3450531","10.1145\/3450267"],"URL":"https:\/\/doi.org\/10.1145\/3450267.3450531","relation":{},"subject":[],"published":{"date-parts":[[2021,5,19]]},"assertion":[{"value":"2021-05-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}