Identify the maximum scan period for the critical x0

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

Identify the maximum scan period for the critical x0 #32

Closed lgeretti closed 8 years ago

lgeretti commented 8 years ago

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

Given x0 = [0.00015167,0.00015168], find out which is the highest value of the period that avoids carbonization.

Bitbucket: https://bitbucket.org/ariadne-cps/release-1.0/issue/32

lgeretti commented 8 years ago

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

The result for the interval is scan_period = 87 ms. This is slighter lower than, for example, the limit for the lower bound of the interval: 91 ms. We could still try with higher accuracy to reduce the approximation error.