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 条

[41] Stability Analysis of Fuzzy Control for Nonlinear Systems [J].

Chen, Po-Chen ;

Yeh, Ken ;

Chen, Cheng-Wu ;

Lin, Shu-Hao .

2009 FIRST ASIAN CONFERENCE ON INTELLIGENT INFORMATION AND DATABASE SYSTEMS, 2009, :238-+

[42] Exponential Stability of Switched Fuzzy Systems with time-delay [J].

Yang, Hong ;

Zhang, Le .

PROCEEDINGS OF THE 2012 24TH CHINESE CONTROL AND DECISION CONFERENCE (CCDC), 2012, :1799-1804

[43] Stability Analysis and Stabilization of Switched Systems With Average Dwell Time: A Matrix Polynomial Approach [J].

Zhou, Yongjun ;

Cheng, Lei ;

Zhang, Hongbin .

IEEE ACCESS, 2021, 9 (09) :9394-9402

[44] A UNIFIED APPROACH TO STABILITY ANALYSIS OF SWITCHED LINEAR DESCRIPTOR SYSTEMS UNDER ARBITRARY SWITCHING [J].

Zhai, Guisheng ;

Xu, Xuping .

INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS AND COMPUTER SCIENCE, 2010, 20 (02) :249-259

[45] Stability Analysis for a Class of Discrete-Time Switched Systems With Partial Unstable Subsystems [J].

Du, Shengli ;

Karimi, Hamid Reza ;

Qiao, Junfei ;

Wu, Di ;

Feng, Chao .

IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS, 2019, 66 (12) :2017-2021

[46] Stability of Switched Systems: An Introduction [J].

Bacciotti, Andrea .

LARGE-SCALE SCIENTIFIC COMPUTING, LSSC 2013, 2014, 8353 :74-80

[47] Stability analysis of feedback switched systems with state and switching delays [J].

Zhai, Shidong ;

Yang, Xiao-Song .

IMA JOURNAL OF MATHEMATICAL CONTROL AND INFORMATION, 2013, 30 (01) :21-35

[48] Stability analysis of switched systems with extended average dwell time [J].

Yu, Qiang ;

Yin, Yunfei ;

Zhao, Xudong .

TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2018, 40 (05) :1425-1434

[49] Stability analysis for linear systems with a switched rapidly varying delay [J].

Mazenc, Frederic ;

Niculescu, Silviu-Iulian ;

Torres-Garcia, Diego .

AUTOMATICA, 2024, 169

[50] Stability analysis of semi-Markov switched stochastic systems [J].

Wang, Bao ;

Zhu, Quanxin .

AUTOMATICA, 2018, 94 :72-80

← 1 2 3 4 5 →