@inbook{6524a5523d754b34828be4e324739418,

title = "Analyzing Reachability of Linear Dynamic Systems with Parametric Uncertainties",

abstract = "As an important approach to analyzing safety of a dynamic system, this paper considers the task of computing overapproximations of reachable sets, i.e. the set of states which is reachable from a given initial set of states. The class of systems under investigation are linear, time-invariant systems with parametric uncertainties and uncertain but bounded input. The possible set of system matrices due to uncertain parameters is represented by matrix zonotopes and interval matrices - computational techniques for both representations are presented. The reachable set is represented by zonotopes, which makes it possible to apply the approach to systems of 100 continuous state variables with computation times of a few minutes. This is demonstrated for randomized examples as well as a transmission line example.",

author = "Matthias Althoff and Krogh, {Bruce H.} and Olaf Stursberg",

year = "2011",

doi = "10.1007/978-3-642-15956-5_4",

language = "English",

isbn = "9783642159558",

series = "Mathematical Engineering",

pages = "69--94",

editor = "Ekaterina Auer and Andreas Rauh",

booktitle = "Modeling, Design, and Simulation of Systems with Uncertainties",

}