Resumen: We provide rigorous computer-assisted proofs of the existence of different dynamical objects, like stable families of periodic orbits, bifurcations and stable invariant tori around them, in the paradigmatic Hénon–Heiles system. There are in the literature a large number of articles with numerical simulations on this system, and other open Hamiltonians, but only a few give a rigorous guarantee of simulations. In this article, we present the necessary link between the numerical simulations and the mathematical structure of the system, since it is relevant to provide evidence of the existence of some of the different objects detected numerically to evaluate the quality of the numerical results. Remarkably, we present a proof of the existence of stable regions in the non-hyperbolic and hyperbolic regimes classically established for the Hénon–Heiles system. In particular, we prove the important results of the existence of bounded stable regular regions located within the escape region, far from the regime of the KAM islands, which are called “safe regions”. Idioma: Inglés DOI: 10.1007/s11071-020-05930-x Año: 2020 Publicado en: Nonlinear Dynamics 102 (2020), 403–416 ISSN: 0924-090X Factor impacto JCR: 5.022 (2020) Categ. JCR: MECHANICS rank: 16 / 135 = 0.119 (2020) - Q1 - T1 Categ. JCR: ENGINEERING, MECHANICAL rank: 16 / 133 = 0.12 (2020) - Q1 - T1 Factor impacto SCIMAGO: 1.252 - Aerospace Engineering (Q1) - Applied Mathematics (Q1) - Ocean Engineering (Q1) - Electrical and Electronic Engineering (Q1) - Mechanical Engineering (Q1) - Control and Systems Engineering (Q1)