Using Formal Methods to Specify Data-Driven Cyber-Physical Systems. - José Luis Conradi Hoffmann; Leonardo Passig Horstmann; Matheus Wagner; Felipe Vieira; Mateus Martínez De Lucena; Antônio Augusto Fröhlich (ISIE, 2022)

Physics-Informed Neural Networks for Monitoring Dynamic Systems: Wind Turbine Study Case. - Josafat Leal Filho; Matheus Wagner; Antônio Augusto Fröhlich (SBESC, 2023)

Securing Cyber-Physical Systems Against GPS Spoofing Attacks Using Confidence Attribution. - Matheus Wagner; Antônio Augusto Fröhlich (SoftCOM, 2023)

A Method to Evaluate the Performance of Predictors in Cyber-Physical Systems. - Leonardo Passig Horstmann; Matheus Wagner; Antônio Augusto Fröhlich (ICPE, 2023)

Combining PCA and DCT for Improved Passive Seismic Data Compression. - Matheus Wagner; Mateus Martínez De Lucena; Josafat Leal Filho; Antônio Augusto Fröhlich (IEEE Access, 2024)

RTI-NMPC for Control of Autonomous Vehicles Using Implicit Discretization Methods. - Matheus Wagner; Julio E. Normey-Rico (CoRR, 2024)

Predictor-Based Compensators for Networked Control Systems with Stochastic Delays and Sampling Intervals. - Matheus Wagner; Marcelo Menezes Morato; Antônio Augusto Fröhlich; Julio E. Normey-Rico (CoRR, 2025)

Physics-informed neural networks for monitoring dynamic systems: ring bearing system study case. - Josafat Leal Filho; Matheus Wagner; Antônio Augusto Fröhlich (Des. Autom. Embed. Syst., 2025)