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 条
[11]   Stability analysis of Takagi-Sugeno systems using a switched fuzzy Lyapunov function [J].
Elias, Leandro J. ;
Faria, Flavio A. ;
Araujo, Rayza ;
Oliveira, Vilma A. .
INFORMATION SCIENCES, 2021, 543 :43-57
[12]   Robust Exponential Stability of a Class of Uncertain Switched Fuzzy Systems [J].
Yang, Hong ;
Zhang, Le .
2011 CHINESE CONTROL AND DECISION CONFERENCE, VOLS 1-6, 2011, :2261-2266
[13]   Stability analysis for switched positive T-S fuzzy systems [J].
Liu, Lei ;
Yin, Yunfei ;
Wang, Lijie ;
Bai, Rui .
NEUROCOMPUTING, 2016, 173 :2009-2013
[14]   A commutation condition for stability analysis of switched linear descriptor systems [J].
Zhai, Guisheng ;
Xu, Xuping .
NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2011, 5 (03) :383-393
[15]   Stability analysis of nonlinear-function fuzzy-model-based control systems [J].
Lam, H. K. ;
Lauber, Jimmy .
JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 2012, 349 (10) :3102-3120
[16]   Stability analysis and synthesis for switched Takagi-Sugeno fuzzy positive systems described by the Roesser model [J].
Wang, Jinling ;
Liang, Jinling ;
Dobaie, Abdullah M. .
FUZZY SETS AND SYSTEMS, 2019, 371 :25-39
[17]   Stability and Stabilization of TS Fuzzy Systems via Line Integral Lyapunov Fuzzy Function [J].
Meredef, Imad Eddine ;
Hammoudi, Mohamed Yacine ;
Betka, Abir ;
Hamiane, Madina ;
Mimoune, Khalida .
ELECTRONICS, 2022, 11 (19)
[18]   Stability analysis for a class of switched linear systems [J].
Guo, Rongwei ;
Wang, Yuzhen .
ASIAN JOURNAL OF CONTROL, 2012, 14 (03) :817-826
[19]   Stability Analysis of Switched Systems [J].
Zhang, Jinjing ;
Li, Fan ;
Yang, Xiaobin ;
Li, Li .
KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, KSEM 2016, 2016, 9983 :478-488
[20]   The stability analysis of switched systems [J].
Zhou, DT ;
Xiao, Y ;
Mu, MC .
2001 INTERNATIONAL CONFERENCES ON INFO-TECH AND INFO-NET PROCEEDINGS, CONFERENCE A-G: INFO-TECH & INFO-NET: A KEY TO BETTER LIFE, 2001, :D215-D220
12345