Approximate reachability analysis of piecewise-linear hybrid systems

Abstract. In this paper we describe an experimental system called d=dt for approximating reachable states for hybrid systems whose con-tinuous dynamics is dened by linear dierential equations. We use an approximation algorithm whose accumulation of errors during the con-tinuous evolution is much smaller than in previously-used methods. The d=dt system can, so far, treat non-trivial continuous systems, hybrid systems, convex dierential inclusions and controller synthesis problems.