{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T23:03:31Z","timestamp":1774479811535,"version":"3.50.1"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,7,27]],"date-time":"2017-07-27T00:00:00Z","timestamp":1501113600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000028","name":"Semiconductor Research Corporation","doi-asserted-by":"publisher","award":["Terraswarm"],"award-info":[{"award-number":["Terraswarm"]}],"id":[{"id":"10.13039\/100000028","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2017,8]]},"DOI":"10.1007\/s10703-017-0286-7","type":"journal-article","created":{"date-parts":[[2017,7,27]],"date-time":"2017-07-27T06:12:24Z","timestamp":1501135944000},"page":"5-30","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":158,"title":["Robust online monitoring of signal temporal logic"],"prefix":"10.1007","volume":"51","author":[{"given":"Jyotirmoy V.","family":"Deshmukh","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1138-5458","authenticated-orcid":false,"given":"Alexandre","family":"Donz\u00e9","sequence":"additional","affiliation":[]},{"given":"Shromona","family":"Ghosh","sequence":"additional","affiliation":[]},{"given":"Xiaoqing","family":"Jin","sequence":"additional","affiliation":[]},{"given":"Garvit","family":"Juniwal","sequence":"additional","affiliation":[]},{"given":"Sanjit A.","family":"Seshia","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,7,27]]},"reference":[{"key":"286_CR1","doi-asserted-by":"crossref","unstructured":"Annpureddy Y, Liu C, Fainekos G, Sankaranarayanan S (2011) S-TaLiRo: a tool for temporal logic falsification for hybrid systems. In: TACAS. pp 254\u2013257","DOI":"10.1007\/978-3-642-19835-9_21"},{"key":"286_CR2","doi-asserted-by":"crossref","unstructured":"Bartocci E, Bortolussi L, Sanguinetti G (2014) Data-driven statistical learning of temporal logic properties. In: Formal modeling and analysis of timed systems. Springer International Publishing, pp 23\u201337","DOI":"10.1007\/978-3-319-10512-3_3"},{"key":"286_CR3","doi-asserted-by":"crossref","unstructured":"Dokhanchi A, Hoxha B, Fainekos G (2014) On-line monitoring for temporal logic robustness. In: RV. pp 231\u2013246","DOI":"10.1007\/978-3-319-11164-3_19"},{"key":"286_CR4","doi-asserted-by":"crossref","unstructured":"Donz\u00e9 A (2010) Breach, a toolbox for verification and parameter synthesis of hybrid systems. In: CAV. pp 167\u2013170","DOI":"10.1007\/978-3-642-14295-6_17"},{"key":"286_CR5","doi-asserted-by":"crossref","unstructured":"Donz\u00e9 A, Ferr\u00e8re T, Maler O (2013) Efficient robust monitoring for STL. In: CAV. pp 264\u2013279","DOI":"10.1007\/978-3-642-39799-8_19"},{"key":"286_CR6","unstructured":"Donz\u00e9 A, Juniwal G, Jensen JC, Seshia SA, Cpsgrader website. http:\/\/www.cpsgrader.org"},{"key":"286_CR7","doi-asserted-by":"crossref","unstructured":"Donz\u00e9 A, Maler O (2010) Robust satisfaction of temporal logic over real-valued signals. In: Formal modeling and analysis of timed systems. pp 92\u2013106","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"286_CR8","doi-asserted-by":"crossref","unstructured":"Eisner C, Fisman D, Havlicek J, Lustig Y, McIsaac A, Campenhout DV (2003) Reasoning with temporal logic on truncated paths. In: CAV. pp 27\u201339","DOI":"10.1007\/978-3-540-45069-6_3"},{"key":"286_CR9","doi-asserted-by":"crossref","unstructured":"Fainekos G, Sankaranarayanan S, Ueda K, Yazarel H (2012) Verification of automotive control applications using s-taliro. In: Proceedings of the American Control Conference","DOI":"10.1109\/ACC.2012.6315384"},{"issue":"42","key":"286_CR10","doi-asserted-by":"crossref","first-page":"4262","DOI":"10.1016\/j.tcs.2009.06.021","volume":"410","author":"GE Fainekos","year":"2009","unstructured":"Fainekos GE, Pappas GJ (2009) Robustness of temporal logic specifications for continuous-time signals. Theor. Comput. Sci. 410(42):4262\u20134291","journal-title":"Theor. Comput. Sci."},{"key":"286_CR11","doi-asserted-by":"crossref","unstructured":"Ho H-M, Ouaknine J, Worrell J (2014) Online monitoring of metric temporal logic. In: Runtime verification","DOI":"10.1007\/978-3-319-11164-3_15"},{"key":"286_CR12","unstructured":"Hoxha B, Abbas H, Fainekos G (2014) Benchmarks for temporal logic requirements for automotive systems. In: Proceedings of applied verification for continuous and hybrid systems"},{"key":"286_CR13","doi-asserted-by":"crossref","unstructured":"Jaksic S, Bartocci E, Grosu R, Kloibhofer R, Nguyen T, Nickovic D (2015) From signal temporal logic to FPGA monitors. In: 13. ACM\/IEEE international conference on formal methods and models for codesign, MEMOCODE 2015, Austin, 21\u201323 Sept 2015. IEEE, pp 218\u2013227","DOI":"10.1109\/MEMCOD.2015.7340489"},{"key":"286_CR14","doi-asserted-by":"crossref","unstructured":"Jin X, Deshmukh JV, Kapinski J, Ueda K, Butts K (2014) Powertrain control verification benchmark. In: Proceedings of hybrid systems: computation and control. pp 253\u2013262","DOI":"10.1145\/2562059.2562140"},{"key":"286_CR15","doi-asserted-by":"crossref","unstructured":"Jin X, Donz\u00e9 A, Deshmukh JV, Seshia SA (2013) Mining requirements from closed-loop control models. In: Proceedings of HSCC. pp 43\u201352","DOI":"10.1145\/2461328.2461337"},{"key":"286_CR16","doi-asserted-by":"crossref","unstructured":"Juniwal G, Donz\u00e9 A, Jensen JC, Seshia SA (2014) CPSGrader: synthesizing temporal logic testers for auto-grading an embedded systems laboratory. In: EMSOFT","DOI":"10.1145\/2656045.2656053"},{"key":"286_CR17","doi-asserted-by":"crossref","unstructured":"Kong Z, Jones A, Medina Ayala A, Aydin Gol E, Belta C (2014) Temporal logic inference for classification and prediction from data. In: Proceedings of the 17th international conference on hybrid systems: computation and control. ACM, pp 273\u2013282","DOI":"10.1145\/2562059.2562146"},{"key":"286_CR18","unstructured":"Lemire D (2006) Streaming maximum-minimum filter using no more than three comparisons per element. arXiv preprint arXiv:cs\/0610046"},{"key":"286_CR19","doi-asserted-by":"crossref","unstructured":"Maler O, Nickovic D (2004) Monitoring temporal properties of continuous signals. In: FORMATS\/FTRTFT. pp 152\u2013166","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"286_CR20","unstructured":"MATLAB\/Simulink (2015) Version R2015a. The MathWorks Inc., Natick"},{"key":"286_CR21","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1007\/978-3-540-75454-1_22","volume":"4763","author":"D Nickovic","year":"2007","unstructured":"Nickovic D, Maler O (2007) AMT: A property-based monitoring tool for analog systems. Form Model Anal Timed Syst 4763:304\u2013319","journal-title":"Form Model Anal Timed Syst"},{"key":"286_CR22","doi-asserted-by":"crossref","unstructured":"Rodionova A, Bartocci E, Nickovic D, Grosu R (2016) Temporal logic as filtering. In: Abate A, Fainekos GE (eds) Proceedings of the 19th international conference on hybrid systems: computation and control, HSCC 2016, Vienna, 12\u201314 Apr 2016. ACM, pp 11\u201320","DOI":"10.1145\/2883817.2883839"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-017-0286-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-017-0286-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-017-0286-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T13:36:29Z","timestamp":1569936989000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-017-0286-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,27]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,8]]}},"alternative-id":["286"],"URL":"https:\/\/doi.org\/10.1007\/s10703-017-0286-7","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,7,27]]}}}