Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration

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

Mathematics Subject Classification ID

Theory of software (68N99)

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