Non-uniqueness in reverse time of hybrid system trajectories

Authors:
Ian A. Hiskens
Affiliations:
Department of Electrical and Computer Engineering, University of Wisconsin-Madison, Madison, WI
Venue:
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Year:
2005

Citing 5
Cited 1

Differential equations and dynamical systems

Differential equations and dynamical systems
Control System Design

Control System Design
Adjoint Sensitivity Analysis for Differential-Algebraic Equations: The Adjoint DAE System and Its Numerical Solution

SIAM Journal on Scientific Computing
Uniqueness of solutions of linear relay systems

Automatica (Journal of IFAC)
Brief On solution concepts and well-posedness of linear relay systems

Automatica (Journal of IFAC)

Comparing forward and backward reachability as tools for safety analysis

HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.