2 papers
eess.SY2024
Constraint-Aware Refinement for Safety Verification of Neural Feedback Loops
Nicholas Rober, Jonathan P. How
Neural networks (NNs) are becoming increasingly popular in the design of control pipelines for autonomous systems. However, since the performance of NNs can degrade in the presence…
eess.SY2024
SDP Synthesis of Distributionally Robust Backward Reachable Trees for Probabilistic Planning
Naman Aggarwal, Jonathan P. How
The paper presents Maximal Ellipsoid Backward Reachable Trees MAXELLIPSOID BRT, which is a multi-query algorithm for planning of dynamic systems under stochastic motion uncertainty…