Analyzing Reachability of Linear Dynamic Systems with Parametric Uncertainties

Matthias Althoff, Bruce H. Krogh, Olaf Stursberg

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

16 Scopus citations

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.

Original languageEnglish
Title of host publicationModeling, Design, and Simulation of Systems with Uncertainties
EditorsEkaterina Auer, Andreas Rauh
Pages69-94
Number of pages26
DOIs
StatePublished - 2011
Externally publishedYes

Publication series

NameMathematical Engineering
Volume3
ISSN (Print)2192-4732
ISSN (Electronic)2192-4740

Fingerprint

Dive into the research topics of 'Analyzing Reachability of Linear Dynamic Systems with Parametric Uncertainties'. Together they form a unique fingerprint.

Cite this