Combinatorial methods for invariance and safety of hybrid systems

DOI10.1016/j.automatica.2018.09.006zbMath1406.93145OpenAlexW2886922087WikidataQ129246175 ScholiaQ129246175MaRDI QIDQ1716585

Raphaël M. Jungers, Nikolaos Athanasopoulos

Publication date: 5 February 2019

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://pureadmin.qub.ac.uk/ws/files/156184710/aut17_final_clean.pdf

zbMATH Keywords

hybrid systemscombinatorial analysishybrid automaton

Mathematics Subject Classification ID

Discrete-time control/observation systems (93C55) Linear systems in control theory (93C05) System structure simplification (93B11) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Combinatorics and topology in relation with holomorphic dynamical systems (37F20)

Related Items (3)

Computation of the maximal invariant set of discrete-time linear systems subject to a class of non-convex constraints ⋮ Consensus of heterogeneous multi-agent system with input constraints ⋮ Switching systems with dwell time: computing the maximal Lyapunov exponent

Cites Work

• Unnamed Item
• Unnamed Item
• Switched model predictive control of switched linear systems: feasibility, stability and robustness
• Stability of discrete-time switching systems with constrained switching sequences
• Discrete-time switching linear system with constraints: characterization and computation of invariant sets under dwell-time consideration
• A Gel'fand-type spectral radius formula and stability of linear constrained switching systems
• Approximate bisimulation: a bridge between computer science and control theory
• Resonance and marginal instability of switching systems
• Theory and computation of disturbance invariant sets for discrete-time linear systems
• Approximating minimum feedback sets and multicuts in directed graphs
• Switching in systems and control
• Set invariance in control
• Characterization and computation of disturbance invariant sets for constrained switched linear systems with dwell time restriction
• An alternative converse Lyapunov theorem for discrete-time systems
• Feedback and invariance under uncertainty via set-iterates
• Uniform stabilization of discrete-time switched and Markovian jump linear systems
• Reliable controllable sets for constrained Markov-Jump Linear Systems
• Control of Linear Switched Systems With Receding Horizon Modal Information
• Set invariance under output feedback: a set-dynamics approach
• Reducibility among Combinatorial Problems
• Computation of Maximal Safe Sets for Switching Systems
• Invariant approximations of the minimal robust positively Invariant set
• Stability Analysis of Switched Linear Systems Defined by Regular Languages
• Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach
• Stability Criteria for Switched and Hybrid Systems
• Set-theoretic methods in control

This page was built for publication: Combinatorial methods for invariance and safety of hybrid systems