Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems

ion of discrete abstractions of arbitrary memory span for nonlinear sampled systems Gunther Reißig⋆ Technische Universit¨at Berlin, Fakult¨at Elektrotechnik und Informatik, Heinrich-Hertz-Lehrstuhl f¨ur Mobilkommunikation HFT 6, Einsteinufer 25, D-10587 Berlin, Germany, http://www.reiszig.de/gunther/ Abstract. In this paper, we present a new method for computing discrete abstractions of arbitrary memory span for nonlinear sampled sysh quantized output. In our method, abstractions are represented by collections of conservative approximations of reachable sets by polyhedra, which in turn are represented by collections of half-spaces. Important features of our approach are that half-spaces are shared among polyhedra, and that the determination of each half-space requires the solution of a single initial value problem in an ordinary differential equation over a single sampling interval only. Apart from these numerical integrations, the only nontrivial operation to be performed repea...

• Type: Conference
• Year: 2009
• Where: HYBRID
• Authors: Gunther Reißig
• Keywords: Arbitrary Memory Span, Discrete Abstractions, HYBRID 2009, Hybrid Systems, Reachable Sets