Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems

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

• Type: Conference
• Year: 2000
• Where: HYBRID
• Authors: Eugene Asarin, Thao Dang, Oded Maler, Olivier Bournez
• Keywords: Control Systems, Di Erential Equations, HYBRID 2000, Hybrid Systems, Non-trivial Continuous Systems