Horseshoe in a two-scroll control system

In this paper we study a two-scrolls control system and give a rigorous verification for existence of chaos in this system. We show that the dynamics of the Poincaré map derived from the ordinary differential equations of this two-scrolls control system is semiconjugate to the dynamics of 4-shift map.