Ariadne: An open tool for hybrid system analysis

Ariadne is a library for computation with hybrid automata under development by a joint team including University of Verona, University of Maastricht, University of Udine, and ALES.

The goal is to build an open and easily extensible package that features basic data structures and operators to support analysis and synthesis of systems described with hybrid automata. The ARIADNE computational kernel is written using generic programming, in which mathematical concepts, such as real numbers and continuous functions, can be implemented by different concrete types presenting the same (or similar) interfaces. In this way, we can write algorithms which work with any type having the same interface, and even if a type does not implement the full interface, some algorithms may still be available for that type. The advantage of this approach is that it greatly facilitates extensions: new types can be freely added as long as they conform to the syntax and semantics of the concept; new algorithms can be plugged-in to work with the new types, and user-defined algorithms can replace the algorithms supplied with the tool.

We would greatly appreciate any feedback, including bug reports, suggestions for extra features, new algorithms, optimizations and suggested improvements to the syntax.

The code is open-source, and covered by the GNU General Public Licence.



  • Examples: Examples of Ariadne coding and execution.


  • Svn Version: How to download and compile the stable version of Ariadne under Ubuntu 13.10.


Last modified 13 months ago Last modified on Mar 16, 2014 10:47:55 PM