Reachability analysis of nonlinear differential-algebraic systems

Matthias Althoff, Bruce H. Krogh

Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

91 Zitate (Scopus)


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.

Seiten (von - bis)371-383
FachzeitschriftIEEE Transactions on Automatic Control
PublikationsstatusVeröffentlicht - Feb. 2014


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

Dieses zitieren