search

ariadne-cps / ariadne

C++ framework for rigorous computation on cyber-physical systems
http://www.ariadne-cps.org
GNU General Public License v3.0
28 stars 9 forks source link

Use a trajectory tree for evolution #358

Open lgeretti opened 4 years ago

lgeretti commented 4 years ago

We shall introduce a trajectory tree for use in hybrid evolution, in order to: 1) identify dependencies between evolved sets 2) track the current trajectory being processed 3) rewind execution

In a first implementation this feature will be internal to the hybrid evolver, restricted to evolved sets, thus not affecting the Orbit class.

See also #24

lgeretti commented 4 years ago

Generalising this issue to dynamics, since being able to backtrack evolution steps is useful also in the continuous case.