MoULDyS: Monitoring of autonomous systems in the presence of uncertainties - Archive ouverte HAL
Article Dans Une Revue Science of Computer Programming Année : 2023

MoULDyS: Monitoring of autonomous systems in the presence of uncertainties

Résumé

We introduce MoULDyS, that implements efficient offline and online monitoring algorithms of black-box cyber-physical systems w.r.t. safety properties. MoULDyS takes as input an uncertain log (with noisy and missing samples), as well as a bounding model in the form of an uncertain linear system; this latter model plays the role of an over-approximation so as to reduce the number of false alarms. MoULDyS is Python-based and available under the GNU General Public License v3.0 (gpl-3.0). We further provide easy-to-use scripts to recreate the results of two case studies introduced in an earlier work.

Dates et versions

hal-04661688 , version 1 (25-07-2024)

Licence

Copyright (Tous droits réservés)

Identifiants

Citer

Bineet Ghosh, Étienne André. MoULDyS: Monitoring of autonomous systems in the presence of uncertainties. Science of Computer Programming, 2023, 230, pp.102976. ⟨10.1016/j.scico.2023.102976⟩. ⟨hal-04661688⟩
40 Consultations
0 Téléchargements

Altmetric

Partager

More