Skip to Main content Skip to Navigation
Journal articles

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 metadata
Contributor : Léna Le Roy Connect in order to contact the contributor
Submitted on : Wednesday, June 6, 2018 - 11:13:11 AM
Last modification on : Thursday, February 17, 2022 - 10:08:05 AM



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⟩



Record views