Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration
From MaRDI portal
Publication:2949859
DOI10.1007/978-3-662-48288-9_18zbMath1419.68041arXiv1506.05607OpenAlexW1559330864MaRDI QIDQ2949859
Peter Schrammel, Alessandro Abate, Daniel Kroening, Dario Cattaruzza
Publication date: 2 October 2015
Published in: Static Analysis (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1506.05607
Related Items (4)
Data-driven and model-based verification via Bayesian identification and reachability analysis ⋮ Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration ⋮ On the decidability of reachability in continuous time linear time-invariant systems ⋮ Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Applying abstract acceleration to (co-)reachability analysis of reactive programs
- Hybridization methods for the analysis of nonlinear systems
- HySAT: An efficient proof engine for bounded model checking of hybrid systems
- HyTech: A model checker for hybrid systems
- SMT-based scenario verification for hybrid systems
- Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs
- Template-Based Unbounded Time Verification of Affine Hybrid Automata
- δ-Complete Decision Procedures for Satisfiability over the Reals
- Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration
- Constraint-Based Approach for Analysis of Hybrid Systems
- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
- Combining Widening and Acceleration in Linear Relation Analysis
- Reachability Analysis of Hybrid Systems Using Support Functions
- Logahedra: A New Weakly Relational Domain
- Hybrid Systems: Computation and Control
- Abstract acceleration of general linear loops
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Computer Aided Verification
This page was built for publication: Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration