We show the undecidability of the controller synthesis problem when both the plant and the controllers are asynchronous automata and the controllers have causal memory
翻译:当设备和控制器都是无同步的自动自动成像仪且控制器有因果内存时,我们就会显示控制器合成问题不可降解性。