15 citations · 25 across the 7 of their papers we have counts for
7 papers
Stress Testing Control Loops in Cyber-Physical Systems
Claudio Mandrioli, Seung Yeob Shin, Martina Maggio +2
Cyber-Physical Systems (CPSs) are often safety-critical and deployed in uncertain environments. Identifying scenarios where CPSs do not comply with requirements is fundamental but…
Stability of Linear Systems under Extended Weakly-Hard Constraints
Nils Vreman, Paolo Pazzaglia, Jie Wang +2
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…
SparseJSR: A Fast Algorithm to Compute Joint Spectral Radius via Sparse SOS Decompositions
Jie Wang, Martina Maggio, Victor Magron
This paper focuses on the computation of joint spectral radii (JSR), when the involved matrices are sparse. We provide a sparse variant of the procedure proposed by Parrilo and Jad…
Reverse Flooding: exploiting radio interference for efficient propagation delay compensation in WSN clock synchronization
Federico Terraneo, Alberto Leva, Silvano Seva +2
Clock synchronization is a necessary component in modern distributed systems, especially Wirless Sensor Networks (WSNs). Despite the great effort and the numerous improvements, the…
Self-Awareness of Cloud Applications
Alexandru Iosup, Xiaoyun Zhu, Arif Merchant +6
Cloud applications today deliver an increasingly larger portion of the Information and Communication Technology (ICT) services. To address the scale, growth, and reliability of clo…
Design and Implementation of Distributed Resource Management for Time Sensitive Applications
Georgios C. Chasparis, Martina Maggio, Enrico Bini +1
In this paper, we address distributed convergence to fair allocations of CPU resources for time-sensitive applications. We propose a novel resource management framework where a cen…