A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems
From MaRDI portal
Publication:2677116
DOI10.1016/j.nahs.2022.101301zbMath1505.93020arXiv2106.06776OpenAlexW3171474758MaRDI QIDQ2677116
Simone Baldi, Le Quang Thuan, Phan Thanh Nam
Publication date: 13 January 2023
Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2106.06776
piecewise affine systemsellipsoidal boundingpiecewise quadratic Lyapunov functionsreachable set estimation
Lyapunov and storage functions (93D30) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Uses Software
Cites Work
- SpaceEx
- Quadratic stability and stabilization of bimodal piecewise linear systems
- Further result on reachable set bounding for linear uncertain polytopic systems with interval time-varying delays
- Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes
- Reachability analysis of linear systems using support functions
- Adaptive hinging hyperplanes and its applications in dynamic system identification
- Complexity of stability and controllability of elementary hybrid systems
- On reachable sets for linear systems with delay and bounded peak inputs.
- Reachable set estimation for switched linear systems with dwell-time switching
- Augmented complex zonotopes for computing invariants of affine hybrid systems
- Controllability of a class of bimodal discrete-time piecewise linear systems
- Incremental \(\mathcal{L}_2\)-gain stability of piecewise-affine systems with piecewise-polynomial storage functions
- On reachable set estimation of singular systems
- Lyapunov stability for piecewise affine systems via cone-copositivity
- A full characterization of stabilizability of bimodal piecewise linear systems with scalar inputs
- Improved ellipsoidal bound of reachable sets for time-delayed linear systems with disturbances
- Reachability analysis of continuous-time piecewise affine systems
- Characterization of well-posedness of piecewise-linear systems
- Template-Based Unbounded Time Verification of Affine Hybrid Automata
- A generic ellipsoid abstract domain for linear time invariant systems
- Controllability and Stabilizability of a Class of Continuous Piecewise Affine Dynamical Systems
- Conewise Linear Systems: Non‐Zenoness and Observability
- Linear Matrix Inequalities in System and Control Theory
- Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification
- Fault detection and identification for a class of continuous piecewise affine systems with unknown subsystems and partitions
- Reachability Analysis for Solvable Dynamical Systems
- Finite-Dimensional Variational Inequalities and Complementarity Problems
- Reachability Analysis of Large Linear Systems With Uncertain Inputs in the Krylov Subspace
- Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs
- Reach Control on Simplices by Piecewise Affine Feedback
- Piecewise Affine Control: Continuous Time, Sampled Data, and Networked Systems
- Numerical verification of affine systems with up to a billion dimensions
- JuliaReach
- Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
- Hybrid Systems: Computation and Control
- On Cones of Nonnegative Quadratic Functions
- Symbolic reachability computation for families of linear vector fields
- Multi-input multi-output ellipsoidal state bounding.
