Order-reduction abstractions for safety verification of high-dimensional linear systems

Hoang Dung Tran, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson

Research output: Contribution to journalArticlepeer-review

12 Scopus citations

Fingerprint

Dive into the research topics of 'Order-reduction abstractions for safety verification of high-dimensional linear systems'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science