no code implementations • 12 Apr 2024 • Rudi Coppola, Andrea Peruffo, Licio Romao, Alessandro Abate, Manuel Mazo Jr
The abstraction of dynamical systems is a powerful tool that enables the design of feedback controllers using a correct-by-design framework.
no code implementations • 16 Feb 2024 • Rudi Coppola, Andrea Peruffo, Manuel Mazo Jr
At the intersection of dynamical systems, control theory, and formal methods lies the construction of symbolic abstractions: these typically represent simpler, finite-state models whose behaviour mimics the one of an underlying concrete system but are easier to analyse.
no code implementations • 3 Nov 2022 • Rudi Coppola, Andrea Peruffo, Manuel Mazo Jr
A common technique to verify complex logic specifications for dynamical systems is the construction of symbolic abstractions: simpler, finite-state models whose behaviour mimics the one of the systems of interest.