The computation of the viability kernel for switched systems
From MaRDI portal
Publication:1713546
DOI10.1186/s13662-018-1756-yzbMath1448.93020OpenAlexW2889155475WikidataQ129268948 ScholiaQ129268948MaRDI QIDQ1713546
Publication date: 25 January 2019
Published in: Advances in Difference Equations (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1186/s13662-018-1756-y
Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Hybrid systems of ordinary differential equations (34A38)
Uses Software
Cites Work
- Componentwise ultimate bound and invariant set computation for switched linear systems
- On the algebraic characterization of invariant sets of switched linear systems
- Error estimates for discretized differential inclusions
- Approximation of the viability kernel
- The calculation of discriminating kernel based on viability kernel and reachability
- On reachability and minimum cost optimal control
- Viable set computation for hybrid systems
- Lagrangian methods for approximating the viability kernel in high-dimensional systems
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Viability criteria for differential inclusions
- Scalable Safety-Preserving Robust Control Synthesis for Continuous-Time Linear Systems
- Reachability Analysis of Nonlinear Systems Using Matrix Measures
- A Topological Method for Finding Invariant Sets of Switched Systems
- Viability Theory
- The Exponential Stability for a Class of Hybrid Systems
- Viability Criteria for a Switched System on Bounded Polyhedron
- Incremental passivity and output tracking of switched nonlinear systems
- Determining the Viable Unbounded Polyhedron Under Linear Control Systems
- Dynamical properties of hybrid automata
- Impulse differential inclusions: a viability approach to hybrid systems
- A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
- Approximating Viability Kernels With Support Vector Machines
- Hybrid Systems: Computation and Control
- VIABILITY MODEL OF TROPHIC INTERACTIONS IN MARINE ECOSYSTEMS