This article suggests ways to describe the behavior and interaction of electrical apparatuses. Using the example of a modern modular circuit breaker, the possibility and necessity of the use of formal description of electrical-apparatus operation modes by means of deterministic finite automata is shown. The article demonstrates the solution the problem of the functional identification of this apparatus along with the impossibility of verifying the technical solutions for the interacting apparatus complexes without an available formal description of all devices that are parts of the system. It is shown that the application of the theory of deterministic finite automata for the formal presentation of electrical apparatuses as a mathematical object allows one to proceed to the simulation modeling of operation of both individual devices and a complex of interacting apparatuses.
Read full abstract