Order-Reduction Abstractions for Safety Verification of High-Dimensional Linear Systems

Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang +1

Order-reduction is a standard automated approximation technique for computer-aided design, analysis, and simulation of many classes of systems, from circuits to buildings. For a gi…