An Introduction to the Verification of Hybrid Systems Using Ariadne

Davide Bresolin*, Luca Geretti, Tiziano Villa, Pieter Collins

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic


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.keywordsariadnewater tank examplehybrid automatareachable setlower semanticsthese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Original languageEnglish
Title of host publicationCoordination Control of Distributed Systems
EditorsJ. van Schuppen, T. Villa
Number of pages8
ISBN (Electronic)978-3-319-10407-2
ISBN (Print)978-3-319-10406-5
Publication statusPublished - 2015

Publication series

SeriesLecture Notes in Control and Information Sciences


Dive into the research topics of 'An Introduction to the Verification of Hybrid Systems Using Ariadne'. Together they form a unique fingerprint.

Cite this