We consider the decidability of state-to-state reachability in linear time-invariant control systems over discrete time.
確定! 回上一頁