Abstract:Mathematical characterization of switched systems based on automata is one of the most challenging problems in the context of hybrid dynamical systems. This paper investigates the mathematical representation and stabilization of a class of slowly and fastly switched linear systems with automata in the hybrid coupling framework. To address such an issue, by using the semi-tensor product of matrices, a so-called “automaton-dependent switched linear system” is established to generalize the traditional switched system, which is characterized mathematically in the new form of a hybrid dynamic system consisting of a continuous-time differential equation and a discrete-time difference equation. Moreover, a novel automaton-dependent constrained switching scheme is developed for the stabilization of the proposed model with unstable subsystems. Next, by designing slow mode-dependent average dwell time (S-MDADT), fast mode-dependent average dwell time (F-MDADT), slow cycle-dependent cycle dwell time (S-CDCDT) and fast cycle-dependent cycle dwell time (F-CDCDT) switching laws, a generalized stabilization lemma for automaton-dependent switched nonlinear systems with both stable and unstable modes inside and outside the cycle is derived in the term of digital transformations and multiple Lyapunov functions. Furthermore, based on the stabilizability criteria of nonlinear case, by setting digital transformations and linear matrix inequalities, a new stabilization theorem for automaton-dependent switched linear systems with unstable subsystems is obtained. It should be noted that the proposed scheme provides a more precise estimation of the upper and lower bounds for the dwell time of the system with unstable modes. Finally, a practical converter circuit example and a numerical example are given to show the validity of the designed techniques.

Basic problems in stability and design of switched systems

Stability Criterions For Switched Linear Systems Based On Matrix Measure

Stability Criteria For Switched Linear Systems Based On The Quadratic Form

Matrix Measure Stability Criteria for a Class of Switched Linear Systems

Stability and Stabilization of a Class of Switched Stochastic Systems with Saturation Control

Stability Analysis Switched Systems

Stability Analysis for Discrete Switched Systems with Time Delay

On Stabilizability of Switched Linear Systems Under Restricted Switching

Stabilizing discrete-time switched linear systems

Stabilization Of Switched Linear Systems Via Constructing Switching Laws

Stability and Optimal Control of Switching PDE-Dynamical Systems

Stability And Stabilization Of Switched Descriptor Systems Under Arbitrary Switching

Stabilizing switching signals for switched linear systems

Stability And Stabilization Of Switched Impulsive Systems

Stabilizing switching signals: A transition from point-wise to asymptotic conditions

Stabilization and performance analysis for a class of switched systems

Critical Dwell Time of Switched Linear Systems

Stability analysis of switched systems using variational principles: An introduction

A Novel Mathematical Characterization for Switched Linear Systems Based on Automata and Its Stabilizability Analysis

Controllability Implies Stabilizability for Switched Linear Systems under Arbitrary Switching

Stability analysis of a class of switched systems 1