Data-Driven Safety Verification of Discrete-Time Networks: A Compositional Approach

被引：0
|
作者：
Noroozi, Navid [1 ]
Salamati, Ali [2 ]
Zamani, Majid [2 ]
机构：
[1] Model-Based Systems Engineering (MBSE), SIGNON Deutschland GmbH, Berlin,10117, Germany
[2] Institute of Informatics, Ludwig Maximilian University of Munich, Munich,80539, Germany
来源：
IEEE Control Systems Letters | 2022年 / 6卷
关键词：
Convex optimization - Large scale systems;
D O I：
暂无
中图分类号：
N94 [系统科学]; C94 [];
学科分类号：
0711 ; 081103 ; 1201 ;
摘要：
引用
收藏
页码：2210 / 2215
相关论文
共 50 条
  • [1] Data-Driven Safety Verification of Discrete-Time Networks: A Compositional Approach
    Noroozi, Navid
    Salamati, Ali
    Zamani, Majid
    IEEE CONTROL SYSTEMS LETTERS, 2022, 6 : 2210 - 2215
  • [2] Data-driven control of a class of discrete-time linear complex dynamical networks
    Wang, Wei
    Feng, Changyang
    Quan, Wei
    2019 IEEE INTERNATIONAL CONFERENCE ON BIG DATA (BIG DATA), 2019, : 6243 - 6245
  • [3] A Novel Data-Driven Control Approach for a Class of Discrete-Time Nonlinear Systems
    Hou, Zhongsheng
    Jin, Shangtai
    IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2011, 19 (06) : 1549 - 1558
  • [4] A Compositional Dissipativity Approach for Data-Driven Safety Verification of Large-Scale Dynamical Systems
    Lavaei, Abolfazl
    Soudjani, Sadegh
    Frazzoli, Emilio
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2023, 68 (12) : 7240 - 7253
  • [5] Data-driven asymptotic stabilization for discrete-time nonlinear systems
    Li, Yongqiang
    Hou, Zhongsheng
    SYSTEMS & CONTROL LETTERS, 2014, 64 : 79 - 85
  • [6] Data-driven control for discrete-time piecewise affine systems✩
    Wang, Meng
    Qiu, Jianbin
    Yan, Huaicheng
    Tian, Yongxiao
    Li, Zhichen
    AUTOMATICA, 2023, 155
  • [7] Data-Driven Control for Linear Discrete-Time Delay Systems
    Rueda-Escobedo, Juan G.
    Fridman, Emilia
    Schiffer, Johannes
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2022, 67 (07) : 3321 - 3336
  • [8] Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach
    Nejati, Ameneh
    Lavaei, Abolfazl
    Jagtap, Pushpak
    Soudjani, Sadegh
    Zamani, Majid
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2023, 68 (05) : 3011 - 3024
  • [9] Data-driven controller design of discrete-time switched systems using virtual clock approach
    Li, Yapeng
    Wang, Tao
    Xiang, Weiming
    ISA TRANSACTIONS, 2025, 158 : 197 - 207
  • [10] Fault Estimation and Control for Unknown Discrete-Time Systems Based on Data-Driven Parameterization Approach
    Liu, He
    Li, Xiao-Jian
    Deng, Chao
    Ahn, Choon Ki
    IEEE TRANSACTIONS ON CYBERNETICS, 2023, 53 (03) : 1629 - 1640
12345