collaborators

1 paper

eess.SY2024

Data-driven Interval MDP for Robust Control Synthesis

Rudi Coppola, Andrea Peruffo, Licio Romao +2

The abstraction of dynamical systems is a powerful tool that enables the design of feedback controllers using a correct-by-design framework. We investigate a novel scheme to obtain…