We investigate online monitoring algorithms over dense-time and continuous-time signals
for properties written in metric temporal logic (MTL). We consider an abstract algebraic …

Monitoring of hybrid systems attracts both scientific and practical attention. However,
monitoring algorithms suffer from the methodological difficulty of only observing sampled …

We investigate online monitoring algorithms over dense-time and continuous-time signals
for properties written in metric temporal logic (MTL). We consider an abstract algebraic …

Given a log and a specification, timed pattern matching aims at exhibiting for which start and
end dates a specification holds on that log. For example,“a given action is always followed …

The rise of machine learning and cloud technologies has led to a remarkable influx of data
within modern cyber-physical systems. However, extracting meaningful information from this …

We study several classes of symbolic weighted formalisms: automata (swA), transducers
(swT) and visibly pushdown extensions (swVPA, swVPT). They combine the respective …

Monitoring the correctness of distributed cyber-physical systems is essential. Detecting
possible safety violations can be hard when some samples are uncertain or missing. We …

In this paper, we present learning algorithms for symbolic weighted finite automata (SWFAs)
with the investigation of some essential properties of SWFAs. SWFAs can be seen as the …

This thesis aims to improve the practical effectivity of runtime verification, monitoring with
logics. Our main application is the safety monitoring of cyber-physical systems (CPSs), eg …

{" dateType":" Available"," dateValue":" 2020-11-11"}]," displaytype":" simple","
download_preview_message":""," file_order": 0," filename":" 甲 2198. pdf"," filesize":[{" …