:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Detailleur, Alvaro, Wahby, Dalim, Ducard, Guillaume, Onder, Christopher
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	https://arxiv.org/abs/2508.15616
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Contributions to Semialgebraic-Set-Based Stability Verification of Dynamical Systems with Neural-Network-Based Controllers
by: Detailleur, Alvaro, et al.
Published: (2025)

Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers
by: Detailleur, Alvaro, et al.
Published: (2025)

Inertial-Based LQG Control: A New Look at Inverted Pendulum Stabilization
by: Engelsman, Daniel, et al.
Published: (2025)

Design and Analysis of a Robust Control System for Triple Inverted Pendulum Stabilization
by: Tasooji, Tohid Kargar, et al.
Published: (2025)

Adaptive Control of an Inverted Pendulum by a Reinforcement Learning-based LQR Method
by: Yildiran, Ugur
Published: (2023)

Robust Energy Shaping Control of an Underactuated Inverted Pendulum
by: Harandi, M. Reza J., et al.
Published: (2026)

Cascade PID Control of an Inverted Pendulum on a Cart System: Simulation and Experimental Analysis
by: Mehrab, Khalid, et al.
Published: (2026)

Discrete-Time State-Feedback Controller with Canonical Form on Inverted Pendulum (on a cart)
by: Widjiantoro, Bambang L., et al.
Published: (2023)

Neuromorphic Control of a Pendulum
by: Schmetterling, Raphael, et al.
Published: (2024)

Stair Climbing using the Angular Momentum Linear Inverted Pendulum Model and Model Predictive Control
by: Dosunmu-Ogunbi, Oluwami, et al.
Published: (2023)

Technical Report on Reinforcement Learning Control on the Lucas-Nülle Inverted Pendulum
by: Schenke, Maximilian, et al.
Published: (2024)

Collision Avoidance Control for a Two-wheeled Vehicle under Stochastic Vibration using an Almost Sure Control Barrier Function
by: Arimura, Taichi, et al.
Published: (2026)

Optimization of the Energy-Comfort Trade-Off of HVAC Systems in Electric City Buses Based on a Steady-State Model
by: Widmer, Fabio, et al.
Published: (2024)

Advanced safety filter based on SOS Control Barrier and Lyapunov Functions
by: Schneeberger, Michael, et al.
Published: (2024)

Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification
by: Meng, Yiming, et al.
Published: (2024)

Trajectory-based Safety of Monotone Systems: Verification and Control Synthesis
by: Galarza-Jimenez, Felipe, et al.
Published: (2026)

Stability Margins of Neural Network Controllers
by: Junnarkar, Neelay, et al.
Published: (2024)

Verification of Neural Network Control Systems in Continuous Time
by: ArjomandBigdeli, Ali, et al.
Published: (2024)

Verification and Synthesis of Discrete-Time Control Barrier Functions
by: Shakhesi, Erfan, et al.
Published: (2025)

Formal Verification of Control Lyapunov-Barrier Functions for Safe Stabilization with Bounded Controls
by: Liu, Jun
Published: (2025)

Scalable Formal Verification of Incremental Stability in Large-Scale Systems Using Graph Neural Networks
by: Basu, Ahan, et al.
Published: (2025)

A Distributed SOS Program For Local Stability Analysis of Polynomial PDEs in the PIE Representation
by: Richardson, Carl R, et al.
Published: (2026)

Robust Stability of Neural Network Control Systems with Interval Matrix Uncertainties
by: Zhang, Yuhao, et al.
Published: (2023)

Two-wheel-driven Electric Superbike Powertrain Optimization
by: Niccolai, Adelmo, et al.
Published: (2025)

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles
by: Parameshwaran, Aditya, et al.
Published: (2025)

Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems
by: Zhou, Yuhao, et al.
Published: (2023)

Stability Verification for Switched Systems using Neural Multiple Lyapunov Functions
by: Huang, Junyue, et al.
Published: (2026)

Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions
by: Dai, Hongkai, et al.
Published: (2024)

Real-Time Model Predictive Control for the Swing-Up Problem of an Underactuated Double Pendulum
by: Burchard, Blanka, et al.
Published: (2025)

Distributed Control of Network Systems in the Space of Stabilizing Graph Neural Network Policies
by: Cao, John, et al.
Published: (2025)

Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling
by: Cai, Feiyang, et al.
Published: (2024)

Learning-based Multi-agent Race Strategies in Formula 1
by: Fieni, Giona, et al.
Published: (2026)

Dynamic System Stability Verification Using Numerical Simulator
by: Kim, Jongrae
Published: (2023)

Towards Learning-Based Formula 1 Race Strategies
by: Fieni, Giona, et al.
Published: (2025)

Finite-Time Trajectory Tracking of a Four wheeled Mecanum Mobile Robot
by: B, Anil, et al.
Published: (2024)

Verification and Synthesis Methods for High-Order Control Barrier Functions
by: Pond, Ellie, et al.
Published: (2025)

Spherical Pendulum with Quad-Rotor Thrust Vectoring Actuation -- A Novel Mechatronics and Control Benchmark Platform
by: Li, Yuchen, et al.
Published: (2025)

Physics-Informed Neural Network-Based Control for Grid-Forming Converter's Stability Under Overload Conditions
by: Kumar, Abhay, et al.
Published: (2025)

Synthesis of Stabilizing Recurrent Equilibrium Network Controllers
by: Junnarkar, Neelay, et al.
Published: (2022)

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems
by: Zhou, Jingyuan, et al.
Published: (2025)