paper-with-me

홈 › Papers

Certifying Guidance & Control Networks: Uncertainty Propagation to an Event Manifold

2024-09-30 · Sebastien Origer, Dario Izzo, Giacomo Acciarini, Francesco Biscani, Rita Mastroianni, Max Bannach, Harry Holt

We perform uncertainty propagation on an event manifold for Guidance & Control Networks (G&CNETs), aiming to enhance the certification tools for neural networks in this field. This work utilizes three previously solved optimal control problems with varying levels of dynamics nonlinearity and event manifold complexity. The G&CNETs are trained to represent the optimal control policies of a time-optimal interplanetary transfer, a mass-optimal landing on an asteroid and energy-optimal drone racing, respectively. For each of these problems, we describe analytically the terminal conditions on an event manifold with respect to initial state uncertainties. Crucially, this expansion does not depend on time but solely on the initial conditions of the system, thereby making it possible to study the robustness of the G&CNET at any specific stage of a mission defined by the event manifold. Once this analytical expression is found, we provide confidence bounds by applying the Cauchy-Hadamard theorem and perform uncertainty propagation using moment generating functions. While Monte Carlo-based (MC) methods can yield the results we present, this work is driven by the recognition that MC simulations alone may be insufficient for future certification of neural networks in guidance and control applications.

📄 PDF Abstract BibTeX arXiv:2410.03729

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Path Integral Particle Filtering for Hybrid Systems via Saltation Matrices

2026-03-01 · Karthik Shaji, Sreeranj Jayadevan, Bo Yuan, Hongzhe Yu 외 arxiv

State estimation for hybrid systems that undergo intermittent contact with their environments, such as extraplanetary robots and satellites undergoing docking operations, is difficult due to the discrete uncertainty prop…

Synthesizing Neural Network Controllers with Closed-Loop Dissipativity Guarantees

2024-04-10 · Neelay Junnarkar, Murat Arcak, Peter Seiler

In this paper, a method is presented to synthesize neural network controllers such that the feedback system of plant and controller is dissipative, certifying performance requirements such as L2 gain bounds. The class of…

A Stochastic Nonlinear Model Predictive Control with an Uncertainty Propagation Horizon for Autonomous Vehicle Motion Control

2023-10-28 · Baha Zarrouki, Chenyang Wang, Johannes Betz

Employing Stochastic Nonlinear Model Predictive Control (SNMPC) for real-time applications is challenging due to the complex task of propagating uncertainties through nonlinear systems. This difficulty becomes more prono…

Autonomous VehiclesModel Predictive ControlState Estimation

LMI-Net: Linear Matrix Inequality--Constrained Neural Networks via Differentiable Projection Layers

2026-04-07 · Sunbochen Tang, Andrea Goertzen, Navid Azizan arxiv

Linear matrix inequalities (LMIs) have played a central role in certifying stability, robustness, and forward invariance of dynamical systems. Despite rapid development in learning-based methods for control design and ce…

Delay Independent Safe Control with Neural Networks: Positive Lur'e Certificates for Risk Aware Autonomy

2025-10-08 · Hamidreza Montazeri Hedesh, Milad Siami arxiv

We present a risk-aware safety certification method for autonomous, learning enabled control systems. Focusing on two realistic risks, state/input delays and interval matrix uncertainty, we model the neural network (NN) …