2 papers
cs.FL2020
Kontrol Edilebilir ptSTL Formulu Sentezi -- Synthesis of Controllable ptSTL Formulas
Irmak Saglam, Ebru Aydin Gol
In this work, we develop an approach to anomaly detection and prevention problem using Signal Temporal Logic (STL). This approach consists of two steps: detection of the causes of…
cs.LO2019
Cause Mining and Controller Synthesis with STL
Irmak Saglam, Ebru Aydin Gol
Formal control of cyber-physical systems allows for synthesis of control strategies from rich specifications such as temporal logics. However, the classes of systems that the forma…