{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T16:53:20Z","timestamp":1753894400462,"version":"3.41.2"},"reference-count":0,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","license":[{"start":{"date-parts":[[2024,1,11]],"date-time":"2024-01-11T00:00:00Z","timestamp":1704931200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100001665","name":"French National Research Agency","doi-asserted-by":"crossref","award":["ANR-19-CE25-0015"],"award-info":[{"award-number":["ANR-19-CE25-0015"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001665","name":"French National Research Agency","doi-asserted-by":"crossref","award":["ANR-22-CE48-0012"],"award-info":[{"award-number":["ANR-22-CE48-0012"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"crossref"}]},{"name":"National Science Foundation","award":["2038960"],"award-info":[{"award-number":["2038960"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>Monitoring the correctness of distributed cyber-physical systems is\nessential. Detecting possible safety violations can be hard when some samples\nare uncertain or missing. We monitor here black-box cyber-physical system, with\nlogs being uncertain both in the state and timestamp dimensions: that is, not\nonly the logged value is known with some uncertainty, but the time at which the\nlog was made is uncertain too. In addition, we make use of an over-approximated\nyet expressive model, given by a non-linear extension of dynamical systems.\nGiven an offline log, our approach is able to monitor the log against safety\nspecifications with a limited number of false alarms. As a second contribution,\nwe show that our approach can be used online to minimize the number of sample\ntriggers, with the aim at energetic efficiency. We apply our approach to three\nbenchmarks, an anesthesia model, an adaptive cruise controller and an aircraft\norbiting system.<\/jats:p>","DOI":"10.46298\/lmcs-20(1:2)2024","type":"journal-article","created":{"date-parts":[[2024,1,11]],"date-time":"2024-01-11T19:15:09Z","timestamp":1705000509000},"source":"Crossref","is-referenced-by-count":1,"title":["Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model"],"prefix":"10.46298","volume":"Volume 20, Issue 1","author":[{"given":"Bineet","family":"Ghosh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c9tienne","family":"Andr\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"25203","published-online":{"date-parts":[[2024,1,11]]},"container-title":["Logical Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/lmcs.episciences.org\/12859\/pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/lmcs.episciences.org\/12859\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,16]],"date-time":"2024-04-16T15:35:23Z","timestamp":1713281723000},"score":1,"resource":{"primary":{"URL":"https:\/\/lmcs.episciences.org\/10434"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1,11]]},"references-count":0,"URL":"https:\/\/doi.org\/10.46298\/lmcs-20(1:2)2024","relation":{"has-preprint":[{"id-type":"arxiv","id":"2204.11505v3","asserted-by":"subject"},{"id-type":"arxiv","id":"2204.11505v2","asserted-by":"subject"}],"references":[{"id-type":"doi","id":"10.1016\/j.scico.2023.102976","asserted-by":"subject"}],"is-same-as":[{"id-type":"arxiv","id":"2204.11505","asserted-by":"subject"},{"id-type":"doi","id":"10.48550\/arXiv.2204.11505","asserted-by":"subject"}]},"ISSN":["1860-5974"],"issn-type":[{"type":"electronic","value":"1860-5974"}],"subject":[],"published":{"date-parts":[[2024,1,11]]},"article-number":"10434"}}