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
Lect. Notes Control
2014-09-26
8 pages
Article/Chapter (Book)
Electronic Resource
English
CAPTAIN MARRYAT and the ARIADNE
Taylor & Francis Verlag | 1935
|Ariadne Is Less Costly Than the Space Shuttle
NTIS | 1977
|