[{"creator":{"id":"4435EBFC-F248-11E8-B48F-1D18A9856A87","login":"apreinsp"},"publist_id":"7152","publication_status":"published","department":[{"_id":"ToHe","tree":[{"_id":"ResearchGroups"},{"_id":"IST"}]}],"editor":[{"first_name":"Alessandro","last_name":"Abate"},{"first_name":"Gilles","last_name":"Geeraerts"}],"date_created":"2018-12-11T11:47:38Z","dini_type":"doc-type:conferenceObject","date_updated":"2021-01-12T08:07:14Z","volume":10419,"author":[{"first_name":"Alexey","last_name":"Bakhirkin"},{"id":"40960E6E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5199-3143","first_name":"Thomas","last_name":"Ferrere"},{"first_name":"Oded","last_name":"Maler"},{"last_name":"Ulus","first_name":"Dogan"}],"month":"08","publication_identifier":{"isbn":[]},"quality_controlled":"1","project":[{"call_identifier":"FWF","name":"Moderne Concurrency Paradigms","_id":"25F5A88A-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FWF","name":"The Wittgenstein Prize","_id":"25F42A32-B435-11E9-9278-68D0E5697425"}],"main_file_link":[{"url":"https://hal.archives-ouvertes.fr/hal-01552132","open_access":"1"}],"oa":1,"language":[{}],"conference":{"start_date":"2017-09-05","location":"Berlin, Germany","end_date":"2017-09-07","name":"FORMATS: Formal Modelling and Analysis of Timed Systems"},"alternative_title":[],"type":"conference","abstract":[{"lang":"eng"}],"status":"public","intvolume":" 10419","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","_id":"636","oa_version":"Submitted Version","scopus_import":1,"dc":{"creator":["Bakhirkin, Alexey","Ferrere, Thomas","Maler, Oded","Ulus, Dogan","Abate, Alessandro","Geeraerts, Gilles"],"type":["info:eu-repo/semantics/conferenceObject","doc-type:conferenceObject","text","http://purl.org/coar/resource_type/c_5794"],"identifier":["https://research-explorer.ista.ac.at/record/636"],"description":["Signal regular expressions can specify sequential properties of real-valued signals based on threshold conditions, regular operations, and duration constraints. In this paper we endow them with a quantitative semantics which indicates how robustly a signal matches or does not match a given expression. First, we show that this semantics is a safe approximation of a distance between the signal and the language defined by the expression. Then, we consider the robust matching problem, that is, computing the quantitative semantics of every segment of a given signal relative to an expression. We present an algorithm that solves this problem for piecewise-constant and piecewise-linear signals and show that for such signals the robustness map is a piecewise-linear function. The availability of an indicator describing how robustly a signal segment matches some regular pattern provides a general framework for quantitative monitoring of cyber-physical systems."],"date":["2017"],"language":["eng"],"source":["Bakhirkin A, Ferrere T, Maler O, Ulus D. On the quantitative semantics of regular expressions over real-valued signals. In: Abate A, Geeraerts G, eds. Vol 10419. Springer; 2017:189-206. doi:10.1007/978-3-319-65765-3_11"],"rights":["info:eu-repo/semantics/openAccess"],"title":["On the quantitative semantics of regular expressions over real-valued signals","LNCS"],"publisher":["Springer"],"relation":["info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-65765-3_11","info:eu-repo/semantics/altIdentifier/isbn/978-331965764-6","info:eu-repo/grantAgreement/FWF//S11402-N23","info:eu-repo/grantAgreement/FWF//Z211"]},"day":"03","uri_base":"https://research-explorer.ista.ac.at","page":"189 - 206","citation":{"ista":"Bakhirkin A, Ferrere T, Maler O, Ulus D. 2017. On the quantitative semantics of regular expressions over real-valued signals. FORMATS: Formal Modelling and Analysis of Timed Systems, LNCS, vol. 10419, 189–206.","apa":"Bakhirkin, A., Ferrere, T., Maler, O., & Ulus, D. (2017). On the quantitative semantics of regular expressions over real-valued signals. In A. Abate & G. Geeraerts (Eds.) (Vol. 10419, pp. 189–206). Presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany: Springer. https://doi.org/10.1007/978-3-319-65765-3_11","ieee":"A. Bakhirkin, T. Ferrere, O. Maler, and D. Ulus, “On the quantitative semantics of regular expressions over real-valued signals,” presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany, 2017, vol. 10419, pp. 189–206.","chicago":"Bakhirkin, Alexey, Thomas Ferrere, Oded Maler, and Dogan Ulus. “On the Quantitative Semantics of Regular Expressions over Real-Valued Signals.” edited by Alessandro Abate and Gilles Geeraerts, 10419:189–206. Springer, 2017. https://doi.org/10.1007/978-3-319-65765-3_11.","mla":"Bakhirkin, Alexey, et al. On the Quantitative Semantics of Regular Expressions over Real-Valued Signals. Edited by Alessandro Abate and Gilles Geeraerts, vol. 10419, Springer, 2017, pp. 189–206, doi:10.1007/978-3-319-65765-3_11.","short":"A. Bakhirkin, T. Ferrere, O. Maler, D. Ulus, in:, A. Abate, G. Geeraerts (Eds.), Springer, 2017, pp. 189–206."},"date_published":"2017-08-03T00:00:00Z"}]