Approximately bisimilar symbolic model for switched systems with unstable subsystems

被引：1
|
作者：
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-ENGINEERING AND APPLIED MATHEMATICS | 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
    Girard, Antoine
    Pola, Giordano
    Tabuada, Paulo
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2008, 4981 : 201 - +
  • [2] Approximately bisimilar symbolic models for randomly switched stochastic systems
    Zamani, Majid
    Abate, Alessandro
    SYSTEMS & CONTROL LETTERS, 2014, 69 : 38 - 46
  • [3] Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
    Girard, Antoine
    Pola, Giordano
    Tabuada, Paulo
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2010, 55 (01) : 116 - 126
  • [4] Approximately bisimilar symbolic models for nonlinear control systems
    Pola, Giordano
    Girard, Antoine
    Tabuada, Paulo
    AUTOMATICA, 2008, 44 (10) : 2508 - 2516
  • [5] Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions
    Zamani, Majid
    Esfahani, Peyman Mohajerin
    Majumdar, Rupak
    Abate, Alessandro
    Lygeros, John
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2014, 59 (12) : 3135 - 3150
  • [6] Alternating approximately bisimilar symbolic models for nonlinear control systems affected by disturbances
    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
  • [7] Time-optimal symbolic control of a changeover process based on an approximately bisimilar symbolic model
    Fakhroleslam, Mohammad
    Pola, Giordano
    De Santis, Elena
    Di Benedetto, Maria Domenica
    JOURNAL OF PROCESS CONTROL, 2019, 81 : 126 - 135
  • [8] Safety stabilization of switched systems with unstable subsystems
    Long, Lijun
    Hong, Yiguang
    CONTROL THEORY AND TECHNOLOGY, 2022, 20 (01) : 95 - 102
  • [9] Safety stabilization of switched systems with unstable subsystems
    Lijun Long
    Yiguang Hong
    Control Theory and Technology, 2022, 20 : 95 - 102
  • [10] Bisimilar Symbolic Models for Stochastic Switched Systems: A Discretization-Free Approach
    Zamani, Majid
    Girard, Antoine
    2015 AMERICAN CONTROL CONFERENCE (ACC), 2015, : 1923 - 1928
12345