Describir: Reachable sets of dynamic systems :