Sciweavers

Share
HYBRID
2009
Springer

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

12 years 8 months ago
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...
Gunther Reißig
Added 19 May 2010
Updated 19 May 2010
Type Conference
Year 2009
Where HYBRID
Authors Gunther Reißig
Comments (0)
books