arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2508.15616

Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum

Alvaro Detailleur·Dalim Wahby·Guillaume Ducard·Christopher Onder
View original source ↗Read source document ↗Export metadata ↓

Abstract

This work newly establishes the feasibility and practical value of a sum of squares (SOS)-based stability verification procedure for applied control problems utilizing neural-network-based controllers (NNCs). It successfully verifies closed-loop stability properties of a NNC synthesized using a generalizable procedure to imitate a robust, tube-based model predictive controller (MPC) for a two-wheeled inverted pendulum demonstrator system. This is achieved by first developing a state estimator and control-oriented model for the two-wheeled inverted pendulum. Next, this control-oriented model is used to synthesize a baseline linear-quadratic regulator (LQR) and a robust, tube-based MPC, which is computationally too demanding for real-time execution on the demonstrator system's embedded hardware. The generalizable synthesis procedure generates an NNC imitating the robust, tube-based MPC. Via an SOS-based stability verification procedure, a certificate of local asymptotic stability and a relevant inner estimate of the region of attraction (RoA) are obtained for the closed-loop system incorporating this NNC. Finally, experimental results on the physical two-wheeled inverted pendulum demonstrate that the NNC both stabilizes the system, and improves the control performance compared to the baseline LQR in both regulation and reference-tracking tasks.

Explore related subjects

eess.SYcs.SY

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Alvaro Detailleur, Dalim Wahby, Guillaume Ducard, Christopher Onder. 2025-08-21. Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum. https://arxiv.org/abs/2508.15616

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Koopman-Based Linear MPC for Safe Control using Control Barrier Functions

This paper proposes a Koopman-based linear model predictive control (LMPC) framework for safety-critical control of nonlinear discrete-time systems. Existing MPC formulations based on discrete-time control barrier functions (DCBFs) enforce safety through barrier constraints but typically result in computationally demanding nonlinear programming. To address this challenge, we construct a DCBF-augmented dynamical system and employ Koopman operator theory to lift the nonlinear dynamics into a higher-dimensional space where both the system dynamics and the barrier function admit a linear predictor representation. This enables the transformation of the nonlinear safety-constrained MPC problem into a quadratic program (QP). To improve feasibility while preserving safety, a relaxation mechanism with slack variables is introduced for the barrier constraints. The resulting approach combines the modeling capability of Koopman operators with the computational efficiency of QP. Numerical simulations on a navigation task for a robot with nonlinear dynamics demonstrate that the proposed framework achieves safe trajectory generation and efficient real-time control.

eess.SY↗
arXiv2026

Data-Driven Unknown Input Reconstruction for MIMO Systems with Convergence Guarantees

In this paper, we consider data-driven reconstruction of unknown inputs for deterministic, linear time-invariant (LTI) multiple-input multiple-output (MIMO) systems. We propose a novel autoregressive estimator based on a constrained least-squares formulation over Hankel matrices, splitting the problem into an output-consistency constraint and an input-history-matching objective. Our method relies on previously recorded input--output data to represent the system, but does not require knowledge of the true input to initialize the algorithm. We show that the proposed estimator is strictly stable if and only if all the invariant zeros of the trajectory-generating system lie strictly inside the unit circle, which can be verified purely from input and output data. This mirrors existing results from model-based input reconstruction and closes the gap between model-based and data-driven settings. Lastly, we provide numerical examples to demonstrate the theoretical results.

eess.SY↗
arXiv2026

A Closed-Loop Model of an Anion Exchange Membrane Electrolyser Based on Operational Data

The main contribution of this work is to identify model parameters for an Anion Exchange Membrane (AEM) system directly from measured operational data, enabling their use in power system studies. Due to the relatively low technology readiness level (TRL) of AEM electrolysers, only limited literature reports operational parameters supported by openly available experimental data. By capturing the realistic dynamic behaviour and power consumption of the AEM electrolyser, this model allows for more accurate evaluation of system topologies and control strategies for green hydrogen production. This paper presents a model of an AEM electrolyser based on experimental data from Enapter modules installed in the Power-to-X (PtX) Laboratory at the Technical University of Denmark [1]. The model comprises a polarisation curve and a model of current dynamics during operation. It is validated against operational data and can be applied in grid-balancing studies as well as in assessments of how electrolyser dynamics influence the power system. The results suggest that the AEM technology is suitable for services such as smoothing wind farm power output and provide system services to support frequency balancing. The findings highlight the importance of considering the constraints of the process when designing for flexible load operation, and consideration of the interaction between the power control and process control systems.

eess.SY↗