Search Results for author: Nicholas Rober

Found 5 papers, 1 papers with code

A Hybrid Partitioning Strategy for Backward Reachability of Neural Feedback Loops

no code implementations14 Oct 2022 Nicholas Rober, Michael Everett, Songan Zhang, Jonathan P. How

We introduce a hybrid partitioning method that uses both target set partitioning (TSP) and backreachable set partitioning (BRSP) to overcome a lower bound on estimation error that is present when using BRSP.

Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems

no code implementations28 Sep 2022 Nicholas Rober, Sydney M. Katz, Chelsea Sidrane, Esen Yel, Michael Everett, Mykel J. Kochenderfer, Jonathan P. How

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 safe.

Backward Reachability Analysis for Neural Feedback Loops

1 code implementation14 Apr 2022 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.