文摘
We analyze the boundedness of piecewise affine control programs. We synthesize piecewise quadratic invariants, sublevel set of Lyapunov function. Invariants are computed of paths of k-switches, through SDP solving. Method implemented in Matlab with great performance on a large set of examples.