English
Related papers

Related papers: Snap-Stabilization in Message-Passing Systems

200 papers

This paper is motivated by the problem of asymptotically stabilizing invariant sets in the state space of control systems by means of output feedback. The sets considered are smooth embedded in submanifolds and the class of system is…

Optimization and Control · Mathematics 2015-04-29 Christopher Nielsen

In a reliable SDN environment, different controllers coordinate different switches and backup controllers can be set in place to tolerate faults. This approach increases the challenge to maintain a consistent network view. If this global…

Networking and Internet Architecture · Computer Science 2016-03-15 André Mantas , Fernando M. V. Ramos

Topological self-stabilization describes the ability of a distributed system to let the nodes themselves establish a meaningful overlay network. Independent from the initial network topology, the system converges to the desired topology via…

Logic in Computer Science · Computer Science 2016-04-15 Christina Rickmann

Ensuring the correctness of distributed system implementations remains a challenging and largely unaddressed problem. In this paper we present a protocol that can be used to certify the safety of consensus implementations. Our proposed…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-03-11 Aurojit Panda

This work considers load-balance control among the relays under the secure transmission protocol via relay cooperation in two-hop wireless networks without the information of both eavesdropper channels and locations. The available two-hop…

Information Theory · Computer Science 2013-01-01 Yulong Shen , Xiaohong Jiang , Jianfeng Ma

Stability is an important issue in order to characterize the performance of a network, and it has become a major topic of study in the last decade. Roughly speaking, a communication network system is said to be stable if the number of…

Networking and Internet Architecture · Computer Science 2020-05-06 Vicent Cholvi , Paweł Garncarek , Tomasz Jurdzinski , Dariusz R. Kowalski

Self-stabilization is a versatile approach to fault-tolerance since it permits a distributed system to recover from any transient fault that arbitrarily corrupts the contents of all memories in the system. Byzantine tolerance is an…

Distributed, Parallel, and Cluster Computing · Computer Science 2011-02-11 Swan Dubois , Toshimitsu Masuzawa , Sébastien Tixeuil

A spatially distributed system contains a large amount of agents with limited sensing, data processing, and communication capabilities. Recent technological advances have opened up possibilities to deploy spatially distributed systems for…

Information Theory · Computer Science 2015-11-30 Cheng Cheng , Yingchun Jiang , Qiyu Sun

We study networked control of non-linear systems where system states and tentative plant input sequences are transmitted over unreliable communication channels. The sequences are calculated recursively by using a pre-designed nominally…

Optimization and Control · Mathematics 2013-11-08 Daniel E. Quevedo , Isabel Jurado

This paper studies stochastic aperiodic stabilization of a networked control system (NCS) consisting of a continuous-time plant and a discrete-time controller. The plant and the controller are assumed to be connected by communication…

Systems and Control · Electrical Eng. & Systems 2022-03-08 Yohei Hosoe

We present the first self-stabilizing consensus and replicated state machine for asynchronous message passing systems. The scheme does not require that all participants make a certain number of steps prior to reaching a practically infinite…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-05-21 Peva Blanchard , Shlomi Dolev , Joffroy Beauquier , Sylvie Delaët

Motivated by recent security issues in cyber-physical systems, this technical note studies the stabilization problem of networked control systems under Denial-of-Service (DoS) attacks. In particular, we consider to stabilize a nonlinear…

Systems and Control · Electrical Eng. & Systems 2020-12-14 Rui Kato , Ahmet Cetinkaya , Hideaki Ishii

Contention resolution addresses the problem of coordinating access to a shared channel. Time proceeds in slots, and a packet transmission can be made in any slot. A packet is successfully sent if no other packet is also transmitted during…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-07-28 Michael A. Bender , Jeremy T. Fineman , Seth Gilbert , John Kuszmaul , Maxwell Young

A notion of disturbance propagation stability is defined for dynamical network processes, in terms of decrescence of an input-output energy metric along cutsets away from the disturbance source. A characterization of the disturbance…

Systems and Control · Electrical Eng. & Systems 2022-10-11 Sandip Roy , Subir Sarker , Mengran Xue

Network alignment generalizes and unifies several approaches for forming a matching or alignment between the vertices of two graphs. We study a mathematical programming framework for network alignment problem and a sparse variation of it…

Optimization and Control · Mathematics 2011-11-03 Mohsen Bayati , David F. Gleich , Amin Saberi , Ying Wang

We investigate the stabilization of unstable multidimensional partially observed single-sensor and multi-sensor linear systems driven by unbounded noise and controlled over discrete noiseless channels under fixed-rate information…

Optimization and Control · Mathematics 2012-09-21 Andrew P. Johnston , Serdar Yüksel

We consider the problem of stabilization of a linear system, under state and control constraints, and subject to bounded disturbances and unknown parameters in the state matrix. First, using a simple least square solution and available…

Systems and Control · Electrical Eng. & Systems 2020-07-22 Edouard Leurent , Denis Efimov , Odalric-Ambrym Maillard

This paper deals with stability of discrete-time switched linear systems whose all subsystems are unstable and the set of admissible switching signals obeys pre-specified restrictions on switches between the subsystems and dwell times on…

Systems and Control · Electrical Eng. & Systems 2021-11-11 Atreyee Kundu

Power allocation is one of the fundamental problems in wireless networks and a wide variety of algorithms address this problem from different perspectives. A common element among these algorithms is that they rely on an estimation of the…

Signal Processing · Electrical Eng. & Systems 2022-01-11 Arindam Chowdhury , Fernando Gama , Santiago Segarra

This paper deals a continuous-time state-dependent jump linear system, a particular kind of stochastic switching system. In particular, we consider a situation when the transition rate of the random jump process depends on the state…

Systems and Control · Computer Science 2016-11-26 Shaikshavali Chitraganti , Samir Aberkane , Christophe Aubrun