Publications related to Approximations in Distributed Optimization

Efficient Continual Finite-Sum Minimization

Volkan Cevher, Efstratios Panteleimon Skoulakis, Leello Tadesse Dadi

Given a sequence of functions

f_1,\ldots,f_n

with

f_i:\mathcal{D}\mapsto \mathbb{R}

, finite-sum minimization seeks a point

{x}^\star \in \mathcal{D}

minimizing

\sum_{j=1}^nf_j(x)/n

. In this work, we propose a key twist into the finite-sum minimizat ...

2024

Homothetic Tube Model Predictive Control With Multi-Step Predictors

Giancarlo Ferrari Trecate, Danilo Saccani, Melanie Nicole Zeilinger

We present a robust model predictive control (MPC) framework for linear systems facing bounded parametric uncertainty and bounded disturbances. Our approach deviates from standard MPC formulations by integrating multi-step predictors, which provide reduced ...

Piscataway2023

Static Worst-Case Resource Analysis for Substrate Pallets

Simon Nicolas Perriard

We present saft, the first attempt of a static analyzer that extracts the asymptotic function complexity for the Polkadot/Substrate ecosystem, where the burden of accounting for computation resource consumption is put on the developer. saft is a tool meant ...

2023

The Universal Gossip Fighter

Rachid Guerraoui, Anne-Marie Kermarrec, Anastasiia Kucherenko, Rafaël Benjamin Pinot

The notion of adversary is a staple of distributed computing. An adversary typically models “hostile” assumptions about the underlying distributed environment, e.g., a network that can drop messages, an operating system that can delay processes or an attac ...

2022

Over-the-Air Computation via Reconfigurable Intelligent Surface

Yuning Jiang, Wei Chen

Over-the-air computation (AirComp) is a disruptive technique for fast wireless data aggregation in Internet of Things (IoT) networks via exploiting the waveform superposition property of multiple-access channels. However, the performance of AirComp is bott ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2021

Iterative distributed fault detection and isolation for linear systems based on moving horizon estimation

René Uwe Schneider, Marcello Farina

In modern engineering systems, reliability and safety can be conferred by efficient automatic monitoring and fault detection algorithms, allowing for the early identification and isolation of incipient faults. In case of large-scale and complex systems, sc ...

2020

Roundtable Panel Discussion at DAC 2019: Evolutionary Computing or Heuristic Forever?

Giovanni De Micheli, Massimiliano Di Ventra

As demands for computing have been continuously increasing, various solutions have been proposed. Some approaches deal with improving algorithms and software programs, mainly through the tuning of advanced heuristics and learning methods. Some other tackle ...

2020

Fast assembly of Galerkin matrices for 3D solid laminated composites using finite element and isogeometric discretizations

Pablo Antolin Sanchez

This work presents a novel methodology for speeding up the assembly of stiffness matrices for laminate composite 3D structures in the context of isogeometric and finite element discretizations. By splitting the involved terms into their in-plane and out-of ...

2020

A proof of equivalence of two force methods for active structural control

Gennaro Senatore, Arka Prabhata Reksowardojo

This paper gives a proof of equivalence between two existing force methods (FM) for structural analysis: The Integrated Force Method (IFM) and a force method based on singular value decomposition (SVD) of the equilibrium conditions here named as SVD-FM. Re ...

2020

Graph fragmentation problem: analysis and synthesis

Manuel Francesco Aprile

Vulnerability metrics play a key role in the understanding of cascading failures and target/random attacks to a network. The graph fragmentation problem (GFP) is the result of a worst-case analysis of a random attack. We can choose a fixed number of indivi ...

WILEY2019

Approximations in Distributed Optimization

Graph Chatbot

Chat with Graph Search

Efficient Continual Finite-Sum Minimization

Homothetic Tube Model Predictive Control With Multi-Step Predictors

Static Worst-Case Resource Analysis for Substrate Pallets

The Universal Gossip Fighter

Over-the-Air Computation via Reconfigurable Intelligent Surface

Iterative distributed fault detection and isolation for linear systems based on moving horizon estimation

Roundtable Panel Discussion at DAC 2019: Evolutionary Computing or Heuristic Forever?

Fast assembly of Galerkin matrices for 3D solid laminated composites using finite element and isogeometric discretizations

A proof of equivalence of two force methods for active structural control

Graph fragmentation problem: analysis and synthesis

Homothetic Tube Model Predictive Control With Multi-Step Predictors

Fast assembly of Galerkin matrices for 3D solid laminated composites using finite element and isogeometric discretizations

The Universal Gossip Fighter

Graph fragmentation problem: analysis and synthesis

A proof of equivalence of two force methods for active structural control

Efficient Continual Finite-Sum Minimization

Over-the-Air Computation via Reconfigurable Intelligent Surface

Roundtable Panel Discussion at DAC 2019: Evolutionary Computing or Heuristic Forever?

Static Worst-Case Resource Analysis for Substrate Pallets

Iterative distributed fault detection and isolation for linear systems based on moving horizon estimation