2 papers
eess.SY2025
Fault-tolerant control of nonlinear systems: An inductive synthesis approach
Daniele Masti, Davide Grande, Andrea Peruffo +1
Actuator faults heavily affect the performance and stability of control systems, an issue that is even more critical for systems required to operate autonomously under adverse envi…
eess.SY2024
A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
Alec Edwards, Andrea Peruffo, Alessandro Abate
An emerging branch of control theory specialises in certificate learning, concerning the specification of a desired (possibly complex) system behaviour for an autonomous or control…