English
Related papers

Related papers: A Behavioral Theory for Distributed Systems with W…

200 papers

In analysis and control of large-scale nonlinear dynamical systems, a distributed approach is often an attractive option due to its computational tractability and usually low communication requirements. Success of the distributed control…

Dynamical Systems · Mathematics 2018-03-09 Abdullah Maruf , Soumya Kundu , Enoch Yeung , Marian Anghel

This thesis considers sequential decision problems, where the loss/reward incurred by selecting an action may not be inferred from observed feedback. A major part of this thesis focuses on the unsupervised sequential selection problem,…

Machine Learning · Computer Science 2022-12-23 Arun Verma

The emergence and evolution of real-world systems have been extensively studied in the last few years. However, equally important phenomena are related to the dynamics of systems' collapse, which has been less explored, especially when they…

Physics and Society · Physics 2019-09-27 Jie Li , Chengyi Xia , Gaoxi Xiao , Yamir Moreno

Distributed diffusion is a powerful algorithm for multi-task state estimation which enables networked agents to interact with neighbors to process input data and diffuse information across the network. Compared to a centralized approach,…

Multiagent Systems · Computer Science 2020-03-27 Jiani Li , Xenofon Koutsoukos

While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we propose a bisimulation technique for proving behavioural equivalence of such…

Logic in Computer Science · Computer Science 2011-05-09 Adrien Piérard , Eijiro Sumii

In this paper, the authors report a way to use concepts from statistical learning to gain an advantage in terms of error exponents while communicating over a discrete memoryless channel. The study utilizes the simulation capability of the…

Information Theory · Computer Science 2022-08-09 Aman Chawla , Salvatore Domenic Morgera

This paper considers control systems with failures in the feedback channel, that occasionally lead to loss of the control input signal. A useful approach for modeling such failures is to consider window-based constraints on possible loss…

Systems and Control · Electrical Eng. & Systems 2025-02-10 Marc Seidel , Simon Lang , Frank Allgöwer

Context: The term reactivity is popular in two areas of research: programming languages and distributed systems. On one hand, reactive programming is a paradigm which provides programmers with the means to declaratively write event-driven…

Programming Languages · Computer Science 2019-02-05 Florian Myter , Christophe Scholliers , Wolfgang De Meuter

We compare mechanisms for compensation handling and dynamic update in calculi for concurrency. These mechanisms are increasingly relevant in the specification of reliable communicating systems. Compensations and updates are intuitively…

Logic in Computer Science · Computer Science 2015-08-28 Jovana Dedeić , Jovanka Pantović , Jorge A. Pérez

Agreement among a set of processes and in the presence of partial failures is one of the fundamental problems of distributed systems. In the most general case, many decisions must be agreed upon over the lifetime of a system with…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-09-01 Seif Haridi , Lars Kroll , Paris Carbone

Dependent survival data arise in many contexts. One context is clustered survival data, where survival data are collected on clusters such as families or medical centers. Dependent survival data also arise when multiple survival times are…

Methodology · Statistics 2022-05-12 Malka Gorfine , David M. Zucker

Despite achieving excellent performance on benchmarks, deep neural networks often underperform in real-world deployment due to sensitivity to minor, often imperceptible shifts in input data, known as distributional shifts. These shifts are…

Machine Learning · Computer Science 2025-09-25 Birk Torpmann-Hagen , Pål Halvorsen , Michael A. Riegler , Dag Johansen

The rapid advancement of technology underscores the critical importance of robustness in complex network systems. This paper presents a framework for investigating the structural robustness of interconnected network models. This paper…

Physics and Society · Physics 2023-11-01 Dong Gaogao , Sun Nannan , Wang Fan

We consider semi-coherent binary systems that are subject to simultaneous failures of its components. These are systems whose components can be either working or failed; the system can also be working or failed depending on the state of the…

Probability · Mathematics 2026-01-14 Guido Lagos , Jorge Navarro , Hector Olivero

The process of decomposing a complex system into simpler subsystems has been of interest to computer scientists over many decades, for instance, for the field of distributed computing. In this paper, motivated by the desire to distribute…

Formal Languages and Automata Theory · Computer Science 2019-08-26 Omar al Duhaiby , Jan Friso Groote

Weak bisimilarity is a distribution-based equivalence notion for Markov automata. It has gained some popularity as the coarsest reasonable behavioural equivalence on Markov automata. This paper studies a strictly coarser notion: Late weak…

Formal Languages and Automata Theory · Computer Science 2014-01-15 Christian Eisentraut , Jens Chr. Godskesen , Holger Hermanns , Lei Song , Lijun Zhang

Accurately assessing financial risk requires capturing both individual asset volatility and the complex, asymmetric dependence structures that emerge during extreme market events. While modern diffusion-based models have advanced…

Machine Learning · Statistics 2026-05-20 David Huk , Dongshan Wang , Miha Bresar

In this paper, we introduce a model of a distributed storage system that is locally recoverable from any single server failure. Unlike the usual local recovery model of codes for distributed storage, this model accounts for the fact that…

Information Theory · Computer Science 2020-07-01 Arya Mazumdar

A new class of probabilistic models for cascading failure propagation in interconnected systems is proposed. The models take into account important characteristics of real systems that are not considered in existing generic approaches.…

Disordered Systems and Neural Networks · Physics 2010-03-31 Jörg Lehmann , Jakob Bernasconi

In general, many dynamic processes are involved with interacting variables, from physical systems to sociological analysis. The interplay of components in the system can give rise to confounding dynamic behavior. Many approaches model…

Artificial Intelligence · Computer Science 2021-06-02 Qianyu Feng , Bang Zhang , Yi Yang