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

Analyze the possibility to perform mesh reachability analysis #36

Open lgeretti opened 8 years ago

lgeretti commented 8 years ago

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

To account for situations where a variable is defined in a space, we have to be able to analyze its behavior in such space. Being the space continuous, there would be R^n variables involved. Instead, we may work on intervals by splitting the space. Additionally, the number of variables may be adaptive, by updating only those that have a "fast" evolution; this solution could restrict the usability of the variable though.

lgeretti commented 8 years ago

Original comment by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)

Waiting for better error control (i.e., integration accuracy tuning and adaptive integration step size) before proceeding further.

lgeretti commented 8 years ago

Original comment by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)

Considering the results obtained from the laser case study, interval analysis would require very strong quality of convergence. This is held until a better error control is available.