conftrace_

positive invariant set

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

data driven (1) piecewise affine function (1) nonlinear system (1) linear programming (1)

Papers

Data driven verification of positive invariant sets for discrete, nonlinear systems L4DC 2024