Reachability analysis of nonlinear differential-algebraic systems

Matthias Althoff, Bruce H. Krogh

Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

96 Zitate (Scopus)

Abstract

This paper presents a numerical procedure for the reachability analysis of systems with nonlinear, semi-explicit, index-1 differential-algebraic equations. The procedure computes reachable sets for uncertain initial states and inputs in an overapproximative way, i.e. it is guaranteed that all possible trajectories of the system are enclosed. Thus, the result can be used for formal verification of system properties that can be specified in the state space as unsafe or goal regions. Due to the representation of reachable sets by zonotopes and the use of highly scalable operations on them, the presented approach scales favorably with the number of state variables. This makes it possible to solve problems of industry-relevant size, as demonstrated by a transient stability analysis of the IEEE 14-bus benchmark problem for power systems.

OriginalspracheEnglisch
Aufsatznummer6632887
Seiten (von - bis)371-383
Seitenumfang13
FachzeitschriftIEEE Transactions on Automatic Control
Jahrgang59
Ausgabenummer2
DOIs
PublikationsstatusVeröffentlicht - Feb. 2014

Fingerprint

Untersuchen Sie die Forschungsthemen von „Reachability analysis of nonlinear differential-algebraic systems“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren