Stability analysis of complementarity systems with neural network controllers

DOI10.1145/3447928.3456651arXiv2011.07626OpenAlexW3158246974WikidataQ130970562 ScholiaQ130970562MaRDI QIDQ6120660

Michael Posa, Mahyar Fazlyab, Unnamed Author, Manfred Morari

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/2011.07626

zbMATH Keywords

contact dynamicscomplementarity systemsstability verification of neural network controllers

Mathematics Subject Classification ID

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
• Nonsmooth mechanics. Models, dynamics and control.
• Analysis of Lur'e dominant systems in the frequency domain
• A receding-horizon regulator for nonlinear systems and a neural approximation
• Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter
• Introduction to Piecewise Differentiable Equations
• Predictive Control for Linear and Hybrid Systems
• Stability Analysis and Control of Rigid-Body Systems With Impacts and Friction
• Cone-Copositive Piecewise Quadratic Lyapunov Functions for Conewise Linear Systems
• The Linear Complementarity Problem
• Difference Methods for Differential Inclusions: A Survey
• Linear Matrix Inequalities in System and Control Theory
• Linear Complementarity Systems
• Sampling Algebraic Varieties for Sum of Squares Programs
• Well-Posedness and Output Regulation for Implicit Time-Varying Evolution Variational Inequalities
• Warm Start of Mixed-Integer Programs for Model Predictive Control of Hybrid Systems
• Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming
• Stability Analysis Using Quadratic Constraints for Systems With Neural Network Controllers
• Sherlock - A tool for verification of neural network feedback systems
• Some perspectives on the analysis and control of complementarity systems
• Stability and Instability Matrices for Linear Evolution Variational Inequalities
• Lyapunov Stability of Complementarity and Extended Systems
• Equivalence of hybrid dynamical models
• The explicit linear quadratic regulator for constrained systems

This page was built for publication: Stability analysis of complementarity systems with neural network controllers