English
Related papers

Related papers: Relaxing state-access constraints in stateful prog…

200 papers

Traditionally, the data plane has been designed with fixed functions to forward packets using a small set of protocols. This closed-design paradigm has limited the capability of the switches to proprietary implementations which are…

Networking and Internet Architecture · Computer Science 2021-06-16 Elie F. Kfoury , Jorge Crichigno , Elias Bou-Harb

This paper presents a safe model predictive control (SMPC) framework designed to ensure the satisfaction of hard constraints for systems perturbed by an external disturbance. Such safety guarantees are ensured, despite the disturbance, by…

Systems and Control · Electrical Eng. & Systems 2025-03-20 Ying Shuai Quan , Mohammad Jeddi , Francesco Prignoli , Paolo Falcone

Recent advances in reprogrammable hardware (e.g., FPGAs) and memory technology (e.g., DDR4, HBM) promise to solve performance problems inherent to graph processing like irregular memory access patterns on traditional hardware (e.g., CPU).…

Hardware Architecture · Computer Science 2021-04-19 Jonas Dann , Daniel Ritter , Holger Fröning

The freshness of real-time status processing of time-sensitive information is crucial for several applications, including healthcare monitoring and autonomous vehicles. This freshness is considered in this paper for the system where…

Networking and Internet Architecture · Computer Science 2022-10-04 Chanikarn Nikunram , Wasin Meesena , Stephen John Turner , Sucha Supittayapornpong

Mission-critical applications often run "forever" and process large data volumes in real time while demanding low latency. To handle the large state of these applications, modern streaming engines rely on key-value stores and store state on…

Databases · Computer Science 2026-03-23 Eleni Zapridou , Anastasia Ailamaki

Recent trends in business and technology (e.g., machine learning, social network analysis) benefit from storing and processing growing amounts of graph-structured data in databases and data science platforms. FPGAs as accelerators for graph…

Databases · Computer Science 2021-02-09 Jonas Dann , Daniel Ritter , Holger Fröning

In this paper, we address the problem of designing stochastic model predictive control (SMPC) schemes for linear systems affected by unbounded disturbances. The contribution of the paper is rooted in a measured-state initialization…

Optimization and Control · Mathematics 2025-04-25 Mirko Fiacchini , Martina Mammarella , Fabrizio Dabbene

Fully-partitioned fixed-priority scheduling (FP-FPS) multiprocessor systems are widely found in real-time applications, where spin-based protocols are often deployed to manage the mutually exclusive access of shared resources.…

Operating Systems · Computer Science 2024-08-28 Shuai Zhao , Hanzhi Xu , Nan Chen , Ruoxian Su , Wanli Chang

The proliferation of heterogeneous chip multiprocessors in recent years has reached unprecedented levels. Traditional homogeneous platforms have shown fundamental limitations when it comes to enabling high-performance yet-ultra-low-power…

We propose a stochastic MPC scheme using an optimization over the initial state for the predicted trajectory. Considering linear discrete-time systems under unbounded additive stochastic disturbances subject to chance constraints, we use…

Systems and Control · Electrical Eng. & Systems 2022-07-19 Henning Schlüter , Frank Allgöwer

In this treatise, my research on methods to improve efficiency, reliability, and security of reconfigurable hardware systems, i.e., FPGAs, through partial dynamic reconfiguration is outlined. The efficiency of reconfigurable systems can be…

Hardware Architecture · Computer Science 2018-10-01 Daniel Ziener

This paper considers the tracking control problem for an unknown nonlinear system with time-varying bounded disturbance subjected to a prescribed performance and input constraints. When performance and input constraints are specified…

Systems and Control · Electrical Eng. & Systems 2022-10-13 Pankaj K Mishra , Pushpak Jagtap

Model-free algorithms are brought into the control system's research with the emergence of reinforcement learning algorithms. However, there are two practical challenges of reinforcement learning-based methods. First, learning by…

Systems and Control · Electrical Eng. & Systems 2024-09-18 Mi Zhou , Erik Verriest , Chaouki Abdallah

This paper proposes a new framework and several results to quantify the performance of data-driven state-feedback controllers for linear systems against targeted perturbations of the training data. We focus on the case where subsets of the…

Systems and Control · Electrical Eng. & Systems 2019-12-24 Rajasekhar Anguluri , Abed AlRahman Al Makdah , Vaibhav Katewa , Fabio Pasqualetti

In this work, we consider the case where a source with bursty traffic can adjust the transmission duration in order to increase the reliability. The source is equipped with a queue in order to store the arriving packets. We model the system…

Information Theory · Computer Science 2018-09-11 Nikolaos Pappas

The advent of switches with programmable dataplanes has enabled the rapid development of new network functionality, as well as providing a platform for acceleration of a broad range of application-level functionality. However, existing…

Networking and Internet Architecture · Computer Science 2021-12-14 Yifan Yuan , Omar Alama , Amedeo Sapio , Jiawei Fei , Jacob Nelson , Dan R. K. Ports , Marco Canini , Nam Sung Kim

The problem of achieving a good trade-off in Stochastic Model Predictive Control between the competing goals of improving the average performance and reducing conservativeness, while still guaranteeing recursive feasibility and low…

Optimization and Control · Mathematics 2016-06-21 Matthias Lorenzen , Frank Allgöwer , Fabrizio Dabbene , Roberto Tempo

The roll-out of a flexible ramping product provides Independent System Operators (ISOs) with the ability to address ramping capacity shortages. ISOs procure flexible ramping capability by committing more generating units or reserving a…

Optimization and Control · Mathematics 2019-05-07 Hyeongon Park , Bing Huang , Ross Baldick

Supercomputers getting ever larger and energy-efficient is at odds with the reliability of the used hardware. Thus, the time intervals between component failures are decreasing. Contrarily, the latencies for individual operations of…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-11-26 Demian Hespe , Lukas Hübner , Charel Mercatoris , Peter Sanders

Lockstep processing is a recognized technique for helping to secure functional-safety relevant processing against, for instance, single upset errors that might cause faulty execution of code. Lockstepping processors does however bind…

Hardware Architecture · Computer Science 2021-07-20 Hans Dermot Doran , Timo Lang