Reactive property monitoring of hybrid systems with aggregation - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Accéder directement au contenu
Article Dans Une Revue Lecture Notes in Computer Science Année : 2016

Reactive property monitoring of hybrid systems with aggregation

Résumé

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.
Fichier non déposé

Dates et versions

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

Identifiants

Citer

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⟩
30 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More