Safety-aware flexible schedule synthesis for cyber-physical systems using weakly-hard constraints

S Xu, B Ghosh, C Hobbs, PS Thiagarajan… - Proceedings of the 28th …, 2023 - dl.acm.org
With the emergence of complex autonomous systems, multiple control tasks are increasingly
being implemented on shared computational platforms. Due to the resource-constrained …

[HTML][HTML] On ℓ2-performance of weakly-hard real-time control systems

M Seidel, S Lang, F Allgöwer - European Journal of Control, 2024 - Elsevier
This paper considers control systems with failures in the feedback channel, that occasionally
lead to loss of the control input signal. A useful approach for modeling such failures is to …

Average Task Execution Time Minimization under (m, k) Soft Error Constraint

J Shi, N Ueter, JJ Chen, KH Chen - 2023 IEEE 29th Real-Time …, 2023 - ieeexplore.ieee.org
Safety-critical systems are often subjected to transient faults. Since these transient faults may
lead to soft errors that cause catastrophic consequences, error-handling must be addressed …

Safety-Aware Implementation of Control Tasks via Scheduling with Period Boosting and Compressing

S Xu, B Ghosh, C Hobbs… - 2023 IEEE 29th …, 2023 - ieeexplore.ieee.org
A crucial requirement for control tasks in safety-critical systems like automotive is that all
deadlines be met. This is becoming increasingly difficult when several tasks share common …

Statistical approach to efficient and deterministic schedule synthesis for cyber-physical systems

S Xu, B Ghosh, C Hobbs, E Fraccaroli… - … for Verification and …, 2023 - Springer
Correctness of controller implementations rely on real-time guarantees that all control tasks
finish execution by their prescribed deadlines. However, with increased complexity and …

Stability of linear systems under extended weakly-hard constraints

N Vreman, P Pazzaglia, V Magron… - IEEE Control …, 2022 - ieeexplore.ieee.org
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 …

Quantitative Safety-Driven Co-Synthesis of Cyber-Physical System Implementations

C Hobbs, S Xu, B Ghosh, E Fraccaroli… - 2024 ACM/IEEE 15th …, 2024 - ieeexplore.ieee.org
Feedback controllers form the algorithmic core of many cyber-physical systems (CPSs).
They are increasingly becoming computationally expensive and efficiently implementing …

Experimenting with networked control software subject to faults

BJ Josephrexon, M Maggio - 2022 IEEE 61st Conference on …, 2022 - ieeexplore.ieee.org
Faults and errors are common in the execution of digital controllers on top of embedded
hardware. Researchers from the embedded system domain devised models to understand …

The admorph approach for adaptively morphing embedded systems

A Pimentel, C Grelck, L Miedema, D Sapra… - ACM SIGAda Ada …, 2024 - dl.acm.org
Due to the increasing performance demands of missionand safety-critical Cyber-Physical
Systems (of Systems), these systems exhibit a rapidly growing complexity, manifested by an …

On -performance of weakly-hard real-time control systems

M Seidel, S Lang, F Allgöwer - arXiv preprint arXiv:2305.07875, 2023 - arxiv.org
This paper considers control systems with failures in the feedback channel, that occasionally
lead to loss of the control input signal. A useful approach for modeling such failures is to …