{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T09:59:06Z","timestamp":1776333546926,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,4,11]],"date-time":"2018-04-11T00:00:00Z","timestamp":1523404800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["CNS-1505799"],"award-info":[{"award-number":["CNS-1505799"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"ONR","award":["N00014-17-1-201"],"award-info":[{"award-number":["N00014-17-1-201"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,4,11]]},"DOI":"10.1145\/3178126.3178140","type":"proceedings-article","created":{"date-parts":[[2018,4,2]],"date-time":"2018-04-02T12:12:32Z","timestamp":1522671152000},"page":"187-196","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Parameter Invariant Monitoring for Signal Temporal Logic"],"prefix":"10.1145","author":[{"given":"Nima","family":"Roohi","sequence":"first","affiliation":[{"name":"University of Pennsylvania, Philadelphia, Pennsylvania"}]},{"given":"Ramneet","family":"Kaur","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, Pennsylvania"}]},{"given":"James","family":"Weimer","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, Pennsylvania"}]},{"given":"Oleg","family":"Sokolsky","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, Pennsylvania"}]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, Pennsylvania"}]}],"member":"320","published-online":{"date-parts":[[2018,4,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/227595.227602"},{"key":"e_1_3_2_1_2_1","volume-title":"Monitorability of omega-regular languages. CoRR abs\/1006.3638","author":"Bauer Andreas","year":"2010","unstructured":"Andreas Bauer . 2010. Monitorability of omega-regular languages. CoRR abs\/1006.3638 ( 2010 ). http:\/\/arxiv.org\/abs\/1006.3638 Andreas Bauer. 2010. Monitorability of omega-regular languages. CoRR abs\/1006.3638 (2010). http:\/\/arxiv.org\/abs\/1006.3638"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-016-0253-8"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.11.177"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_36"},{"key":"e_1_3_2_1_6_1","volume-title":"Seshia","author":"Deshmukh Jyotirmoy V.","year":"2015","unstructured":"Jyotirmoy V. Deshmukh , Alexandre Donz\u00e9 , Shromona Ghosh , XiaoqingJin, Garvit Juniwal , and Sanjit A . Seshia . 2015 . Robust Online Monitoring of Signal Temporal Logic . 55--70. Jyotirmoy V. Deshmukh, Alexandre Donz\u00e9, Shromona Ghosh, XiaoqingJin, Garvit Juniwal, and Sanjit A. Seshia. 2015. Robust Online Monitoring of Signal Temporal Logic. 55--70."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Adel Dokhanchi Bardh Hoxha and Georgios Fainekos. 2014. On-Line Monitoring for Temporal Logic Robustness. 231--246.  Adel Dokhanchi Bardh Hoxha and Georgios Fainekos. 2014. On-Line Monitoring for Temporal Logic Robustness. 231--246.","DOI":"10.1007\/978-3-319-11164-3_19"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Alexandre Donz\u00e9 Thomas Ferr\u00e8re and Oded Maler. 2013. Efficient Robust Monitoring for STL. 264--279.  Alexandre Donz\u00e9 Thomas Ferr\u00e8re and Oded Maler. 2013. Efficient Robust Monitoring for STL. 264--279.","DOI":"10.1007\/978-3-642-39799-8_19"},{"key":"e_1_3_2_1_9_1","volume-title":"Pappas","author":"Fainekos Georgios E.","year":"2007","unstructured":"Georgios E. Fainekos and George J . Pappas . 2007 . Robust Sampling for MITL Specifications. Berlin, Heidelberg , 147--162. Georgios E. Fainekos and George J. Pappas. 2007. Robust Sampling for MITL Specifications. Berlin, Heidelberg, 147--162."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-93900-9_12"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Hsi-Ming Ho Jo\u00ebl Ouaknine and James Worrell. 2014. Online Monitoring of Metric Temporal Logic. In Runtime Verification. 178--192.  Hsi-Ming Ho Jo\u00ebl Ouaknine and James Worrell. 2014. Online Monitoring of Metric Temporal Logic. In Runtime Verification. 178--192.","DOI":"10.1007\/978-3-319-11164-3_15"},{"key":"e_1_3_2_1_13_1","volume-title":"MEMOCODE.","author":"Huang Jinfeng","unstructured":"Jinfeng Huang , Jeroen Voeten , and Marc Geilen . 2003. Real-time Property Preservation in Approximations of Timed Systems . In MEMOCODE. Washington, DC, USA , 163--171. Jinfeng Huang, Jeroen Voeten, and Marc Geilen. 2003. Real-time Property Preservation in Approximations of Timed Systems. In MEMOCODE. Washington, DC, USA, 163--171."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2016.2538207"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"},{"key":"e_1_3_2_1_16_1","unstructured":"Oded Maler and Dejan Nickovic. {n. d.}. Monitoring Temporal Properties of Continuous Signals.  Oded Maler and Dejan Nickovic. {n. d.}. Monitoring Temporal Properties of Continuous Signals."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85778-5_1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_19_1","volume-title":"Revisiting MITL to Fix Decision Procedures","author":"Roohi Nima","unstructured":"Nima Roohi and Mahesh Viswanathan . 2018. Revisiting MITL to Fix Decision Procedures . In VMCAI. Springer International Publishing , 474--494. Nima Roohi and Mahesh Viswanathan. 2018. Revisiting MITL to Fix Decision Procedures. In VMCAI. Springer International Publishing, 474--494."},{"key":"e_1_3_2_1_20_1","volume-title":"Safe Control under Uncertainty. CoRR abs\/1510.07313","author":"Sadigh Dorsa","year":"2015","unstructured":"Dorsa Sadigh and Ashish Kapoor . 2015. Safe Control under Uncertainty. CoRR abs\/1510.07313 ( 2015 ). Dorsa Sadigh and Ashish Kapoor. 2015. Safe Control under Uncertainty. CoRR abs\/1510.07313 (2015)."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Sadahiro Saeki. 1996. A Proof of the Existence of Infinite Product Probability Measures. (1996).  Sadahiro Saeki. 1996. A Proof of the Existence of Infinite Product Probability Measures. (1996).","DOI":"10.2307\/2974880"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/2773579.2773774"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728627"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Y. Wang N. Roohi M. West M. Viswanathan and G. E. Dullerud. 2016. Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction. In IEEE CDC. 3012--3017.  Y. Wang N. Roohi M. West M. Viswanathan and G. E. Dullerud. 2016. Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction. In IEEE CDC. 3012--3017.","DOI":"10.1109\/CDC.2016.7798719"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1089\/dia.2015.0266"},{"key":"e_1_3_2_1_26_1","first-page":"1","article-title":"Parameter-Invariant Monitor Design for Cyber Physical Systems","volume":"99","author":"Weimer J.","year":"2017","unstructured":"J. Weimer , R. Ivanov , S. Chen , A. Roederer , O. Sokolsky , and I. Lee . 2017 . Parameter-Invariant Monitor Design for Cyber Physical Systems . Proc. IEEE PP , 99 (2017), 1 -- 22 . J. Weimer, R. Ivanov, S. Chen, A. Roederer, O. Sokolsky, and I. Lee. 2017. Parameter-Invariant Monitor Design for Cyber Physical Systems. Proc. IEEE PP, 99 (2017), 1--22.","journal-title":"Proc. IEEE PP"}],"event":{"name":"HSCC '18: 21st International Conference on Hybrid Systems: Computation and Control","location":"Porto Portugal","acronym":"HSCC '18","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3178126.3178140","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3178126.3178140","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3178126.3178140","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:02:56Z","timestamp":1750215776000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3178126.3178140"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,11]]},"references-count":26,"alternative-id":["10.1145\/3178126.3178140","10.1145\/3178126"],"URL":"https:\/\/doi.org\/10.1145\/3178126.3178140","relation":{},"subject":[],"published":{"date-parts":[[2018,4,11]]},"assertion":[{"value":"2018-04-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}