An Introduction to the Verification of Hybrid Systems Using Ariadne

Davide Bresolin, Luca Geretti, Tiziano Villa, Pieter Collins

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

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.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
PublisherSpringer
Pages339-346
Number of pages8
ISBN (Electronic)978-3-319-10407-2
ISBN (Print)978-3-319-10406-5
DOIs
Publication statusPublished - 2015

Publication series

SeriesLecture Notes in Control and Information Sciences
Volume456
ISSN0170-8643

Cite this