Tool-support for the analysis of hybrid systems and models

  title={Tool-support for the analysis of hybrid systems and models},
  author={A. Bauer and Markus Pister and M. Tautschnig},
  journal={2007 Design, Automation & Test in Europe Conference & Exhibition},
  • A. Bauer, Markus Pister, M. Tautschnig
  • Published 2007
  • Computer Science
  • 2007 Design, Automation & Test in Europe Conference & Exhibition
  • This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled using MATLAB/Simulink. The method is based upon converting system models into the uniform input language of our efficient multi-domain constraint solving library, ABSOLVER, which is then used for subsequent analysis. Basically, ABSOLVER is an extensible SMT-solver which addresses mixed Boolean and (nonlinear) arithmetic… CONTINUE READING
    56 Citations
    Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
    • 35
    • PDF
    Challenges in Constraint-Based Analysis of Hybrid Systems
    • 9
    • PDF
    Solving Nonlinear SMT Problems Based on an Efficient Lazy Method
    A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra
    • 9
    • PDF
    SMC: Satisfiability Modulo Convex Programming
    • 18
    • PDF