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.
翻译:当工厂是一个无同步的自动成形器,控制器使用因果内存,控制器的目标是将每个过程都置于当地接受状态,我们就会显示分布式控制问题的不可减轻性。