Reachability Analysis via Face Lifting

Abstract. In this paper we discuss the problem of calculating the reachable states of a dynamical system de ned by ordinary di erential equations or inclusions. We present a prototype system for approximating this set and demonstrate some experimental results.

• Type: Conference
• Year: 1998
• Where: HYBRID
• Authors: Thao Dang, Oded Maler
• Keywords: Control Systems, Di Erential Equations, HYBRID 1998, Reachable States