5 citations · 6 across the 5 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2025
Polyhedral Enclosures: An Efficient Combinatorial Abstraction for Nonlinear Neural Feedback Systems
I. Samuel Akinwande, Chelsea Sidrane, Mykel J. Kochenderfer +1
As dynamical systems equipped with neural network controllers (neural feedback systems) become increasingly prevalent, it is critical to develop methods to ensure their safe operat…
eess.SY2022
Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems
Nicholas Rober, Sydney M. Katz, Chelsea Sidrane +4
As neural networks (NNs) become more prevalent in safety-critical applications such as control of vehicles, there is a growing need to certify that systems with NN components are s…