Stability Analysis for Nonlinear Weakly Hard Real-Time Control Systems

SAW: A Tool for Safety Analysis of Weakly-hard Systems

We introduce SAW, a tool for safety analysis of weakly-hard systems, in which traditional hard timing constraints are relaxed to allow bounded deadline misses for improving design flexibility and runtime resiliency. Safety verification is a key issue for weakly-hard systems, as it ensures system safety under allowed deadline misses. Previous works are either for linear systems only, or limited to a certain type of nonlinear systems (e.g., systems that satisfy exponential stability and Lipschitz continuity of the system dynamics). In this work, we propose a new technique for infinite-time safet…

Convergence Rate Abstractions for Weakly-Hard Real-Time Control

Classically, a control loop is designed to be executed strictly periodically. This is, however, difficult to achieve in many scenarios, for example, when overload or packet loss cannot be entirely avoided. Here, weakly-hard real-time control systems are a common approach which relaxes timing constraints and leverages the inherent robustness of controllers. Yet, their analysis is often hampered by the complexity arising from the system dimension and the vast number of possible timing sequences. In this paper, we present the novel concept of convergence rate abstractions that provide a sound yet…

弱硬控制系统的控制器合成框架

A Controller Synthesis Framework for Weakly-Hard Control Systems

本文提出一种整合弱硬约束的控制器设计框架，支持多种超时处理策略，通过Furuta摆验证，证明了主动合成在超时感知实时控制中的优势。

对控制系统验证中的弱硬约束进行过度逼近（扩展）

Over-approximation of weakly-hard constraints for control systems verification (Extended)

本文提出了一种对弱硬约束语言的过度逼近方法，以解决传统有限状态机在验证控制系统属性时的效率问题，通过压缩语言接受器实现更高效的验证。

Leveraging Weakly-hard Constraints for Improving System Fault Tolerance with Functional and Timing Guarantees

Many safety-critical real-time systems operate under harsh environment and are subject to soft errors caused by transient or intermittent faults. It is critical and yet often very challenging to apply fault tolerance techniques in these systems, due to their resource limitations and stringent constraints on timing and functionality. In this work, we leverage the concept of weakly-hard constraints, which allows task deadline misses in a bounded manner, to improve system's capability to accommodate fault tolerance techniques while ensuring timing and functional correctness. In particular, we 1) …

通过基于图的障碍函数实现弱硬控制系统的安全性

Safety for Weakly-Hard Control Systems via Graph-Based Barrier Functions

本文提出基于图的障碍函数方法，用于保障弱硬约束控制系统的安全性，通过缓解保守性并提高计算可行性，验证了方法的有效性。