Construction of verification and diagnostic tests for the functional diagram of the object of the diagnosis

Abstract

This article is devoted to the problem of technical diagnostics in urban electric transport and electrical facilities. To find the solution to this problem, it is necessary to transfer the qualitative determination of the Vehicle into some quantitative basis. The formalization of qualitative definitions is essential to the construction of formal (computable) diagnostic procedures.