Computing State Invariants Using Point-Wise Integral Quadratic Constraints and the S-procedure | IEEE Conference Publication | IEEE Xplore