中文
相关论文

相关论文: Introducing Speculation in Self-Stabilization - An…

200 篇论文

This paper studies consensus of discrete-time multi-agent systems under time-varying directed communication, state and input constraints using a distributed multi-step model predictive control (MPC) framework. Consensus is recast as…

最优化与控制 · 数学 2026-02-18 Navid Noroozi

A self-stabilizing is naturally resilient to transients faults (that is, faults of finite duration). Recently, a new class of protocol appears. These protocols are self-stabilizing and are moreover resilient to a limited number of permanent…

分布式、并行与集群计算 · 计算机科学 2011-04-21 Swan Dubois , Toshimitsu Masuzawa , Sébastien Tixeuil

In this paper, we investigate the mean-square stabilization for discrete-time stochastic systems that endure both multiple input delays and multiplicative control-dependent noises. For such multi-delay stochastic systems, we for the first…

最优化与控制 · 数学 2023-03-16 Cheng Tan , Zhengqiang Zhang , Haoting Sui , Wing Shing Wong

This paper proposes a control algorithm for stable implementation of asynchronous parallel quadratic programming (PQP) through dual decomposition technique. In general, distributed and parallel optimization requires synchronization of data…

系统与控制 · 电气工程与系统科学 2019-11-26 Kooktae Lee

Many challenging tasks in sensor networks, including sensor calibration, ranking of nodes, monitoring, event region detection, collaborative filtering, collaborative signal processing, {\em etc.}, can be formulated as a problem of solving a…

分布式、并行与集群计算 · 计算机科学 2008-11-21 Ezra N. Hoch , Danny Bickson , Danny Dolev

Classical discrete-time adaptive controllers provide asymptotic stabilization and tracking; neither exponential stabilization nor a bounded noise gain is typically proven. In recent work it has been shown, in both the pole placement…

最优化与控制 · 数学 2019-02-26 Daniel E Miller , Mohamad T. Shahab

This paper studies deterministic and stochastic fixed-time stability of autonomous nonlinear discrete-time (DT) systems. Lyapunov conditions are first presented under which the fixed-time stability of deterministic DT system is certified.…

系统与控制 · 电气工程与系统科学 2022-07-21 Farzaneh Tatari , Hamidreza Modares

This paper develops a time-inconsistent and path-dependent singular control framework incorporating a running minimum process. We derive a verification theorem that characterizes equilibria under substantially weaker regularity conditions…

最优化与控制 · 数学 2026-05-20 Rui Dai , Guohui Guan , Zongxia Liang , Xiaodong Luo

This article deals with stabilizing discrete-time switched linear systems. Our contributions are threefold: Firstly, given a family of linear systems possibly containing unstable dynamics, we propose a large class of switching signals that…

系统与控制 · 计算机科学 2014-05-09 Atreyee Kundu , Debasish Chatterjee

The problem of simultaneously testing the marginal distributions of sequentially monitored, independent data streams is considered. The decisions for the various testing problems can be made at different times, using data from all streams,…

统计方法学 · 统计学 2023-04-21 Yiming Xing , Georgios Fellouris

Recent results in the literature provide computational evidence that stabilized semi-implicit time-stepping method can efficiently simulate phase field problems involving fourth-order nonlinear dif- fusion, with typical examples like the…

数值分析 · 数学 2016-06-22 Dong Li , Zhonghua Qiao , Tao Tang

Data-driven control strategies for dynamical systems with unknown parameters are popular in theory and applications. An essential problem is to prevent stochastic linear systems becoming destabilized, due to the uncertainty of the…

系统与控制 · 计算机科学 2019-05-20 Mohamad Kazem Shirani Faradonbeh , Ambuj Tewari , George Michailidis

We develop a new randomized iterative algorithm---stochastic dual ascent (SDA)---for finding the projection of a given vector onto the solution space of a linear system. The method is dual in nature: with the dual being a non-strongly…

数值分析 · 数学 2016-01-29 Robert Mansel Gower , Peter Richtarik

We use historical data to estimate the potential benefit of speculative techniques for executing Ethereum smart contracts in parallel. We replay transaction traces of sampled blocks from the Ethereum blockchain over time, using a simple…

分布式、并行与集群计算 · 计算机科学 2019-01-23 Vikram Saraph , Maurice Herlihy

We fully characterize self-stabilizing functions in population protocols for complete interaction graphs. In particular, we investigate self-stabilization in systems of $n$ finite state agents in which a malicious scheduler selects an…

分布式、并行与集群计算 · 计算机科学 2020-10-14 Shaan Mathur , Rafail Ostrovsky

We study a simple random process that computes a maximal independent set (MIS) on a general $n$-vertex graph. Each vertex has a binary state, black or white, where black indicates inclusion into the MIS. The vertex states are arbitrary…

分布式、并行与集群计算 · 计算机科学 2023-01-13 George Giakkoupis , Isabella Ziccardi

This article presents a new numerical scheme for the discretization of dissipative particle dynamics with conserved energy. The key idea is to reduce elementary pairwise stochastic dynamics (either fluctuation/dissipation or thermal…

统计力学 · 物理学 2017-04-26 Gabriel Stoltz

Imposing some flexible sampling scheme we provide some discretization of continuous time discrete scale invariant (DSI) processes which is a subsidiary discrete time DSI process. Then by introducing some simple random measure we provide a…

统计方法学 · 统计学 2016-06-22 S. Rezakhah , Y. Maleki

This paper studies the dynamic programming principle using the measurable selection method for stochastic control of continuous processes. The novelty of this work is to incorporate intermediate expectation constraints on the canonical…

最优化与控制 · 数学 2020-04-22 Yuk-Loong Chow , Xiang Yu , Chao Zhou

A fundamental problem in distributed computing is the distribution of requests to a set of uniform servers without a centralized controller. Classically, such problems are modeled as static balls into bins processes, where $m$ balls (tasks)…

分布式、并行与集群计算 · 计算机科学 2016-03-08 Petra Berenbrink , Tom Friedetzky , Peter Kling , Frederik Mallmann-Trenn , Lars Nagel , Chris Wastell