jAADD: A Library for Symbolic Analysis of Hybrid Systems

Conference: MBMV 2020 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - GMM/ITG/GI-Workshop
03/19/2020 - 03/20/2020 at Stuttgart, Deutschland

Proceedings: GMM-Fb. 96: MBMV 2020

Pages: 5Language: englishTyp: PDF

Grimm, Christoph; Zivkovic, Carna (TU Kaiserslautern, Germany)

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.