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.
Bresolin, D., Geretti, L., Villa, T., Collins, P. (2015). An introduction to the verification of hybrid systems using ARIADNE. Basel : Springer International Publishing [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.
