4 papers
Linear Stability Analysis of an INDI Pitch-Rate Controller under Model Mismatch for a Tilt-Rotor VTOL UAV
Lorenzo Schenk, Guillaume Ducard, Christopher Onder
Incremental Nonlinear Dynamic Inversion (INDI) is attractive for unmanned aerial vehicle (UAV) flight control because it reduces dependence on a full aerodynamic model while retain…
Contributions to Semialgebraic-Set-Based Stability Verification of Dynamical Systems with Neural-Network-Based Controllers
Alvaro Detailleur, Dalim Wahby, Guillaume Ducard +1
Neural-network-based controllers (NNCs) can represent complex, highly nonlinear control laws, but verifying the closed-loop stability of dynamical systems using them remains challe…
Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum
Alvaro Detailleur, Dalim Wahby, Guillaume Ducard +1
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-netwo…
Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers
Alvaro Detailleur, Guillaume Ducard, Christopher Onder
This work presents several improvements to the closed-loop stability verification framework using semialgebraic sets and convex semidefinite programming to examine neural-network-b…