1. Impulsive Differential Equations: Periodic Solutions and Applications;Bainov,1993
2. Rigorous validation of stochastic transition paths;Breden;J. Math. Pures et Appl.,2019
3. Rigorous numerics in Floquet theory: computing stable and unstable bundles of periodic orbits;Castelli;SIAM J. Appl. Dyn. Syst.,2013
4. K.E.M. Church, G.W. Duchesne, Codes to accompany “rigorous continuation of periodic solutions for impulsive delay differential equations”, https://github.com/kemchurch/IFDE_spectral_methods/tree/master/CONTINUATION_IDDE.
5. Smooth centre manifolds for impulsive delay differential equations;Church;J. Differ. Equ.,2018