Tractable higher-order under-approximating AE extensions for non-linear systems

Eric Goubault, Sylvie Putot. Tractable higher-order under-approximating AE extensions for non-linear 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 235-240, Elsevier, 2021. [doi]

Abstract

Abstract is missing.