[HTML][HTML] Survey on mining signal temporal logic specifications
Formal specifications play an essential role in the life-cycle of modern systems, both at the
time of their design and during their operation. Despite their importance, formal …
time of their design and during their operation. Despite their importance, formal …
An automated system repair framework with signal temporal logic
M Ergurtuna, B Yalcinkaya, E Aydin Gol - Acta Informatica, 2022 - Springer
We present an automated system repair framework for cyber-physical systems. The
proposed framework consists of three main steps:(1) system simulation and fault detection to …
proposed framework consists of three main steps:(1) system simulation and fault detection to …
Retrieval-augmented mining of temporal logic specifications from data
G Saveri, L Bortolussi - Joint European Conference on Machine Learning …, 2024 - Springer
The integration of cyber-physical systems (CPS) into everyday life raises the critical
necessity of ensuring their safety and reliability. An important step in this direction is …
necessity of ensuring their safety and reliability. An important step in this direction is …
Intelligent information security management of cyber-physical systems
YA Shichkina, RR Fatkieva - 2021 II International Conference …, 2021 - ieeexplore.ieee.org
A method of information security management has been developed using structural-
parametric synthesis of models of cyber-physical systems based on piecemeal-linear …
parametric synthesis of models of cyber-physical systems based on piecemeal-linear …
Foundations of modal symbolic learning
IE Stan - 2023 - repository.unipr.it
Traditional symbolic learning is the sub-field of machine learning that aims to learn symbolic
models from structured data, representing propositional logic theories, and its investigation …
models from structured data, representing propositional logic theories, and its investigation …
Synthesis of past time signal temporal logic formulas using monotonicity properties
M Ergürtuna - 2020 - open.metu.edu.tr
Due to its expressivity and efficient algorithms, Signal Temporal Logic (STL) is widely used
in runtime verification, formal control and analysis of time series data. While it is relatively …
in runtime verification, formal control and analysis of time series data. While it is relatively …
Synthesis of Controllable ptSTL Formulas
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 …
Signal Temporal Logic (STL). This approach consists of two steps: detection of the causes of …
Kontrol Edilebilir ptSTL Formulu Sentezi--Synthesis of Controllable ptSTL Formulas
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 …
Signal Temporal Logic (STL). This approach consists of two steps: detection of the causes of …