Search Results for author:
Found 6 papers, 1 papers with code
Constraint-Aware Refinement for Safety Verification of Neural Feedback Loops
Refinement strategies such as partitioning or symbolic propagation are typically used to limit the conservativeness of RSOAs, but these approaches come with a high computational cost and often can only be used to verify safety for simple reachability problems.
Reduced Order Model of a Generic Submarine for Maneuvering Near the Surface
A reduced order model of a generic submarine is presented.
A Hybrid Partitioning Strategy for Backward Reachability of Neural Feedback Loops
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
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
The increasing prevalence of neural networks (NNs) in safety-critical applications calls for methods to certify their behavior and guarantee safety.
3D Path Following and L1 Adaptive Control for Underwater Vehicles
This paper addresses the problem of guidance and control of underwater vehicles.
