Ariadne
swMATH ID:  6670 
Software Authors:  Benvenuti, Luca; Bresolin, Davide; Collins, Pieter; Ferrari, Alberto; Geretti, Luca; Villa, Tiziano 
Description:  Ariadne is a library for computation with hybrid automata under development by a joint team including University of Udine, PARADES, CWI, and University of Verona. 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 pluggedin to work with the new types, and userdefined algorithms can replace the algorithms supplied with the tool. 
Homepage:  http://www.ariadnecps.org 
Dependencies:  C++ 
Keywords:  hybrid automata; hybrid system analysis 
Related Software:  HyTech; PHAVer; SpaceEx; HSolver; RSOLVER; KeYmaera; iRRAM; Flocq; CCoRN; Gappa; Isabelle/HOL; NLTOOLBOX; JuliaReach; Python; DaDRA; PRISM; PNM; Sapo; dReach; Flow* 
Referenced in:  14 Publications 
Further Publications:  http://www.ariadnecps.org/publications/ 
Standard Articles
1 Publication describing the Software, including 1 Publication in zbMATH  Year 

Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis. Zbl 1374.68271 Benvenuti, Luca; Bresolin, Davide; Collins, Pieter; Ferrari, Alberto; Geretti, Luca; Villa, Tiziano 
2012

all
top 5
Referenced by 26 Authors
all
top 5
Referenced in 7 Serials
all
top 5