Keyword:linear systems

Publications
Numerical Verification of Affine Systems with up to a Billion Dimensions Stanley Bak, Hoang-Dung Tran and Taylor T. Johnson EasyChair Preprint 812
Randomized Generation of Arbitrarily Difficult Verification Benchmarks for Linear Time-Invariant Systems Mark Wetzlinger and Matthias Althoff In:Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
Toward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems Nacera Djehaf, Matthieu Martel and Mikaël Barboteu In:TNC'18. Trusted Numerical Computations
Numerical Verification of 10000-dimensional Linear Systems 10000x Faster Stanley Bak In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Direct Verification of Linear Systems with over 10000 Dimensions Stanley Bak and Parasara Sridhar Duggirala In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
Large-Scale Linear Systems from Order-Reduction Hoang-Dung Tran, Luan Viet Nguyen and Taylor T Johnson In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems