jAADD: A Library for Symbolic Analysis of Hybrid Systems

Inhalt:
The paper describes a Java library for the symbolic analysis of hybrid systems. The approach is to combine affine arithmetic for continuous quantities and BDD for discrete quantities. The jAADD library permits to analyze programs that also can include non-linear functions and control flow statement, e.g. conditional statements or iterations, while mixing concrete and symbolic computations. As a concrete result, the implementation in Java is described with a simple case study that demonstrates intuitive usability, ease-of-use and scalability.