Activities per year
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 language | English |
---|---|
Title of host publication | Coordination Control of Distributed Systems |
Editors | J. van Schuppen, T. Villa |
Publisher | Springer |
Pages | 339-346 |
Number of pages | 8 |
ISBN (Electronic) | 978-3-319-10407-2 |
ISBN (Print) | 978-3-319-10406-5 |
DOIs | |
Publication status | Published - 2015 |
Publication series
Series | Lecture Notes in Control and Information Sciences |
---|---|
Volume | 456 |
ISSN | 0170-8643 |
Activities
- 1 Talk or presentation - at conference
-
Verification of Hybrid Systems with Ariadne
Pieter Collins (Speaker)
20 Nov 2020Activity: Talk or presentation / Performance / Speeches › Talk or presentation - at conference › Academic