TY  - THES
AU  - Romero Flores, Javier
AU  - Vernyuk, Dmytro
A3  - Requeno, José Ignacio
PY  - 2022
UR  - https://hdl.handle.net/20.500.14352/3179
AB  - Este Trabajo de Fin de Grado tiene principalmente como objetivo la ampliación de las capacidades de análisis de las herramientas para la vericación de los sistemas ciberfísicos en tiempo de ejecución. Los requisitos de la vericación están expresados...
AB  - The purpose of this Final Degree Project is mainly to expand the analysis capabilities of the tools for the verication of cyber-physical systems at runtime. The verication requirements are expressed in Signal Temporal Logic (STL), a type of temporal...
LA  - spa
KW  - Lógica Temporal
KW  - STL
KW  - Derivada
KW  - Integral
KW  - Interfaz Gráfica
KW  - PyQt
KW  - Minería de Datos
KW  - C++ Python
KW  - Temporal Logic
KW  - Derivative
KW  - GUI
KW  - C++
KW  - Python
KW  - Data Mining
TI  - Inferencia y verificación de propiedades en sistemas ciber-físicos estocásticos
T2  - Inference and verification of properties in stochastic cyber-physical systems
M3  - bachelor thesis
ER  -