Reactive property monitoring of hybrid systems with aggregation - Archive ouverte HAL Access content directly
Journal Articles Lecture Notes in Computer Science Year : 2016

Reactive property monitoring of hybrid systems with aggregation

(1)
1

Abstract

This work is related to our monitoring tool called ARTi-Mon for the property monitoring of hybrid systems. We explain how the aggregation operator of its language derives naturally from a generalization of the eventually operator as introduced by Maler and Nickovik for MITL[a,b]. We present its syntax and its semantics using an interval based representation of piecewise-constant functions. We define an online algorithm for its semantics calculus coupled with an elimination of irrelevant intervals in order to keep the memory resource bounded.
Not file

Dates and versions

cea-01808889 , version 1 (06-06-2018)

Identifiers

Cite

N. Rapin. Reactive property monitoring of hybrid systems with aggregation. Lecture Notes in Computer Science, 2016, 10012 LNCS, pp.447-453. ⟨10.1007/978-3-319-46982-9_28⟩. ⟨cea-01808889⟩
22 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More