This paper addresses the challenge of certifying robust stability in neural network control systems with interval matrix uncertainties.
Mar 5, 2025
This paper presents a framework for designing provably safe feedback controllers for sampled-data control affine systems with measurement and actuation uncertainties.
Sep 5, 2022