Лаборатория № 45 «Математических методов исследования оптимальных управляемых систем»