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 条
[21]   AN APPROACH FOR STABILITY ANALYSIS OF T-S FUZZY SYSTEMS VIA PIECEWISE QUADRATIC STABILITY [J].
Zamani, Iman ;
Zarif, Mohammad H. .
INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2010, 6 (09) :4041-4054
[22]   Stability analysis of switched systems on time scales with all modes unstable [J].
Lu, Xiaodong ;
Zhang, Xianfu .
NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2019, 33 :371-379
[23]   Stability of delayed switched systems via Razumikhin technique and application to switched neural networks [J].
Sun, Dihua ;
Liu, Chao ;
Yang, Zheng ;
Liu, Xiaoyang ;
Yang, Hongyu ;
Huang, Junjian .
IMA JOURNAL OF MATHEMATICAL CONTROL AND INFORMATION, 2021, 38 (02) :576-593
[24]   Polynomial Fuzzy-Model-Based Control Systems: Stability Analysis via Approximated Membership Functions Considering Sector Nonlinearity of Control Input [J].
Lam, H. K. ;
Liu, Chuang ;
Wu, Ligang ;
Zhao, Xudong .
IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2015, 23 (06) :2202-2214
[25]   H∞ control for switched fuzzy systems via dynamic output feedback: Hybrid and switched approaches [J].
Xiang, Weiming ;
Xiao, Jian ;
Iqbal, Muhammad Naveed .
COMMUNICATIONS IN NONLINEAR SCIENCE AND NUMERICAL SIMULATION, 2013, 18 (06) :1499-1514
[26]   Stability Analysis for Switched Nonlinear System via Switching Fuzzy Lyapunov Function Approach [J].
Xie, Rongqiang ;
Zhang, Hongbin .
2014 IEEE CHINESE GUIDANCE, NAVIGATION AND CONTROL CONFERENCE (CGNCC), 2014, :309-312
[27]   Stability Analysis of Positive Switched T-S Fuzzy Systems Based on Fuzzy Clustering Sets [J].
Wang Hongwei ;
Lian Jie .
2017 29TH CHINESE CONTROL AND DECISION CONFERENCE (CCDC), 2017, :2037-2042
[28]   Stability analysis of impulsive switched systems with time delays [J].
Yang, Chunde ;
Zhu, Wei .
MATHEMATICAL AND COMPUTER MODELLING, 2009, 50 (7-8) :1188-1194
[29]   Stability analysis of nonlinear impulsive switched positive systems [J].
Lin, Yanzi ;
Zhao, Ping .
INTERNATIONAL JOURNAL OF NONLINEAR SCIENCES AND NUMERICAL SIMULATION, 2023, 24 (07) :2715-2730
[30]   Generic Stability Criteria for Switched Nonlinear Systems With Switching-Signal-Based Lyapunov Functions Using Takagi-Sugeno Fuzzy Model [J].
Chen, Weizhong ;
Fei, Zhongyang ;
Zhao, Xudong ;
Basin, Michael V. .
IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2022, 30 (10) :4239-4248
12345