Towards rigorous results in state-dependent delay equations

While state-dependent delay equations – delayed systems where the delay in turns depend on the state of the system – are crucial in the modelling of real-life phenomena, the mathematical analysis of such systems is challenging, mostly due to a lack of smoothness of the associated dynamical system.

This workshop explores the potential of combining rigorous numerics and numerical techniques for delay differential equations to prove rigorous results on state-dependent systems.