Stability of Linear Systems Under Extended Weakly-Hard Constraints

被引：5
|
作者：
Vreman, Nils [1 ]
Pazzaglia, Paolo [2 ]
Magron, Victor [3 ]
Wang, Jie [4 ]
Maggio, Martina [1 ,2 ]
机构：
[1] Lund Univ, Dept Automat Control, S-22363 Lund, Sweden
[2] Saarland Univ, Dept Comp Sci, D-66123 Saarbrucken, Germany
[3] CNRS, Lab Anal & Architecture Syst, F-31031 Toulouse, France
[4] Chinese Acad Sci, Acad Math & Syst Sci, Beijing 100190, Peoples R China
来源：
IEEE CONTROL SYSTEMS LETTERS | 2022年 / 6卷
基金：
欧盟地平线“2020”;
关键词：
Task analysis; Real-time systems; Computational modeling; Switches; Stability criteria; Robustness; Linear systems; Fault tolerant systems; linear systems; networked control systems; JOINT SPECTRAL-RADIUS; TIME; APPROXIMATION; FORMULA;
D O I：
10.1109/LCSYS.2022.3179960
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Control systems can show robustness to many events, like disturbances and model inaccuracies. It is natural to speculate that they are also robust to sporadic deadline misses when implemented as digital tasks on an embedded platform. This letter proposes a comprehensive stability analysis for control systems subject to deadline misses, leveraging a new formulation to describe the patterns experienced by the control task under different handling strategies. Such analysis brings the assessment of control systems robustness to computational problems one step closer to the controller implementation.
引用
收藏
页码：2900 / 2905
页数：6
相关论文
共 50 条
  • [1] Mixed Criticality Systems with Weakly-Hard Constraints
    Gettings, Oliver
    Quinton, Sophie
    Davis, Robert I.
    PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON REAL-TIME AND NETWORKS SYSTEMS (RTNS) 2015, 2015, : 237 - 246
  • [2] Formal Verification of Weakly-Hard Systems
    Huang, Chao
    Li, Wenchao
    Zhu, Qi
    PROCEEDINGS OF THE 2019 22ND ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC '19), 2019, : 197 - 207
  • [3] WeaklyHard.jl: Scalable Analysis of Weakly-Hard Constraints
    Vreman, Nils
    Pates, Richard
    Maggio, Martina
    2022 IEEE 28TH REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM (RTAS), 2022, : 228 - 240
  • [4] Exploring Weakly-hard Paradigm for Networked Systems
    Huang, Chao
    Wardega, Kacper
    Li, Wenchao
    Zhu, Qi
    PROCEEDINGS OF THE WORKSHOP ON DESIGN AUTOMATION FOR CPS AND IOT (DESTION '19), 2019, : 51 - 59
  • [5] System Verification and Runtime Monitoring with Multiple Weakly-Hard Constraints
    Hsieh, Yi-Ting
    Chang, Tzu-Tao
    Tsai, Chen-Jun
    Wu, Shih-Lun
    Bai, Ching-Yuan
    Chang, Kai-Chieh
    Lin, Chung-Wei
    Kang, Eunsuk
    Huang, Chao
    Zhu, Qi
    ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS, 2023, 7 (03)
  • [6] SAW: A Tool for Safety Analysis of Weakly-Hard Systems
    Huang, Chao
    Chang, Kai-Chieh
    Lin, Chung-Wei
    Zhu, Qi
    COMPUTER AIDED VERIFICATION (CAV 2020), PT I, 2020, 12224 : 543 - 555
  • [7] Security-driven Codesign with Weakly-hard Constraints for Real-time Embedded Systems
    Liang, Hengyi
    Wang, Zhilu
    Roy, Debayan
    Dey, Soumyajit
    Chakraborty, Samarjit
    Zhu, Qi
    2019 IEEE 37TH INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD 2019), 2019, : 217 - 226
  • [8] Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime Monitoring
    Wu, Shih-Lun
    Bai, Ching-Yuan
    Chang, Kai-Chieh
    Hsieh, Yi-Ting
    Huang, Chao
    Lin, Chung-Wei
    Kang, Eunsuk
    Zhu, Qi
    RUNTIME VERIFICATION (RV 2020), 2020, 12399 : 497 - 516
  • [9] Efficient stability analysis approaches for nonlinear weakly-hard real-time control systems
    Hertneck, Michael
    Linsenmayer, Steffen
    Allgoewer, Frank
    AUTOMATICA, 2021, 133
  • [10] Work in Progress: Guaranteeing weakly-hard timing constraints in server-based real-time systems
    Samimi, Nasim
    Nasri, Mitra
    Basten, Twan
    Geilen, Marc
    2024 IEEE 30TH REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM, RTAS 2024, 2023, : 402 - 405
12345