Victor Gaßmann, Matthias Althoff. Verified Polynomial Controller Synthesis for Disturbed Nonlinear Systems. In Raphaël M. Jungers, Necmiye Ozay, Alessandro Abate, editors, 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021. Volume 54 of IFAC-PapersOnLine, pages 85-90, Elsevier, 2021. [doi]
Abstract is missing.