We propose a general algorithm for computer assisted verification of uniform hyperbolicity for maps which exhibit a robust attractor. The method has been successfully applied to a Poincaré map for a system of coupled nonautonomous van der Pol oscillators. The model equation has been proposed by Kuznetsov [Phys. Rev. Lett., 95 (2005), paper 144101], and the attractor seems to be of the Smale–Williams type.
No takes yet. Share an insight, caveat, or question.
A 2010 study studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: