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 条
  • [1] Stability analysis for nonlinear switched singular systems via T-S fuzzy modeling
    Liu, Yanhong
    Zhi, Huimin
    Wei, Jumei
    Zhu, Xunlin
    Xu, Mingliang
    Ma, Rui
    Du, Haiping
    JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 2022, 359 (08): : 3717 - 3732
  • [2] Stability Analysis and Controller Design of the Nonlinear Switched Systems via T-S Discrete-Time Fuzzy Model
    Chiou, Juing-Shian
    Wang, Chi-Jo
    Cheng, Chun-Ming
    Wang, Chih-Chieh
    INTERNATIONAL JOURNAL OF FUZZY SYSTEMS, 2009, 11 (04) : 213 - 224
  • [3] SOS-Based Stability Analysis of Polynomial Fuzzy-Model-Based Control Systems Via Polynomial Membership Functions
    Narimani, Mohammand
    Lam, H. K.
    IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2010, 18 (05) : 862 - 871
  • [4] Stability analysis of uncertain switched systems via delay partitioning
    Zhao, Wen-Xiu
    Sun, Yuan-Gong
    2015 15TH INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION AND SYSTEMS (ICCAS), 2015, : 1088 - 1091
  • [5] Slack Stability Analysis of a Class of Switched Fuzzy Systems
    Li, Shuliang
    Yang, Hong
    Zhang, Le
    CCDC 2009: 21ST CHINESE CONTROL AND DECISION CONFERENCE, VOLS 1-6, PROCEEDINGS, 2009, : 6100 - +
  • [6] Stability analysis of discrete-time switched nonlinear systems via T-S fuzzy model approach
    Liu, Lei
    Yin, Yunfei
    Wang, Jiahui
    Wu, Qinghui
    NEUROCOMPUTING, 2016, 173 : 1967 - 1971
  • [7] Analysis and synthesis of switched nonlinear systems using the T-S fuzzy model
    Chiou, Juing-Shian
    Wang, Chi-Jo
    Cheng, Chun-Ming
    Wang, Chih-Chieh
    APPLIED MATHEMATICAL MODELLING, 2010, 34 (06) : 1467 - 1481
  • [8] Stability analysis for switched delay systems via novel integral inequalities
    Cai, Zhi-Hui
    Zhang, Bao-Lin
    Wang, YiKang
    Yu, Xian-Hu
    2018 AUSTRALIAN & NEW ZEALAND CONTROL CONFERENCE (ANZCC), 2018, : 188 - 193
  • [9] H∞ control for a class of switched fuzzy systems via output feedback
    Jiang, Yudong
    Luo, Jinming
    Gao, Jing
    Zhu, Hong
    PROCEEDINGS OF THE 32ND 2020 CHINESE CONTROL AND DECISION CONFERENCE (CCDC 2020), 2020, : 752 - 757
  • [10] Stability Analysis of Nonlinear Networked Control Systems via Takagi-Sugeno Fuzzy Model
    Yoneyama, Jun
    IFAC PAPERSONLINE, 2017, 50 (01): : 2989 - 2994
12345