Repository logo
 

Fast and scalable monitoring for value-freeze operator augmented signal temporal logic

Simple item page
dc.contributor.authorGhorbel, Bassem, author
dc.contributor.authorPrabhu, Vinayak S., author
dc.contributor.authorACM, publisher
dc.date.accessioned2024-11-11T19:34:35Z
dc.date.available2024-11-11T19:34:35Z
dc.date.issued2024-05-14
dc.description.abstractSignal Temporal Logic (STL) is a timed temporal logic formalism that has found widespread adoption for rigorous specification of properties in Cyber-Physical Systems. However, STL is unable to specify oscillatory properties commonly required in engineering design. This limitation can be overcome by the addition of additional operators, for example, signal-value freeze operators, or with first order quantification. Previous work on augmenting STL with such operators has resulted in intractable monitoring algorithms. We present the first efficient and scalable offline monitoring algorithms for STL augmented with independent freeze quantifiers. Our final optimized algorithm has a |ρ|log(|ρ|) dependence on the trace length |ρ| for most traces ρ arising in practice, and a |ρ|2 dependence in the worst case. We also provide experimental validation of our algorithms – we show the algorithms scale to traces having 100k time samples.
dc.format.mediumborn digital
dc.format.mediumarticles
dc.identifier.bibliographicCitationBassem Ghorbel and Vinayak S. Prabhu. 2024. Fast and Scalable Monitoring for Value-Freeze Operator augmented Signal Temporal Logic. In 27th ACM International Conference on Hybrid Systems: Computation and Control (HSCC '24), May 14–16, 2024, Hong Kong SAR, China. ACM, New York, NY, USA, 12 pages. https://doi.org/10.1145/3641513.3650128
dc.identifier.doihttps://doi.org/10.1145/3641513.3650128
dc.identifier.urihttps://hdl.handle.net/10217/239544
dc.languageEnglish
dc.language.isoeng
dc.publisherColorado State University. Libraries
dc.relation.ispartofPublications
dc.relation.ispartofACM DL Digital Library
dc.rights©Gassem Ghorbel, et al. ACM 2024. This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in HSCC '24, https://dx.doi.org/10.1145/3641513.3650128.
dc.subjectsignal temporal logic
dc.subjectcyber-physical systems
dc.subjectalgorithms
dc.subjectvalue-freezing
dc.titleFast and scalable monitoring for value-freeze operator augmented signal temporal logic
dc.typeText

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
FACF_ACMOA_3641513.3650128.pdf
Size:
838.37 KB
Format:
Adobe Portable Document Format
Download

Collections

Publications