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; Collins, Pieter. - STAMPA. - 456:(2015), pp. 339-346. [10.1007/978-3-319-10407-2_39]
An introduction to the verification of hybrid systems using ARIADNE
BRESOLIN, DAVIDE;
2015
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:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
