A data-driven method for computing polyhedral invariant sets of black-box switched linear systems.

Zheming Wang Raphaël M. Jungers

Published in: CoRR (2020)

Keyphrases

black box
linear systems
sufficient conditions
dynamical systems
black boxes
white box
convex sets
test cases
integration testing
coefficient matrix
software engineering
sparse linear systems
data sets
database systems