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.

Stabilizability Analysis of Logical Networks with Switching Signal and Control Input

Logic-based Switching Adaptive Stabilization of Feedforward Nonlinear Systems

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

Asynchronous Stabilization of Boolean Control Networks with Stochastic Switched Signals.

Logic-Based Switching Control for Stabilization of Stochastic Feedforward Nonlinear Systems

Set Stabilization for Switched Boolean Control Networks.

Stability and stabilization of Boolean networks

Stability of a Switched Boolean Network Via Designing Switching Laws

Stability Analysis Switched Systems

Analysis of Discrete-Time Switched Linear Systems under Logic Dynamic Switchings

Controllability Implies Stabilizability for Switched Linear Systems under Arbitrary Switching

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

Global Stability at a Limit Cycle of Switched Boolean Networks under Arbitrary Switching Signals

On Stabilizability of Switched Linear Systems Under Restricted Switching

Controllability and Stabilization of Discrete-Time Switched Linear Systems.

Practical stability for switched affine systems via time‐dependent switching function

New Results On Controllability, Observability And Stabilization Of Switched Linear Systems

Stability and Stabilization of Multivalued Logical Networks

New stability of linear switched systems with fault-tolerant control

Lyapunov-Equation-Based Stability Analysis for Switched Linear Systems and Its Application to Switched Adaptive Control

Stability Analysis and Stabilization of Event-Triggered Networked Control for Positive Linear Systems