Back to Search Start Over

Distributed Asynchronous Games With Causal Memory are Undecidable

Authors :
Hugo Gimbert
Source :
Logical Methods in Computer Science, Vol Volume 18, Issue 3 (2022)
Publication Year :
2022
Publisher :
Logical Methods in Computer Science e.V., 2022.

Abstract

We show the undecidability of the distributed control problem when the plant is an asynchronous automaton, the controllers use causal memory and the goal of the controllers is to put each process in a local accepting state.

Subjects

Subjects :
computer science - computer science and game theory
electrical engineering and systems science - systems and control
Logic
BC1-199
Electronic computers. Computer science
QA75.5-76.95

Details

Language :
English
ISSN :
18605974
Volume :
ume 18, Issue 3
Database :
Directory of Open Access Journals
Journal :
Logical Methods in Computer Science
Publication Type :
Academic Journal
Accession number :
edsdoj.15c469bb8c5e4c45ad080bc9618a5d75
Document Type :
article
Full Text :
https://doi.org/10.46298/lmcs-18(3:30)2022
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details