Under standard Lipschitz conditions, trajectories of systems described by ordinary differential equations are well defined in both forward and reverse time. (The flow map is invertible.) However for hybrid systems, uniqueness of trajectories in forward time does not guarantee flow-map invertibility, allowing non-uniqueness in reverse time. The paper establishes a necessary and sufficient condition that governs invertibility through events. It is shown that this condition is equivalent to requiring reverse-time trajectories to transversally encounter event triggering hypersurfaces. This analysis motivates a homotopy algorithm that traces a one-manifold of initial conditions that give rise to trajectories which all reach a common point at the same time. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Hiskens, I. A. (2005). Non-uniqueness in reverse time of hybrid system trajectories. In Lecture Notes in Computer Science (Vol. 3414, pp. 339–353). Springer Verlag. https://doi.org/10.1007/978-3-540-31954-2_22
Mendeley helps you to discover research relevant for your work.