English
Related papers

Related papers: Decentralized Stream Runtime Verification for Time…

200 papers

In decentralized networked supervisory control of discrete-event systems (DESs), the local supervisors observe event occurrences subject to observation delays to make correct control decisions. Delay coobservability describes whether these…

Systems and Control · Electrical Eng. & Systems 2022-05-20 Yunfeng Hou , Qingdu Li , Yunfeng Ji , Gang Wang , Ching-Yen Weng

A sensor observes a random phenomenon and transmits updates about the observed phenomenon to a remote monitor. The sensor may experience intermittent failures in which case the monitor will not receive any updates until the sensor has…

Information Theory · Computer Science 2023-08-30 Ismail Cosandal , Sennur Ulukus

Distributed allocation finds applications in many scenarios including CPU scheduling, distributed energy resource management, and networked coverage control. In this paper, we propose a fast convergent optimization algorithm with a tunable…

Signal Processing · Electrical Eng. & Systems 2024-01-30 Mohammadreza Doostmohammadian , Alireza Aghasi

Network systems are one of the most active research areas in the engineering community as they feature a paradigm shift from centralized to distributed control and computation. When dealing with network systems, a fundamental challenge is…

Systems and Control · Computer Science 2018-02-26 D. Senejohnny , S. Sundaram , C. De Persis , P. Tesi

Molecular communication is set to play an important role in the design of complex biological and chemical systems. An important class of molecular communication systems is based on the timing channel, where information is encoded in the…

Information Theory · Computer Science 2014-10-22 Malcolm Egan , Yansha Deng , Maged Elkashlan , Trung Q. Duong

We propose a distributed (single) target tracking scheme based on networked estimation and consensus algorithms over static sensor networks. The tracking part is based on linear time-difference-of-arrival (TDOA) measurement proposed in our…

Systems and Control · Electrical Eng. & Systems 2023-02-16 Mohammadreza Doostmohammadian , Mohammad Pirani , Usman A. Khan

Till today we dreamt of imperceptible delay in a network. The computer science research grows today faster than ever offering more and more services (computational representational, graphical, intelligent implication etc) to its user. But…

Networking and Internet Architecture · Computer Science 2011-10-18 Soumen Kanrar , M Siraj

We introduce logical synchrony, a framework that allows distributed computing to be coordinated as tightly as in synchronous systems without the distribution of a global clock or any reference to universal time. We develop a model of events…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-07-08 Sanjay Lall , Calin Cascaval , Martin Izzard , Tammo Spalink

In this article, motivated by biosurveillance and censoring sensor networks, we investigate the problem of distributed monitoring large-scale data streams where an undesired event may occur at some unknown time and affect only a few unknown…

Methodology · Statistics 2016-03-30 Kun Liu , Ruizhi Zhang , Yajun Mei

Precise time synchronisation underpins critical infrastructure from telecommunications and financial markets to power grids and scientific metrology. Several families of quantum protocols have been proposed and demonstrated for clock…

Quantum Physics · Physics 2026-04-14 Michal Krelina , Utku Tefek , Zeki C. Seskir , Kadir Durak

Recently we studied communication delay in distributed control of untimed discrete-event systems based on supervisor localization. We proposed a property called delay-robustness: the overall system behavior controlled by distributed…

Systems and Control · Computer Science 2017-05-02 Renyuan Zhang , Kai Cai , Yongmei Gan , W. M. Wonham

We consider systems that are well modelled as a networks that evolve in time, which we call {\it Moving Neighborhood Networks}. These models are relevant in studying cooperative behavior of swarms and other phenomena where emergent…

Chaotic Dynamics · Physics 2007-05-23 Joseph D. Skufca , Erik M. Bollt

Quantum networks, which hinge on the principles of quantum mechanics, are revolutionizing the domain of information technology. The vision for quantum networks involves the efficient distribution and utilization of quantum resources across…

In this paper, we consider a network of processors aiming at cooperatively solving mixed-integer convex programs subject to uncertainty. Each node only knows a common cost function and its local uncertain constraint set. We propose a…

Optimization and Control · Mathematics 2022-07-19 Mohammadreza Chamanbaz , Giuseppe Notarstefano , Francesco Sasso , Roland Bouffanais

The main focus of recent time synchronization research is developing power-efficient synchronization methods that meet pre-defined accuracy requirements. However, an aspect that has been often overlooked is the high dynamics of the network…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-10-29 Kasım Sinan Yıldırım , Önder Gürcan

In this paper, we study asynchronous consensus problems of continuous-time multi-agent systems with discontinuous information transmission. The proposed consensus control strategy is implemented only based on the state information at some…

Dynamical Systems · Mathematics 2007-05-23 Feng Xiao , Long Wang

The problem of decentralized detection in a sensor network subjected to a total average power constraint and all nodes sharing a common bandwidth is investigated. The bandwidth constraint is taken into account by assuming non-orthogonal…

Information Theory · Computer Science 2007-07-13 Sudharman K. Jayaweera

In decentralized optimization, nodes of a communication network each possess a local objective function, and communicate using gossip-based methods in order to minimize the average of these per-node functions. While synchronous algorithms…

Optimization and Control · Mathematics 2022-09-02 Mathieu Even , Hadrien Hendrikx , Laurent Massoulie

One of the main pervasive problems Wireless Sensor Networks (WSN) encounter is to maintain flawless communication sharing and cooperative processing between sensors via radio links to ensure a reliable treatment of information. Many…

Networking and Internet Architecture · Computer Science 2012-06-08 Salim el Khediri , Nejah Nasri , Mounir Samet , Anne Wei , Abdennaceur Kachouri

In large-scale Internet of things networks, efficient medium access control (MAC) is critical due to the growing number of devices competing for limited communication resources. In this work, we consider a new challenge in which a set of…

Networking and Internet Architecture · Computer Science 2025-11-11 Lorenzo Mario Amorosa , Zhan Gao , Roberto Verdone , Petar Popovski , Deniz Gündüz