Abstract:This paper focuses on the invariance control problem for discrete-time switched nonlinear systems. The proposed approach computes controlled invariant sets in a finite number of iterations and directly yields a partition-based invariance controller using the information recorded during the computation. In contrast with Lyapunov-based control methods, this method does not require the subsystems to have common equilibrium points. Algorithms are developed for computing both outer and inner approximations of the maximal controlled invariant sets, which are represented as finite unions of intervals. The general convergence results of interval methods allow us to obtain arbitrarily precise approximations without any stability assumptions. In addition, invariant inner approximations can be computed provided that the switched system satisfies a robustly controlled invariance condition. Under the same condition, we also prove the existence of an invariance controller based on partitions of the state space. Our method is illustrated with three examples drawn from different applications and compared with existing work in the literature.

Construction of invariant Lyapunov norms for planar switching systems

Stability Criterions For Switched Linear Systems Based On Matrix Measure

Matrix Measure Stability Criteria for a Class of Switched Linear Systems

Lyapunov function construction for nonlinear stochastic dynamical systems

Stability and invariant norms of arbitrary sets of 2x2 matrices

Converse Lyapunov Results for Switched Systems with Lower and Upper Bounds on Switching Intervals

Indefinite Lyapunov Functions Based Stability of Switched Nonlinear Systems

On the Stability of Positive Linear Switched Systems Under Arbitrary Switching Laws

Stabilization of planar discrete-time switched systems: Switched Lyapunov functional approach

On stability and state-norm estimation of switched systems under restricted switching

An Irreducible Linear Switching System Whose Unique Barabanov Norm Is Not Strictly Convex

On Lyapunov functions for random one‐sided systems in terms of nonuniform exponential stability with applications

Stability of bimodal planar linear switched systems

Stability analysis and control synthesis for switched systems: a switched Lyapunov function approach

Stabilizing switching signals for switched linear systems

Stabilizing switched nonlinear systems under restricted but arbitrary switching signals

Invariance Control Synthesis for Switched Systems: An Interval Analysis Approach

Lyapunov inequalities and stability for linear Hamiltonian systems

A Stability Dichotomy for Discrete-Time Linear Switching Systems in Dimension Two

New Stability Analysis for Switched Neutral Systems