Stability Analysis of Switched Fuzzy Systems Via Model Checking

被引：12

作者：

Ding, Zuohua ^{[1
]}

Zhou, Yuan ^{[1
]}

Zhou, MengChu ^{[2
,3
]}

机构：

[1] Zhejiang Sci Tech Univ, Lab Intelligent Comp & Software Engn, Hangzhou 310018, Zhejiang, Peoples R China

[2] New Jersey Inst Technol, Dept Elect & Comp Engn, Newark, NJ 07102 USA

[3] Tongji Univ, Shanghai 200092, Peoples R China

来源：

IEEE TRANSACTIONS ON FUZZY SYSTEMS | 2014年 / 22卷 / 06期

基金：

中国国家自然科学基金; 美国国家科学基金会;

关键词：

Hybrid system; model checking; stability; switched fuzzy system (SFS); Takagi and Sugeno (T-S) model; RELAXED STABILITY; DESIGN; STABILIZATION; REPRESENTATION; SIMULATION;

D O I：

10.1109/TFUZZ.2013.2297155

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Switched fuzzy systems can be used to describe the hybrid systems with fuzziness. Their stability issue is the most important one and has received significant attention. Most of the existing methods to study it are based on Lyapunov functions. However, the existence of such functions is difficult to establish. This paper presents a new method to analyze the stability. A switched fuzzy system with a Takagi-Sugeno (T-S) fuzzy model is first transformed to a hybrid automaton (HA) that is linearized. The reachability of this linearized one is then checked by the model checker PHAVer. Finally, the stability is obtained by analyzing the reachability. It is shown that a switched fuzzy system and its corresponding HA have the same behavior and that the linearization does not affect the stability analysis. We demonstrate the effectiveness of our method through a case study on a differential-drive two-wheeled mobile robot.

引用

页码：1503 / 1514

页数：12

共 50 条

[31] Stability analysis of switched impulsive systems with time delays [J].

Zhu, Wei .

NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2010, 4 (03) :608-617

[32] Stability analysis and control synthesis of switched impulsive systems [J].

Xiang, Weiming ;

Xiao, Jian .

INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL, 2012, 22 (13) :1440-1459

[33] Passivity-Based Adaptive Fuzzy Control for Stochastic Nonlinear Switched Systems via T-S Fuzzy Modeling [J].

Liu, Zhen ;

Yu, Jinpeng ;

Lam, Hak-Keung .

IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2023, 31 (04) :1401-1408

[34] Robust stability and stabilization analysis for discrete-time randomly switched fuzzy systems with known sojourn probabilities [J].

Banu, L. Jarina ;

Balasubramaniam, P. .

NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2015, 17 :128-143

[35] Stability Analysis of Discrete-Time Switched T-S Fuzzy Systems With All Subsystems Unstable [J].

Liu, Can ;

Mao, Xiang ;

Xu, Xiaozeng ;

Zhang, Hongbin .

IEEE ACCESS, 2019, 7 :50412-50418

[36] Stability Analysis for Nonstationary Switched Systems [J].

Platonov, A. V. .

RUSSIAN MATHEMATICS, 2020, 64 (02) :56-65

[37] Stability analysis of switched stochastic systems [J].

Wei, Feng ;

Jie, Tian ;

Ping, Zhao .

AUTOMATICA, 2011, 47 (01) :148-157

[38] Stability of bimodal planar linear switched systems [J].

Tripathi, Swapnil ;

Agarwal, Nikita .

EUROPEAN JOURNAL OF CONTROL, 2023, 70

[39] Stability With Safety Analysis for Switched Systems via Multiple Lyapunov and Barrier Functions [J].

Lu, Junjie ;

Liu, Bodan ;

She, Zhikun ;

Yang, Shunkun .

INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL, 2025,

[40] Stability analysis for a class of switched systems with state constraints via time-varying Lyapunov functions [J].

Wang, Siqi ;

Ma, Ruicheng .

JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 2022, 359 (16) :8933-8949

← 1 2 3 4 5 →