Application of algebra of events and states to synthesis of mine automation schemes

Abstract

For synthesis and analysis of the structure of multi-cycle circuits, the algebra of events and states, or generalized Boolean algebra including time, is of considerable interest. Let us synthesize with its help the control scheme of branched conveyor lines. The conditions, which the synthesized circuit must satisfy, are determined from the analysis of serially produced circuits.