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.

Existence of positively invariant polyhedral sets for discrete linear time-variant systems

Robust positively invariant sets of discrete-time convex polyhedral system family

ROBUST POSITIVELY INVARIANT SETS OF DISCRETE-TIME NONLINEAR AND TIME-VARIABLE CONVEX POLYHEDRAL SYSTEM FAMILY

LMI condition of robust D stability for singular systems with polytopic uncertainties

Reachability and Stabilization of Discrete-Time Affine Systems with Disturbances

Approximate Controllability of Infinite Dimensional Linear Systems in Nonreflexive State Spaces

Characterization of Backward Reachable Set and Positive Invariant Set in Polytopes

Reachability of Affine Systems on Polytopes

SYNTHESIS OF THE STRONGLY POSITIVE REAL CONTROLLER WITH OUTPUT FEEDBACK FOR DISCRETE-TIME SYSTEMS

Computation of the Maximal Invariant Set of Discrete-Time Linear Systems Subject to a Class of Non-Convex Constraints.

Strongly practical robust control for a class of nonlinear systems

Robust Invariant Sets Computation for Discrete-Time Perturbed Nonlinear Systems

Robust Control For Fast-Sampling Discrete-Time Fuzzy Singularly Perturbed Systems

An LMI Robust Stability Condition for Uncertain Discrete-time Systems with Multiple-state Delays

Equi-invariability, bounded invariance complexity and L-stability for control systems

On the Convergence of the Backward Reachable Sets of Robust Controlled Invariant Sets For Discrete-time Linear Systems

Delay-dependent set-invariance for linear difference equations with multiple delays: a polyhedral approach

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

Controllability Verification for Constrained Networked Dynamic Systems

Robust Positive Realness Analysis and Control for a Class of Systems with Uncertainties

Stability and strict positive realness of convex polytopes of interval polynomials