We introduce the verification of hybrid systems as offered by the open-source framework called Ariadne. The Ariadne C++ library exploits approximation techniques based on the theory of computable analysis for implementing formal verification algorithms based on reachability analysis. We demonstrate the tool using a classical example of a controlled water tank system.
An Introduction to the Verification of Hybrid Systems using Ariadne
BRESOLIN, Davide;GERETTI, Luca;VILLA, Tiziano;
2015-01-01
Abstract
We introduce the verification of hybrid systems as offered by the open-source framework called Ariadne. The Ariadne C++ library exploits approximation techniques based on the theory of computable analysis for implementing formal verification algorithms based on reachability analysis. We demonstrate the tool using a classical example of a controlled water tank system.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
