"CoCoSTLLib" is a Simulink custom library of basic STL operators.
- Matlab/Simulink R2019b or higher;
- older versions of Matlab/Simulink users please use CoCoSTLib_R2015b.slx.
Add this folder to Matlab path, run add2browser, and this library should appear in the library browser. If not, refresh in library browser.
Signal Temporal Logic (STL) is a formalism to express predicates on the values of signals. STL formulas consist of atomic predicates connected by Boolean and temporal operators.
More info in "Developing a Simulink Library to Verify Signal Temporal Logic Specifications.pdf".
- This library is built on top of Balsini et al's SignalTemplateLibraryAutogen