Reachability, observability, and discretization | IEEE Conference Publication | IEEE Xplore