English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

Online monitoring aims to evaluate or to predict, at runtime, whether or notthe behaviors of a system satisfy some desired specification. It plays a keyrole in safety-critical cyber-physical systems. In this work, we propose a newmodel-based approach for online monitoring for specifications described bySignal Temporal Logic (STL) formulae. Specifically, we assume that the observedstate traces are generated by an underlying dynamic system whose model isknown. The main idea is to consider the dynamic of the system when evaluatingthe satisfaction of the STL formulae. To this end, effective approaches for thecomputation of feasible sets for STL formulae are provided. We show that, byexplicitly utilizing the model information of the dynamic system, the proposedonline monitoring algorithm can falsify or certify of the specification inadvance compared with existing algorithms, where no model information is used.We also demonstrate the proposed monitoring algorithm by case studies.

Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information