{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T15:06:45Z","timestamp":1776784005415,"version":"3.51.2"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030605070","type":"print"},{"value":"9783030605087","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-60508-7_20","type":"book-chapter","created":{"date-parts":[[2020,10,7]],"date-time":"2020-10-07T04:33:06Z","timestamp":1602045186000},"page":"359-382","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Logical Signal Processing: A Fourier Analysis of Temporal Logic"],"prefix":"10.1007","author":[{"given":"Niraj","family":"Basnet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Houssam","family":"Abbas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,10,2]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Abbas, H., Mangharam, R.: Generalized robust MTL semantics for problems in cardiac electrophysiology. In: 2018 Annual American Control Conference (ACC), pp. 1592\u20131597 (2018)","DOI":"10.23919\/ACC.2018.8431460"},{"key":"20_CR2","doi-asserted-by":"publisher","unstructured":"Abbas, H., Pant, Y.V., Mangharam, R.: Temporal logic robustness for general signal classes. In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, pp. 45\u201356. Association for Computing Machinery, New York (2019). https:\/\/doi.org\/10.1145\/3302504.3311817","DOI":"10.1145\/3302504.3311817"},{"key":"20_CR3","series-title":"Progress in Mathematical Physics","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0049-9","volume-title":"Mathematical Methods in Physics","author":"P Blanchard","year":"2003","unstructured":"Blanchard, P., Br\u00fcning, E.: Mathematical Methods in Physics. Progress in Mathematical Physics. Birkh\u00e4ser, Basel (2003)"},{"issue":"7","key":"20_CR4","doi-asserted-by":"publisher","first-page":"877","DOI":"10.1109\/TCSI.2003.813965","volume":"50","author":"OM Boaghe","year":"2003","unstructured":"Boaghe, O.M., Billings, S.A.: Subharmonic oscillation modeling and MISO Volterra series. IEEE Trans. Circ. Syst. I Fundam. Theory Appl. 50(7), 877\u2013884 (2003)","journal-title":"IEEE Trans. Circ. Syst. I Fundam. Theory Appl."},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Boyd, S., Chua, L.: Fading memory and the problem of approximating nonlinear operators with Volterra series. IEEE Trans. Circ. Syst. CAS-32(11), 1150\u20131161 (1985)","DOI":"10.1109\/TCS.1985.1085649"},{"issue":"6","key":"20_CR6","doi-asserted-by":"publisher","first-page":"801","DOI":"10.1061\/(ASCE)EM.1943-7889.0000113","volume":"136","author":"L Carassale","year":"2010","unstructured":"Carassale, L., Kareem, A.: Modeling nonlinear systems by Volterra series. J. Eng. Mech. 136(6), 801\u2013818 (2010)","journal-title":"J. Eng. Mech."},{"key":"20_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-15297-9_9","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A., Maler, O.: Robust satisfaction of temporal logic over real-valued signals. In: Chatterjee, K., Henzinger, T.A. (eds.) FORMATS 2010. LNCS, vol. 6246, pp. 92\u2013106. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15297-9_9"},{"key":"20_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-33386-6_9","volume-title":"Automated Technology for Verification and Analysis","author":"A Donz\u00e9","year":"2012","unstructured":"Donz\u00e9, A., Maler, O., Bartocci, E., Nickovic, D., Grosu, R., Smolka, S.: On temporal logic and signal processing. In: Chakraborty, S., Mukund, M. (eds.) ATVA 2012. LNCS, pp. 92\u2013106. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33386-6_9"},{"issue":"42","key":"20_CR9","doi-asserted-by":"publisher","first-page":"4262","DOI":"10.1016\/j.tcs.2009.06.021","volume":"410","author":"G Fainekos","year":"2009","unstructured":"Fainekos, G., Pappas, G.: Robustness of temporal logic specifications for continuous-time signals. Theor. Comput. Sci. 410(42), 4262\u20134291 (2009)","journal-title":"Theor. Comput. Sci."},{"key":"20_CR10","volume-title":"Image Structure","author":"L Florack","year":"2013","unstructured":"Florack, L.: Image Structure. Kluwer Academics, Dordrecht (2013)"},{"issue":"11","key":"20_CR11","doi-asserted-by":"publisher","first-page":"2233","DOI":"10.1109\/TCAD.2018.2858460","volume":"37","author":"S Jaksi\u0107","year":"2018","unstructured":"Jaksi\u0107, S., Bartocci, E., Grosu, R., Nickovi\u0107, D.: An algebraic framework for runtime verification. IEEE Trans. Comput. Aided Des. Integr. Circ. Syst. 37(11), 2233\u20132243 (2018)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circ. Syst."},{"key":"20_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-12391-2","volume-title":"Frequency Domain Analysis and Design of Nonlinear Systems Based on Volterra Series Expansion","author":"X Jing","year":"2015","unstructured":"Jing, X., Lang, Z.: Frequency Domain Analysis and Design of Nonlinear Systems Based on Volterra Series Expansion. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-12391-2"},{"key":"20_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"O Maler","year":"2004","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS\/FTRTFT -2004. LNCS, vol. 3253, pp. 152\u2013166. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30206-3_12"},{"key":"20_CR14","doi-asserted-by":"publisher","unstructured":"Rodionova, A., Bartocci, E., Nickovic, D., Grosu, R.: Temporal logic as filtering. In: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, pp. 11\u201320. Association for Computing Machinery, New York (2016). https:\/\/doi.org\/10.1145\/2883817.2883839","DOI":"10.1145\/2883817.2883839"},{"issue":"6","key":"20_CR15","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1109\/81.585959","volume":"44","author":"IW Sandberg","year":"1997","unstructured":"Sandberg, I.W., Xu, L.: Uniform approximation of multidimensional myopic maps. IEEE Trans. Circ. Syst. I Fundam. Theory Appl. 44(6), 477\u2013500 (1997)","journal-title":"IEEE Trans. Circ. Syst. I Fundam. Theory Appl."},{"key":"20_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-030-01090-4_16","volume-title":"Automated Technology for Verification and Analysis","author":"S Silvetti","year":"2018","unstructured":"Silvetti, S., Nenzi, L., Bartocci, E., Bortolussi, L.: Signal convolution logic. In: Lahiri, S.K., Wang, C. (eds.) ATVA 2018. LNCS, vol. 11138, pp. 267\u2013283. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-01090-4_16"},{"key":"20_CR17","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1109\/PROC.1976.10110","volume":"64","author":"D Slepian","year":"1976","unstructured":"Slepian, D.: On bandwidth. Proc. IEEE 64, 292\u2013300 (1976)","journal-title":"Proc. IEEE"},{"issue":"6","key":"20_CR18","doi-asserted-by":"publisher","first-page":"950","DOI":"10.1109\/83.503911","volume":"5","author":"S Thurnhofer","year":"1996","unstructured":"Thurnhofer, S., Mitra, S.K.: A general framework for quadratic Volterra filters for edge enhancement. IEEE Trans. Image Process. 5(6), 950\u2013963 (1996). https:\/\/doi.org\/10.1109\/83.503911","journal-title":"IEEE Trans. Image Process."}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-60508-7_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,24]],"date-time":"2021-04-24T08:34:50Z","timestamp":1619253290000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-60508-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030605070","9783030605087"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-60508-7_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"2 October 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Runtime Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Los Angeles, CA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 October 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 October 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rv2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/rv20.ait.ac.at\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"43","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"14","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"33% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.95","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.82","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Also accepted and included: an invited paper, 5 tutorial, 6 tool papers, and a benchmark paper. The conference was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}