Cover Image

Counter-example guided inductive synthesis of control Lyapunov functions for uncertain systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Masti, Daniele, Fabiani, Filippo, Gnecco, Giorgio, Bemporad, Alberto
Format:	Preprint
Published:	2023
Subjects:	Systems and Control Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

An active learning method for solving competitive multi-agent decision-making and control problems
by: Fabiani, Filippo, et al.
Published: (2022)

Fault-tolerant control of nonlinear systems: An inductive synthesis approach
by: Masti, Daniele, et al.
Published: (2025)

A neural network-based approach to hybrid systems identification for control
by: Fabiani, Filippo, et al.
Published: (2024)

Incentives and co-evolution: Steering linear dynamical systems with noncooperative agents
by: Fabiani, Filippo, et al.
Published: (2023)

Actively learning equilibria in Nash games with misleading information
by: Franci, Barbara, et al.
Published: (2025)

An L-BFGS-B approach for linear and nonlinear system identification under $\ell_1$ and group-Lasso regularization
by: Bemporad, Alberto
Published: (2024)

Certified Inductive Synthesis for Online Mixed-Integer Optimization
by: Zamponi, Marco, et al.
Published: (2025)

Reliably-stabilizing piecewise-affine neural network controllers
by: Fabiani, Filippo, et al.
Published: (2021)

Efficient identification of linear, parameter-varying, and nonlinear systems with noise models
by: Bemporad, Alberto, et al.
Published: (2025)

Robust stabilization of polytopic systems via fast and reliable neural network-based approximations
by: Fabiani, Filippo, et al.
Published: (2022)

Learning Quasi-LPV Models and Robust Control Invariant Sets with Reduced Conservativeness
by: Mulagaleti, Sampath Kumar, et al.
Published: (2025)

Configuration-Constrained Tube MPC for Tracking
by: Badalamenti, Filippo, et al.
Published: (2024)

Finite-sample guarantees for data-driven forward-backward operator methods
by: Fabiani, Filippo, et al.
Published: (2025)

Approximate solution of stochastic infinite horizon optimal control problems for constrained linear uncertain systems
by: Joa, Eunhyek, et al.
Published: (2024)

Configuration-Constrained Tube MPC for Periodic Operation
by: Badalamenti, Filippo, et al.
Published: (2025)

Certainty-equivalent adaptive MPC for uncertain nonlinear systems
by: Köhler, Johannes
Published: (2026)

Scalable iterative Gramian synthesis for control-affine systems
by: Yu, Zongxi, et al.
Published: (2026)

Best-response algorithms for a class of monotone Nash equilibrium problems with mixed-integer variables
by: Fabiani, Filippo, et al.
Published: (2023)

Concentration inequalities for semidefinite least squares based on data
by: Fabiani, Filippo, et al.
Published: (2025)

Parametric Nonconvex Optimization via Convex Surrogates
by: Wang, Renzi, et al.
Published: (2026)

Reducing real-time complexity via sub-control Lyapunov functions: from theory to experiments
by: Do, Huu-Thinh, et al.
Published: (2025)

Online learning for robust voltage control under uncertain grid topology
by: Yeh, Christopher, et al.
Published: (2023)

Discrete fully probabilistic design: towards a control pipeline for the synthesis of policies from examples
by: Ferrentino, Enrico, et al.
Published: (2021)

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization
by: Fochesato, Marta, et al.
Published: (2025)

Strong Lyapunov functions for rough systems
by: Duc, Luu Hoang, et al.
Published: (2025)

Data-driven control of continuous-time systems: A synthesis-operator approach
by: Wakaiki, Masashi
Published: (2025)

Ordering and refining path-complete Lyapunov functions through composition lifts
by: Jongeneel, Wouter, et al.
Published: (2025)

Lyapunov based dynamic controller designs for reach-and-avoid problems
by: Lanza, Lukas, et al.
Published: (2024)

Boundary adaptive observer design for semilinear hyperbolic rolling contact ODE-PDE systems with uncertain friction
by: Romano, Luigi, et al.
Published: (2026)

Lyapunov characterization of boundedness of reachability sets for infinite-dimensional systems
by: Bachmann, Patrick, et al.
Published: (2026)

Distributionally robust LMI synthesis for LTI systems
by: Gramlich, Dennis, et al.
Published: (2025)

Data-driven approximation of regions of attraction via an LP-based selection of PWA Lyapunov functions
by: Khattabi, Oumayma, et al.
Published: (2026)

On an Abstraction of Lyapunov and Lagrange Stability
by: Bin, Michelangelo, et al.
Published: (2025)

On the relationship between control barrier functions and projected dynamical systems
by: Delimpaltadakis, Giannis, et al.
Published: (2023)

Approximate predictive control barrier function for discrete-time systems
by: Didier, Alexandre, et al.
Published: (2024)

Human-Like Trajectories Generation via Receding Horizon Tracking Applied to the TickTacking Interface
by: Masti, Daniele, et al.
Published: (2025)

Stability of Lyapunov redesign trajectory tracking control with unbounded perturbations -- A tube-based stability analysis
by: Tietze, Niclas, et al.
Published: (2025)

Inverse Optimality for Fair Digital Twins: A Preference-based approach
by: Masti, Daniele, et al.
Published: (2025)

Unified Lyapunov Method for ISS of PDEs: A Tutorial on Constructing Generalized Lyapunov Functionals for Parabolic and Hyperbolic Equations
by: Zheng, Jun, et al.
Published: (2026)

Trajectory tracking model-following control using Lyapunov redesign with output time-derivatives to compensate unmatched uncertainties
by: Tietze, Niclas, et al.
Published: (2025)