Advertisement

Reactive Property Monitoring of Hybrid Systems with Aggregation

  • Nicolas RapinEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10012)

Abstract

This work is related to our monitoring tool called ARTiMon 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 on-line algorithm for its semantics calculus coupled with an elimination of irrelevant intervals in order to keep the memory resource bounded.

References

  1. 1.
    Basin, D., Klaedtke, F., Marinovic, S., Zălinescu, E.: Monitoring of temporal first-order properties with aggregations. Form. Meth. Syst. Des. 46(3), 262–285 (2015)CrossRefzbMATHGoogle Scholar
  2. 2.
    Basin, D., Klaedtke, F., Zălinescu, E.: Greedily computing associative aggregations on sliding windows. Inf. Process. Lett. 115(2), 186–192 (2015)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Finkbeiner, B., Sankaranarayanan, S., Sipma, H.B.: Collecting statistics over runtime executions. Form. Meth. Syst. Des. 27(3), 253–274 (2005)CrossRefzbMATHGoogle Scholar
  4. 4.
    Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS 2004 and FTRTFT 2004. LNCS, vol. 3253, pp. 152–166. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  5. 5.
    Nickovic, D., Maler, O.: AMT: a property-based monitoring tool for analog systems. In: Raskin, J.-F., Thiagarajan, P.S. (eds.) FORMATS 2007. LNCS, vol. 4763, pp. 304–319. Springer, Heidelberg (2007). doi: 10.1007/978-3-540-75454-1_22 CrossRefGoogle Scholar
  6. 6.
    Rapin, N.: Procede et dispositif permettant de generer un systeme de controle a partir de comportements redoutes specifies. PCT/Ep. 2011/072221, December 2011Google Scholar

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  1. 1.CEA LISTGif sur YvetteFrance

Personalised recommendations