Reactive property monitoring of hybrid systems with aggregation

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.
Document type :
Journal articles
Complete list of metadatas

https://hal-cea.archives-ouvertes.fr/cea-01808889
Contributor : Léna Le Roy <>
Submitted on : Wednesday, June 6, 2018 - 11:13:11 AM
Last modification on : Friday, July 26, 2019 - 4:26:20 PM

Identifiers

Collections

Citation

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

Share

Metrics

Record views

40