Simulation-guided lyapunov analysis for hybrid dynamical systems

DOI10.1145/2562059.2562139zbMath1362.93108OpenAlexW2011199136MaRDI QIDQ2986958

Nikos Aréchiga, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski

Publication date: 16 May 2017

Published in: Proceedings of the 17th international conference on Hybrid systems: computation and control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2562059.2562139

zbMATH Keywords

stabilitysimulationinvariant setsLyapunov functionsbarrier certificates

Mathematics Subject Classification ID

Nonlinear systems in control theory (93C10) Lyapunov and storage functions (93D30) Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (22)

Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers ⋮ Synthesizing invariant barrier certificates via difference-of-convex programming ⋮ Learning probabilistic termination proofs ⋮ Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability ⋮ Automated Nonlinear Control Structure Design by Domain of Attraction Maximization with Eigenvalue and Frequency Domain Specifications ⋮ Pegasus: sound continuous invariant generation ⋮ An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems ⋮ Abstraction based verification of stability of polyhedral switched systems ⋮ Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans ⋮ Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems ⋮ FOSSIL ⋮ Verifying Switched System Stability With Logic ⋮ Counterexample-guided computation of polyhedral Lyapunov functions for piecewise linear systems ⋮ Learning lyapunov functions for hybrid systems ⋮ Quantifying conformance using the Skorokhod metric ⋮ Deductive stability proofs for ordinary differential equations ⋮ Construction of parametric barrier functions for dynamical systems using interval analysis ⋮ Data driven stability analysis of black-box switched linear systems ⋮ Numerically-aided deductive safety proof for a powertrain control system ⋮ Computational method for estimating the domain of attraction of discrete-time uncertain rational systems ⋮ Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming ⋮ Review on computational methods for Lyapunov functions

Uses Software

• CPLEX
• YALMIP
• MPT

Cites Work

• Minkowski terminal cost functions for MPC
• A quasi-infinite horizon nonlinear model predictive control scheme with guaranteed stability
• Constrained model predictive control: Stability and optimality
• On infinity norms as Lyapunov functions for piecewise affine systems
• Linear systems with state and control constraints: the theory and application of maximal output admissible sets
• Computation of piecewise quadratic Lyapunov functions for hybrid systems
• Lyapunov Functions, Stability and Input-to-State Stability Subtleties for Discrete-Time Discontinuous Systems
• Stability analysis of piecewise discrete-time linear systems
• Convex Analysis
• Set-theoretic methods in control

This page was built for publication: Simulation-guided lyapunov analysis for hybrid dynamical systems