Data-Driven Abstractions for Verification of Linear Systems

Rudi Coppola, Andrea Peruffo, Manuel Mazo Jr.. Data-Driven Abstractions for Verification of Linear Systems. IEEE Control Systems Letters, 7:2737-2742, 2023. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.