jAADD: A Library for Symbolic Analysis of Hybrid Systems

Konferenz: MBMV 2020 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - GMM/ITG/GI-Workshop
19.03.2020 - 20.03.2020 in Stuttgart, Deutschland

Tagungsband: GMM-Fb. 96: MBMV 2020

Seiten: 5Sprache: EnglischTyp: 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.