On the Decidability of Reachability in Continuous Time Linear Time-Invariant Systems

Mohan Dantam, Amaury Pouly

We consider the decidability of state-to-state reachability in linear time-invariant control systems over continuous time. We analyse this problem with respect to the allowable con…