“…Moreover, we have exploited the structural properties of the transition structure of the discrete event model obtained by abstraction and developed a new algorithm for computing the supremal controllable sublanguage customized to this particular application, which achieves greater efficiency than the standard one. This work constitutes a new application area of DES theory, beyond those in manufacturing and software for instance (see, e.g., [17], [18], [19], [20]), with the distinctive feature that the DES model is obtained by abstraction from a continuous one, not by direct modeling of the discrete transition structure. Current issues of interest include refinement of our methodology to handle continuous models with second order dynamics, imperfect state information, acceleration constraints, and further algorithmic improvements.…”