Reachability analysis for high-index linear differential algebraic equations

DOI10.1007/978-3-030-29662-9_10zbMath1441.93021arXiv1804.03227OpenAlexW2969980813MaRDI QIDQ2176703

Taylor T. Johnson, Nathaniel P. Hamilton, Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang

Publication date: 5 May 2020

Full work available at URL: https://arxiv.org/abs/1804.03227

zbMATH Keywords

reachability analysiscyber-physical systemslinear differential algebraic equationssafety verification and falsification

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Attainable sets, reachability (93B03) Control/observation systems governed by ordinary differential equations (93C15) Networked control (93B70)

Uses Software

• SpaceEx
• HYST
• C2e2
• Flow*

This page was built for publication: Reachability analysis for high-index linear differential algebraic equations