Is T completely arbitrary in the definition of reachability?

From Murray Wiki
Jump to navigationJump to search

Q Is T completely arbitrary in the definition of reachability, or is it limited by the system? For instance, if the system is a car, x0 = LA, xf = NYC, does the fact that I can't get there from here in 1 second mean that it isn't reachable?

A If a system is continuous time and linear, then the property has to be veryfied for any time T. Indeed, when you check using the reachability matrix

there is no time dependence in this.

On the other hand, the notion of reachability for discrete time systems (you have not seen this, and won't probably see it) requires that a desired state be reached within steps, where is always the order (dimension) of the system.

For a nonlinear system, things are more complicated: one has to talk about reachable regions in a certain finite or desired time. So unfortunately your car is a highly constrained nonlinear system, therefore NY is in your reachability region, but you takes a while to get there...