Our presentation provides an overview of the program package method, a novel contribution to guaranteed control theory introduced by academicians Yu. S. Osipov and A. V. Kryazhimskiy in the late 2000s. The concept of program packages was developed to address problems of guaranteed guidance of dynamical systems amid incomplete information. The original problem setting was dedicated to guaranteed guidance of a controlled system onto a given target set at a predefined fixed time with incomplete information about its current phase state
