{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T14:23:57Z","timestamp":1780323837070,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T00:00:00Z","timestamp":1555372800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,4,16]]},"DOI":"10.1145\/3302504.3311817","type":"proceedings-article","created":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T13:37:58Z","timestamp":1554730678000},"page":"45-56","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Temporal logic robustness for general signal classes"],"prefix":"10.1145","author":[{"given":"Houssam","family":"Abbas","sequence":"first","affiliation":[{"name":"Oregon State University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yash Vardhan","family":"Pant","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rahul","family":"Mangharam","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2019,4,16]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Computing Descent Direction of MTL Robustness for Non-Linear Systems. In American Control Conference.","author":"Abbas H.","unstructured":"H. Abbas and G. Fainekos . 2013 . Computing Descent Direction of MTL Robustness for Non-Linear Systems. In American Control Conference. H. Abbas and G. Fainekos. 2013. Computing Descent Direction of MTL Robustness for Non-Linear Systems. In American Control Conference."},{"key":"e_1_3_2_1_2_1","volume-title":"Time Robustness in MTL and Expressivity in Hybrid System Falsification","author":"Akazaki Takumi","unstructured":"Takumi Akazaki and Ichiro Hasuo . 2015. Time Robustness in MTL and Expressivity in Hybrid System Falsification . In Computer Aided Verification, Daniel Kroening and Corina S. P\u0103s\u0103reanu (Eds.). Springer International Publishing , Cham , 356--374. Takumi Akazaki and Ichiro Hasuo. 2015. Time Robustness in MTL and Expressivity in Hybrid System Falsification. In Computer Aided Verification, Daniel Kroening and Corina S. P\u0103s\u0103reanu (Eds.). Springer International Publishing, Cham, 356--374."},{"key":"e_1_3_2_1_3_1","volume-title":"Seshia","author":"Deshmukh Jyotirmoy V.","year":"2015","unstructured":"Jyotirmoy V. Deshmukh , Alexandre Donz\u00e9 , Shromona Ghosh , Xiaoqing Jin , Garvit Juniwal , and Sanjit A . Seshia . 2015 . Robust Online Monitoring of Signal Temporal Logic. In Runtime Verification, Ezio Bartocci and Rupak Majumdar (Eds.). Springer International Publishing , Cham, 55--70. Jyotirmoy V. Deshmukh, Alexandre Donz\u00e9, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, and Sanjit A. Seshia. 2015. Robust Online Monitoring of Signal Temporal Logic. In Runtime Verification, Ezio Bartocci and Rupak Majumdar (Eds.). Springer International Publishing, Cham, 55--70."},{"key":"e_1_3_2_1_4_1","volume-title":"Proc. of Runtime Verification.","author":"Dokhanchi A.","unstructured":"A. Dokhanchi , B. Hoxha , and G. Fainekos . 2014. Online Monitoring for Temporal Logic Robustness . In Proc. of Runtime Verification. A. Dokhanchi, B. Hoxha, and G. Fainekos. 2014. Online Monitoring for Temporal Logic Robustness. In Proc. of Runtime Verification."},{"key":"e_1_3_2_1_5_1","volume-title":"Efficient Robust Monitoring for STL","author":"Donz\u00e9 Alexandre","unstructured":"Alexandre Donz\u00e9 , Thomas Ferr\u00e8re , and Oded Maler . 2013. Efficient Robust Monitoring for STL . In Computer Aided Verification, Natasha Sharygina and Helmut Veith (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 264--279. Alexandre Donz\u00e9, Thomas Ferr\u00e8re, and Oded Maler. 2013. Efficient Robust Monitoring for STL. In Computer Aided Verification, Natasha Sharygina and Helmut Veith (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 264--279."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1885174.1885183"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.1986.4767753"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"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. In Formal Modeling and Analysis of Timed Systems, Jean-Fran\u00e7ois Raskin and P. S. Thiagarajan (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg, 147--162. Georgios E. Fainekos and George J. Pappas. 2007. Robust Sampling for MITL Specifications. In Formal Modeling and Analysis of Timed Systems, Jean-Fran\u00e7ois Raskin and P. S. Thiagarajan (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 147--162."},{"key":"e_1_3_2_1_10_1","volume-title":"A Linear Algebra Introduction to Wavelets","author":"Frazier Michael W.","unstructured":"Michael W. Frazier . 1999. A Linear Algebra Introduction to Wavelets . Springer . Michael W. Frazier. 1999. A Linear Algebra Introduction to Wavelets. Springer."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cam.2009.12.035"},{"key":"e_1_3_2_1_12_1","unstructured":"Stefan Jaksic Ezio Bartocci Radu Grosu and Dejan Nickovic. 2018. An Algebraic Framework for Runtime Verification. arXiv:cs.LO\/1802.03775  Stefan Jaksic Ezio Bartocci Radu Grosu and Dejan Nickovic. 2018. An Algebraic Framework for Runtime Verification. arXiv:cs.LO\/1802.03775"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"},{"key":"e_1_3_2_1_14_1","unstructured":"Alois Kufner and Lars-Erik Persson. {n. d.}. Weighted Inequalities of Hardy Type. World Scientific.  Alois Kufner and Lars-Erik Persson. {n. d.}. Weighted Inequalities of Hardy Type. World Scientific."},{"key":"e_1_3_2_1_15_1","volume-title":"2017 American Control Conference (ACC). 2950--2955","author":"Lindemann L.","unstructured":"L. Lindemann and D. V. Dimarogonas . 2017. Robust motion planning employing signal temporal logic . In 2017 American Control Conference (ACC). 2950--2955 . L. Lindemann and D. V. Dimarogonas. 2017. Robust motion planning employing signal temporal logic. In 2017 American Control Conference (ACC). 2950--2955."},{"key":"e_1_3_2_1_16_1","unstructured":"Medtronic. 2018. http:\/\/www.medtronic.com\/us-en\/patients\/treatments-therapies\/heart-monitors\/our-monitors\/reveal-linq-icm.html  Medtronic. 2018. http:\/\/www.medtronic.com\/us-en\/patients\/treatments-therapies\/heart-monitors\/our-monitors\/reveal-linq-icm.html"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-07-01923-0"},{"key":"e_1_3_2_1_18_1","volume-title":"AMT: A Property-Based Monitoring Tool for Analog Systems. In FORMATS (LNCS)","author":"Nickovic Dejan","year":"2007","unstructured":"Dejan Nickovic and Oded Maler . 2007 . AMT: A Property-Based Monitoring Tool for Analog Systems. In FORMATS (LNCS) , Vol. 4763 . Springer , 304--319. Dejan Nickovic and Oded Maler. 2007. AMT: A Property-Based Monitoring Tool for Analog Systems. In FORMATS (LNCS), Vol. 4763. Springer, 304--319."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA.2017.8062628"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2018.00026"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178140"},{"key":"e_1_3_2_1_22_1","volume-title":"Spline functions: basic theory","author":"Schumaker Larry L.","unstructured":"Larry L. Schumaker . 2007. Spline functions: basic theory . Cambridge University Press . Larry L. Schumaker. 2007. Spline functions: basic theory. Cambridge University Press."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSP.2008.924856"},{"key":"e_1_3_2_1_24_1","volume-title":"Sinnaeve","author":"Stroobandt Roland X.","year":"2009","unstructured":"Roland X. Stroobandt , S. Serge Barold , and Alfons F . Sinnaeve . 2009 . Implantable Cardioverter - Defibrillators Step by Step. Wiley . Roland X. Stroobandt, S. Serge Barold, and Alfons F. Sinnaeve. 2009. Implantable Cardioverter - Defibrillators Step by Step. Wiley."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.843002"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/78.330352"}],"event":{"name":"HSCC '19: 22nd ACM International Conference on Hybrid Systems: Computation and Control","location":"Montreal Quebec Canada","acronym":"HSCC '19","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302504.3311817","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3302504.3311817","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:25:37Z","timestamp":1750206337000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302504.3311817"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,16]]},"references-count":26,"alternative-id":["10.1145\/3302504.3311817","10.1145\/3302504"],"URL":"https:\/\/doi.org\/10.1145\/3302504.3311817","relation":{},"subject":[],"published":{"date-parts":[[2019,4,16]]},"assertion":[{"value":"2019-04-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}