She developed important conditions for the controllability and observability of linear control systems with delay.[1] She provided a justification for the universal form of necessary optimality conditions for complex control systems based on variational derivatives. She discovered and justified (together with R. Gabasov) the quasi-maximum principle for discrete-time control systems and pioneered its application.