Approximately bisimilar symbolic model for switched systems with unstable subsystems

被引：2
作者：
Liu, Yongzhuang [1 ]
Song, Yang [1 ,2 ]
Gao, Wenshuai [1 ]
机构：
[1] Shanghai Univ, Sch Mechatron Engn & Automat, Dept Automat, Shanghai 200444, Peoples R China
[2] Shanghai Key Lab Power Stn Automat Technol, Shanghai 200444, Peoples R China
来源：
JOURNAL OF THE FRANKLIN INSTITUTE | 2022年 / 359卷 / 09期
基金：
上海市自然科学基金;
关键词：
STABILITY; STABILIZATION; CONTROLLERS; DISCRETE; DESIGN;
D O I：
10.1016/j.jfranklin.2022.04.013
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper deals with approximate bisimulation for the switched nonlinear system with mode-dependent dwell time. A criterion for incremental stability is presented for this switched nonlinear system by constructing incremental Lyapunov-like functions. Then for the case that all the subsystems are linear, a more solvable criterion is provided in terms of linear matrix inequalities. A symbolic model which is approximately bisimilar to the original switched nonlinear system is developed by using the grid-based approach, and the bisimilar precision is also given. Numerical examples are provided to show the application of the proposed results. (C) 2022 The Franklin Institute. Published by Elsevier Ltd. All rights reserved.
引用
收藏
页码：4393 / 4409
页数：17
相关论文
共 50 条
[1]   Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems [J].
Girard, Antoine ;
Pola, Giordano ;
Tabuada, Paulo .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2010, 55 (01) :116-126
[2]   Approximately bisimilar symbolic models for randomly switched stochastic systems [J].
Zamani, Majid ;
Abate, Alessandro .
SYSTEMS & CONTROL LETTERS, 2014, 69 :38-46
[3]   Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions [J].
Zamani, Majid ;
Esfahani, Peyman Mohajerin ;
Majumdar, Rupak ;
Abate, Alessandro ;
Lygeros, John .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2014, 59 (12) :3135-3150
[4]   Switched adaptive control of switched nonlinearly parameterized systems with unstable subsystems [J].
Long, Lijun ;
Wang, Zhuo ;
Zhao, Jun .
AUTOMATICA, 2015, 54 :217-228
[5]   Robust state estimation for switched systems with unstable subsystems [J].
Wang, Yue-E ;
Wu, Di ;
Wu, Caiyun ;
Wang, Xiaoying .
PROCEEDINGS OF THE 2019 31ST CHINESE CONTROL AND DECISION CONFERENCE (CCDC 2019), 2019, :1798-1803
[6]   Robust Stabilization of Linear Switched Systems with Unstable Subsystems [J].
Rodriguez-Licea, Martin-Antonio ;
Perez-Pinal, Francisco-J ;
Prado Olivares, Juan .
APPLIED SCIENCES-BASEL, 2018, 8 (12)
[7]   Alternating approximately bisimilar symbolic models for nonlinear control systems affected by disturbances [J].
Borri, Alessandro ;
Pola, Giordano ;
Di Benedetto, Maria Domenica .
2011 50TH IEEE CONFERENCE ON DECISION AND CONTROL AND EUROPEAN CONTROL CONFERENCE (CDC-ECC), 2011, :552-557
[8]   Time-optimal symbolic control of a changeover process based on an approximately bisimilar symbolic model [J].
Fakhroleslam, Mohammad ;
Pola, Giordano ;
De Santis, Elena ;
Di Benedetto, Maria Domenica .
JOURNAL OF PROCESS CONTROL, 2019, 81 :126-135
[9]   Alternating Approximately Bisimilar Symbolic Models for Nonlinear Control Systems with Unknown Time-Varying Delays [J].
Pola, Giordano ;
Pepe, Pierdomenico ;
Di Benedetto, Maria D. .
49TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2010, :7649-7654
[10]   Finite-step approximately bi-similar symbolic model for switched systems [J].
Liu, Yongzhuang ;
Song, Yang ;
Lin, Hai .
JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 2024, 361 (10)
12345