no code implementations • 19 Dec 2022 • J. Ezequiel Martin, Maxwell Hammond, Nicholas Rober, Yakin Kim, Venanzio Cichella, Pablo Carrica
A reduced order model of a generic submarine is presented.
no code implementations • 14 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.
no code implementations • 28 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.
1 code implementation • 14 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.
no code implementations • 2 Apr 2022 • Nicholas Rober, Maxwell Hammond, Venanzio Cichella, Juan E. Martin, Pablo Carrica
This paper addresses the problem of guidance and control of underwater vehicles.