HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis

Résumé

We present HySIA: a reliable runtime verification tool for nonlinear hybrid automata (HA) and signal temporal logic (STL) properties. HySIA simulates an HA with interval analysis techniques so that a trajectory is enclosed sharply within a set of intervals. Then, HySIA computes whether the simulated trajectory satisfies a given STL property; the computation is performed again with interval analysis to achieve reliability. Simulation and verification using HySIA are demonstrated through several example HA and STL formulas.

Dates et versions

hal-01731569 , version 1 (14-03-2018)

Identifiants

Citer

Alexandre Goldsztejn, Daisuke Ishii. HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis. The 17th International Conference on Runtime Verification, Sep 2017, Seatle, United States. pp.370-379, ⟨10.1007/978-3-319-67531-2⟩. ⟨hal-01731569⟩
97 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More