THE problem of the optimal control of processes described by Goursat's problem for systems of hyperbolic equations is considered. Theorems on the existence of optimal controls are proved and some necessary optimality conditions are obtained. Let the controlled system be described by the hyperbolic equations (1) u tx = f(t, x, u, u t, u x, v) subject to the conditions (2) u(0, x) = ø(x), x ∈ = D l= [0, l], u(t, 0) = ψ(t), t ∈ D T = [0, T] . Here u ( t, x) = { u 1( t, x), …, u n ( t, x)} describes the state of the controlled system, v( t, x) = { v 1( t, x), …, v r ( t, x)} is the controlling vector function, the vector function f( t, x, u, p, q, v) is continuous with respect to u, p, q, v for almost all ( t, x) ∈ Q = 0 < t < T, 0 < x < l and is measurable with respect to ( t, x) for all u ∈ R n , p ∈ = R n , q ∈ R n , ν ∈ = V, where R n is an n-dimensional space, V is some closed boundary set in R r , and the initial functions ø and ψ are absolutely continuous functions in their domains of definition and satisfy matching conditions. As the class of permissible controls we take the set of functions v( t, x), measurable on Q and assuming values of the set V almost everywhere on Q. We denote by Ω the set of permissible controls, and by C ∗(Q) the set of all functions u( t, x), defined on Q and satisfying the conditions: (1) the function u( t, x) is absolutely continuous on Q, (2) for almost all t of D T the derivative u t , considered as a function of x, is absolutely continuous in D L and for almost all x of D l the derivative u x is absolutely continuous with respect to t in D T , (3) the derivative u tx is summable on Q in the Lebesgue sense. For a given permissible control v( t, x) we understand by B solution of problem (1), (2) a function u( t, x) of the class C ∗(Q) , which satisfies Eq. (1) and the initial conditions (2) in the usual sense, almost everywhere on Q [1]. Among all the permissible controls it is required to find a control v( t, x) such that together with the solution u( t, x) of problem (1), (2) corresponding to it, the functional (3) I(v) = ʃ Q g(t,x,u,u t,u x,v)dx dt will attain its greatest value, where the function g( t, x, u, p, q, v) is continuous with respect to ( u, p, q, v) for almost all ( t, x) ∈ Q and is measurable with respect to ( t, x) for almost all values of ( u, p, q, v). For this problem various theorems on the existence of an optimal control are proved and some necessary conditions are obtained. We considered the scalar case of problem (1)-(3) in [2], where the existence and uniqueness of the optimal control was proved, necessary conditions of optimality were given and the smoothness of the optimal control was studied. However, the existence theorem was not clearly formulated and proved there. Hence in this paper the existence of an optimal control is proved anew.