HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:linear systems

Publications
Output Feedback Reference Tracking for Constrained Linear Systems via Invariant Sets: the Coupled Tanks Process
Matheus Rodrigues, Glauber Leite, Ícaro Araújo, Tiago Almeida and Carlos Dórea
EasyChair Preprint 15926
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
Copyright © 2012-2025 easychair.org. All rights reserved.