English
Related papers

Related papers: On Synchronous and Asynchronous Interaction in Dis…

200 papers

Hierarchical Petri nets allow a more abstract view and reconfigurable Petri nets model dynamic structural adaptation. In this contribution we present the combination of reconfigurable Petri nets and hierarchical Petri nets yielding…

Discrete Mathematics · Computer Science 2018-02-14 Julia Padberg

We introduce stochastic decision Petri nets (SDPNs), which are a form of stochastic Petri nets equipped with rewards and a control mechanism via the deactivation of controllable transitions. Such nets can be translated into Markov decision…

Logic in Computer Science · Computer Science 2023-03-24 Florian Wittbold , Rebecca Bernemann , Reiko Heckel , Tobias Heindel , Barbara König

In these notes we study synchronizability of dynamical processes defined on complex networks as well as its interplay with network topology. Building from a recent work by Barahona and Pecora [Phys. Rev. Lett. 89, 054101 (2002)], we use a…

Disordered Systems and Neural Networks · Physics 2007-05-23 Luca Donetti , Pablo I. Hurtado , Miguel A. Munoz

Capturing stochastic behaviors in business and work processes is essential to quantitatively understand how nondeterminism is resolved when taking decisions within the process. This is of special interest in process mining, where event data…

Logic in Computer Science · Computer Science 2023-06-13 Sander J. J. Leemans , Fabrizio M. Maggi , Marco Montali

We study interacting components and their compatibility with respect to synchronous and asynchronous composition. The behavior of components is formalized by I/O-transition systems. Synchronous composition is based on simultaneous execution…

Logic in Computer Science · Computer Science 2023-06-22 Rolf Hennicker , Michel Bidoit

We characterize synchronization phenomenon in discrete-time, discrete-state random dynamical systems, with random and probabilistic Boolean networks as particular examples. In terms of multiplicative ergodic properties of the induced linear…

Dynamical Systems · Mathematics 2020-09-09 Wen Huang , Hong Qian , Shirou Wang , Felix X. -F. Ye , Yingfei Yi

Automated synthesis from behavioural specifications is an attractive and powerful way of constructing concurrent systems. Here we focus on the problem of synthesising a membrane system from a behavioural specification given in the form of a…

Logic in Computer Science · Computer Science 2012-11-20 Jetty Kleijn , Maciej Koutny , Marta Pietkiewicz-Koutny , Grzegorz Rozenberg

Neural-network processing in machine learning applications relies on layer synchronization. This is practiced even in artificial Spiking Neural Networks (SNNs), which are touted as consistent with neurobiology, in spite of processing in the…

Neural and Evolutionary Computing · Computer Science 2025-10-27 Roel Koopman , Amirreza Yousefzadeh , Mahyar Shahsavari , Guangzhi Tang , Manolis Sifalakis

Synchronization, in which individual dynamical units keep in pace with each other in a decentralized fashion, depends both on the dynamical units and on the properties of the interaction network. Yet, the role played by the network has…

Disordered Systems and Neural Networks · Physics 2010-06-15 Takashi Nishikawa , Adilson E. Motter

In this paper we address distributed learning problems over peer-to-peer networks. In particular, we focus on the challenges of quantized communications, asynchrony, and stochastic gradients that arise in this set-up. We first discuss how…

Optimization and Control · Mathematics 2025-09-04 Nicola Bastianello , Apostolos I. Rikos , Karl H. Johansson

A generalized family of Adversary Robust Consensus protocols is proposed and analyzed. These are distributed algorithms for multi-agents systems seeking to agree on a common value of a shared variable, even in the presence of faulty or…

Systems and Control · Electrical Eng. & Systems 2024-12-20 David Angeli , Sabato Manfredi

This paper introduces the concept of a synchronous model as an extension of the internal model concept used in observer design for dynamical systems. A system is said to contain a synchronous model of another if there is a suitable error…

Systems and Control · Electrical Eng. & Systems 2025-05-27 Pieter van Goor , Robert Mahony

Coupled metronomes serve as a paradigmatic model for exploring the collective behaviors of complex dynamical systems, as well as a classical setup for classroom demonstrations of synchronization phenomena. Whereas previous studies of…

Chaotic Dynamics · Physics 2017-03-24 Jing Zhang , Yizhen Yu , Xingang Wang

Many natural and human-made complex systems feature group interactions that adapt over time in response to their dynamic states. However, most of the existing adaptive network models fall short of capturing these group dynamics, as they…

Adaptation and Self-Organizing Systems · Physics 2024-08-23 Md Sayeed Anwar , S. Nirmala Jenifer , Paulsamy Muruganandam , Dibakar Ghosh , Timoteo Carletti

This letter investigates the problem of output synchronisation in heterogeneous dynamical networks with nonlinear diffusive couplings in the presence of disturbances on the coupling links. By exploiting relative dissipativity properties…

Systems and Control · Electrical Eng. & Systems 2026-05-19 Yongkang Su , Joaquin Carrasco , Iñaki Esnaola , Lanlan Su

Recent advances in spatial and temporal networks have enabled researchers to more-accurately describe many real-world systems such as urban transport networks. In this paper, we study the response of real-world spatio-temporal networks to…

Physics and Society · Physics 2016-07-05 Matthew J. Williams , Mirco Musolesi

This brief paper further investigates the locally and globally adaptive synchronization of an uncertain complex dynamical network. Several network synchronization criteria are deduced. Especially, our hypotheses and designed adaptive…

Adaptation and Self-Organizing Systems · Physics 2016-11-17 Jin Zhou , Junan Lu , Jinhu Lu

Many problems can be solved by iteration by multiple participants (processors, servers, routers etc.). Previous mathematical models for such asynchronous iterations assume a single function being iterated by a fixed set of participants. We…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-07-20 Matthew L. Daggitt , Timothy G. Griffin

We conduct a systematic study of asynchronous models of distributed computing consisting of identical finite-state devices that cooperate in a network to decide if the network satisfies a given graph-theoretical property. Models discussed…

Formal Languages and Automata Theory · Computer Science 2020-07-08 Javier Esparza , Fabian Reiter

Symmetries are an essential feature of complex networks as they regulate how the graph collective dynamics organizes into clustered states. We here show how to control network symmetries, and how to enforce patterned states of…

Physics and Society · Physics 2020-11-24 L. V. Gambuzza , M. Frasca , F. Sorrentino , L. M. Pecora , S. Boccaletti