A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
We introduce in this paper AMT 2.0, a tool for qualitative and quantitative analysis of hybrid (mixed) signals that combines numerical values and discrete events. The evaluation of the signals is based on rich temporal specifications expressed in extended Signal Temporal Logic (xSTL), which combines Signal Temporal Logic (STL) with Timed Regular Expressions (TRE). The tool features qualitative monitoring (property satisfaction checking), trace diagnostics for explaining and justifying propertydoi:10.1007/978-3-319-89963-3_18 fatcat:cokvtqy2ezgyrcv64iv3xcbt6a