Generalised Dining Philosophers as Feedback Control

05/05/2018
by   Venkatesh Choppella, et al.
0

We revisit the Generalised Dining Philosophers problem through the perspective of feedback control. The result is a modular development of the solution using the notions of system and system composition (the latter due to Tabuada) in a formal setting that employs simple equational reasoning. The modular approach separates the solution architecture from the algorithmic minutiae and has the benefit of simplifying the design and correctness proofs. Three variants of the problem are considered: N=1, and N>1 with centralised and distributed topology. The base case (N=1) reveals important insights into the problem specification and the architecture of the solution. In each case, solving the Generalised Dining Philosophers reduces to designing an appropriate feedback controller.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/12/2019

Tasks in Modular Proofs of Concurrent Algorithms

Proving correctness of distributed or concurrent algorithms is a mind-ch...
research
11/24/2020

Regret-optimal measurement-feedback control

We consider measurement-feedback control in linear dynamical systems fro...
research
05/15/2009

On Design and Implementation of the Distributed Modular Audio Recognition Framework: Requirements and Specification Design Document

We present the requirements and design specification of the open-source ...
research
10/10/2022

Modular Multi-Copter Structure Control for Cooperative Aerial Cargo Transportation

The control problem of a multi-copter swarm, mechanically coupled throug...
research
11/27/2018

Distributed Impedance Control of Latency-Prone Robotic Systems with Series Elastic Actuation

Robotic systems are increasingly relying on distributed feedback control...
research
06/06/2021

Distributed Task Allocation in Homogeneous Swarms Using Language Measure Theory

In this paper, we present algorithms for synthesizing controllers to dis...
research
07/06/2017

pch2csd: an application for converting Nord Modular G2 patches into Csound code

The paper presents the pch2csd project, focused on converting patches of...

Please sign up or login with your details

Forgot password? Click here to reset