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]
No references recorded for this publication.
No citations of this publication recorded.