Distributed Asynchronous Games With Causal Memory are Undecidable
Résumé
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.
Origine : Fichiers produits par l'(les) auteur(s)