Showing 2022Show all
3 papers · 1 filter
eess.SY2022
A Hybrid Partitioning Strategy for Backward Reachability of Neural Feedback Loops
Nicholas Rober, Michael Everett, Songan Zhang +1
As neural networks become more integrated into the systems that we depend on for transportation, medicine, and security, it becomes increasingly important that we develop methods t…
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…
eess.SY2022
Backward Reachability Analysis for Neural Feedback Loops
Nicholas Rober, Michael Everett, Jonathan P. How
The increasing prevalence of neural networks (NNs) in safety-critical applications calls for methods to certify their behavior and guarantee safety. This paper presents a backward…