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