Difference between revisions of "Differential Logic and Dynamic Systems 2.0"