Abstract: The publication presents a method for creating dependency functions and equations based on state equations describing a railway traffic control (RTC) system as a switching circuit. Analyzing the RTC system as a switching circuit allows for the identification of a series of component automata within the structure of this system that map processes as well as controlled objects. State equations were used to describe these automata. This method enabled the formulation of dependency functions and equations that can be applied for algorithmization purposes. Furthermore, the application of this method allows for the examination of the properties of these automata and, consequently, the RTC system itself.(…)
The article contains 25,520 characters.
Source: Logistyka Magazine