Improve cut method in ReachContinuous.

[GoogleCodeExporter]

Consider we have
reachObj = elltool.reach.ReachContinuous(...) on [t1 t2] time vector.
Then we use cut method:
cutObj = reachObj.cut([t3 t4]).
But this doesn't mean that in cutObj.ellTubeRel we have points with timeVec 
values equal to t3 or t4 because of timeVec in reachObj is linspace(t1, t2, N), 
where N is 100 now.
You need to improve cut method so that timeVec always contains t3 and t4 values.

Original issue reported on code.google.com by kirill.m...@gmail.com on 26 Apr 2013 at 5:30

[GoogleCodeExporter]

Now cut returns timeVec with time values t such that t3 <= t <= t4. If t3 or t4 
doesn't exist in ReachContinuous timeVec, we will have strict inequality (t3 < 
t).
As a result in s_ell_demo_reach.m some values were changed:
(trunk revision 624)
(str 69) > ct = cut(rs, [3 5]); -- now it is > ct = rs.cut([3 6]);

Also there are problems if t3 = t4, because if there is no time value t3 (or 
t4) in ReachContinuous timeVec, the error will be found.

Original comment by kirill.m...@gmail.com on 26 Apr 2013 at 6:12

[GoogleCodeExporter]

Now cut() method doesn't work for projected reach sets. But it must. After 
cut() is implemented for projections, enable 
's_chapter06_section02_snippet01.m' in elltool.demo.test.mlunit.ETManualTC.m 
(str. 16).

Original comment by kirill.m...@gmail.com on 23 May 2013 at 3:40

[GoogleCodeExporter]

Original comment by heartofm...@gmail.com on 12 Oct 2013 at 7:56

• Changed state: Fixed