Algebraic quantitative semantics for efficient online temporal monitoring
type: Item
instance of: scholarly article
title: Algebraic quantitative semantics for efficient online temporal monitoring
zbMATH Open document ID: 1467.68088
DOI: 10.1007/978-3-030-72016-2_18
author: Konstantinos Mamouras
author: Agnishom Chattopadhyay
author: Zhifu Wang
publication date: 2021-08-04T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 7378311
zbMATH Keywords: online monitoring
zbMATH Keywords: verification
zbMATH Keywords: quantitative semantics
MaRDI profile type: Publication
full work available at URL: 978-3-030-72016-2 18
OpenAlex ID: W3137814233
cites work: Quantitative Regular Expressions for Arrhythmia Detection Algorithms
cites work: Time robustness in MTL and expressivity in hybrid system falsification
cites work: Streamable regular transductions
cites work: Automata-Based Stream Processing
cites work: Synchronous programming with events and relations: The SIGNAL language and its semantics
cites work: The Esterel synchronous programming language: Design, semantics, implementation
cites work: Robust online monitoring of signal temporal logic
cites work: Robust Satisfaction of Temporal Logic over Real-Valued Signals
cites work: Robustness of temporal logic specifications for continuous-time signals
cites work: From Real-time Logic to Timed Automata
cites work: Quantitative monitoring of STL with edit distance
cites work: Q4054644
cites work: Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing
cites work: Q5757091
cites work: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
cites work: Formal Modeling and Analysis of Timed Systems
cites work: From MITL to Timed Automata
description: scientific article; zbMATH DE number 7378311