MoULDyS: Monitoring of Autonomous Systems in the Presence of Uncertainties
<|reference_start|>MoULDyS: Monitoring of Autonomous Systems in the Presence of Uncertainties: 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.<|reference_end|>
@article{ghosh2024mouldys:,
    title={MoULDyS: Monitoring of Autonomous Systems in the Presence of
  Uncertainties},
    author={Bineet Ghosh and 'Etienne Andr'e},
    journal={Science of Computer Programming, Volume 230, 2023},
    year={2024},
    doi={10.1016/j.scico.2023.102976},
    archivePrefix={arXiv},
    eprint={2407.17201},
    primaryClass={eess.SY cs.SY}
}