Learning lyapunov functions for hybrid systems
DOI10.1145/3447928.3456644arXiv2012.12015OpenAlexW3158850837MaRDI QIDQ6201594
Victor M. Preciado, Mahyar Fazlyab, Manfred Morari, George J. Pappas, Unnamed Author
Publication date: 21 February 2024
Published in: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2012.12015
Lyapunov functionhybrid systemmixed-integer programmingpiecewise-affine systemsstability verificationcounterexample guided synthesismixed-Integer formulations
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the computation of weighted analytic centers and dual ellipsoids with the projective algorithm
- Control of systems integrating logic, dynamics, and constraints
- A polynomial cutting surfaces algorithm for the convex feasibility problem defined by self-concordant inequalities
- Piecewise linear control systems. A computational approach
- Convexification and global optimization in continuous and mixed-integer nonlinear programming. Theory, algorithms, software, and applications
- A cutting plane algorithm for convex programming that uses analytic centers
- Complexity estimates of some cutting plane methods based on the analytic barrier
- Mixed Integer Linear Programming Formulation Techniques
- Predictive Control for Linear and Hybrid Systems
- Simulation-guided lyapunov analysis for hybrid dynamical systems
- A delta-sampling verification theorem for discrete-time, possibly discontinuous systems
- Branching and bounds tighteningtechniques for non-convex MINLP
- Polynomial algorithms in linear programming
- Nonlinear regulation: The piecewise linear approach
- A Potential Reduction Algorithm Allowing Column Generation
- A central cutting plane algorithm for the convex programming problem
- Complementarity modeling of hybrid systems
- Computation of piecewise quadratic Lyapunov functions for hybrid systems
- A new asymptotic stability criterion for nonlinear time-variant differential equations
- Linear Complementarity Systems
- Complexity Analysis of an Interior Cutting Plane Method for Convex Feasibility Problems
- Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results
- Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers
- Technical Note—There’s No Free Lunch: On the Hardness of Choosing a Correct Big-M in Bilevel Optimization
- Mixed-integer formulations for optimal control of piecewise-affine systems
- Sherlock - A tool for verification of neural network feedback systems
- Mixed-integer nonlinear optimization
- An Analytic Center Cutting Plane Method for Semidefinite Feasibility Problems
- Equivalence of hybrid dynamical models
This page was built for publication: Learning lyapunov functions for hybrid systems