Data-Driven Abstractions for Verification of Linear Systems.

Rudi Coppola Andrea Peruffo Manuel Mazo Jr.

Published in: IEEE Control. Syst. Lett. (2023)

Keyphrases

linear systems
data driven
sufficient conditions
dynamical systems
linear equations
coefficient matrix
model checking
interior point methods
sparse linear systems
genetic algorithm
decision making
k nearest neighbor