search

ariadne-cps / release-1.0

Frozen 1.0 release of the Ariadne C++ framework for cyber-physical systems
http://www.ariadne-cps.org
GNU General Public License v3.0
0 stars 0 forks source link

Detection of the class of an automaton #18

Open lgeretti opened 8 years ago

lgeretti commented 8 years ago

Originally reported by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)

We could introduce a routine for detection of the class of an automaton (such as timed, linear, affine, or generic non-linear). This information would become useful if we wanted to provide specialized routines to perform analysis on automatons that are "better treatable" than non-linear ones.

Depends on #7