Distributed controller synthesis for deadlock avoidance

04/26/2022
by   Hugo Gimbert, et al.
0

We consider the distributed control synthesis problem for systems with locks. The goal is to find local controllers so that the global system does not deadlock. With no restriction this problem is undecidable even for three processes each using a fixed number of locks. We propose two restrictions that make distributed control decidable. The first one is to allow each process to use at most two locks. The problem then becomes Sigma2P-complete, and even in PTIME under some additional assumptions. The dining philosophers problem satisfies these assumptions. The second restriction is a nested usage of locks. In this case the synthesis problem is NEXPTIME-complete. The drinking philosophers problem falls in this case.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/16/2017

Symmetric Synthesis

We study the problem of determining whether a given temporal specificati...
research
06/28/2021

Compositional Synthesis of Modular Systems (Full Version)

Given the advances in reactive synthesis, it is a natural next step to c...
research
06/25/2018

Testability of the exclusion restriction in continuous instrumental variable models

In this note we prove Pearl's conjecture, showing that the exclusion res...
research
07/10/2018

On Controller Design for Systems on Manifolds in Euclidean Space

A new method is developed to design controllers in Euclidean space for s...
research
07/17/2020

Efficient Restrictions of Immediate Observation Petri Nets

In a previous paper we introduced immediate observation Petri nets, a su...
research
03/20/2018

Distributed Model Predictive Control for Linear Systems with Adaptive Terminal Sets

In this paper, we propose a distributed model predictive control (DMPC) ...
research
10/02/2019

Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services

We present a number of contributions to bridging the gap between supervi...

Please sign up or login with your details

Forgot password? Click here to reset