Forward Invariance of Sets for Hybrid Dynamical Systems (Part I)

DOI10.1109/TAC.2018.2882158zbMATH Open1482.93067arXiv1808.05129OpenAlexW2885835093MaRDI QIDQ5223748FDOQ5223748

Authors: Jun Chai, Ricardo G. Sanfelice 

Publication date: 18 July 2019

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Abstract: In this paper, tools to study forward invariance properties with robustness to dis- turbances, referred to as robust forward invariance, are proposed for hybrid dynamical systems modeled as hybrid inclusions. Hybrid inclusions are given in terms of dif- ferential and difference inclusions with state and disturbance constraints, for whose definition only four objects are required. The proposed robust forward invariance notions allow for the diverse type of solutions to such systems (with and without dis- turbances), including solutions that have persistent flows and jumps, that are Zeno, and that stop to exist after finite amount of (hybrid) time. Sufficient conditions for sets to enjoy such properties are presented. These conditions are given in terms of the objects defining the hybrid inclusions and the set to be rendered robust forward invariant. In addition, as special cases, these conditions are exploited to state results on nominal forward invariance for hybrid systems without disturbances. Furthermore, results that provide conditions to render the sublevel sets of Lyapunov-like functions forward invariant are established. Analysis of a controlled inverter system is presented as an application of our results. Academic examples are given throughout the paper to illustrate the main ideas.

Full work available at URL: https://arxiv.org/abs/1808.05129

Mathematics Subject Classification ID

Sensitivity (robustness) (93B35) Asymptotic properties of solutions to ordinary differential equations (34D05) 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)

Cited In (7)

• A hybrid observer for linear systems under delayed sporadic measurements
• Regularity of optimal solutions and the optimal cost for hybrid dynamical systems via reachability analysis
• Set‐invariance‐based interpretations for the L₁ performance of nonlinear systems with non‐unique solutions
• Sufficient conditions for forward invariance and contractivity in hybrid inclusions using barrier functions
• Hysteresis-based switching observers for linear systems using quadratic boundedness
• Characterizing \(\mathcal{L}_1\) output-feedback controller for nonlinear systems: existence conditions via output controlled invariance domain
• Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions

This page was built for publication: Forward Invariance of Sets for Hybrid Dynamical Systems (Part I)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5223748)