Keyword:reachability analysis

Publications
ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Stefan Mitsch, Christian Schilling, Joris Tillet and Mark Wetzlinger In:Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
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
Checking and Establishing Reachset Conformance in CORA 2023 Matthias Althoff In:Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling, Mark Wetzlinger and Daniel Zhuang In:Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
Uncovering the role of mutations in Epithelial-to-Mesenchymal transition through computational analysis of the underlying gene regulatory network Jorge Enrique Narváez-Chávez, Elena R. Álvarez-Buylla and Juan Carlos Martínez-García In:Proceedings of International Conference on Bioinformatics and Computational Biology (BICOB-2023)
Guaranteed State Estimation in CORA 2021 Matthias Althoff In:8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling and Mark Wetzlinger In:8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
Analysis of Real-Time Control Systems using First-Order Continuization Maximilian Gaukler In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal) Patrick Musau and Taylor T. Johnson In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Discrete-Space Analysis of Partial Differential Equations Hoang-Dung Tran, Tianshu Bao and Taylor T. Johnson In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Linear Differential-Algebraic Equations (Benchmark Proposal) Patrick Musau, Diego Manzanas Lopez, Hoang-Dung Tran and Taylor T. Johnson In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Numerical Verification of 10000-dimensional Linear Systems 10000x Faster Stanley Bak In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Reachability Analysis of Transformer-Isolated DC-DC Converters Omar Beg, Ali Davoudi and Taylor T. Johnson In:ARCH17. 4th 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
A Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels Ian M. Mitchell In:Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015
Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis Kengo Kido, Swarat Chaudhuri and Ichiro Hasuo In:Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015
Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain Yang Gao and Martin Fränzle In:Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015