Abstract
This paper describes a logical model applied as a soft control tool to mobile objects. The model of the logical spatial situation without uncertainty, i.e., according to the law of excluded middle, is considered as the basis. Nonetheless, the motion rules are derived using an approach applied in constructible mathematics and logic. The approach consists in the finitude of variants of control and analyzing all potential traffic scenarios. The constructible object considered in this paper is the situation’s logical model. The constructible approach consists in considering the model of a typical railway station by the example of which the traffic is analyzed. The situation’s logical model is implemented as a condition for potential traffic. This model is described using mathematical logic with the help of logical variables and rules. The control system in this case makes use of permissible versions of logical designs. The control relies on the feasibility of traffic. The system of control rules is developed on the basis of the logical situation’s model and formed without uncertainty. The article provides an analysis of complementary kinds of traffic.
Highlights
The features of mobile object control (Tsvetkov, 2012) differ it from stationary object control
Information modeling methods allow converting it to an information situation model
Situational control makes use of the information situation model that is the base for subsidiary and complementary control (Alvarado, 1995)
Summary
The features of mobile object control (Tsvetkov, 2012) differ it from stationary object control. Logical models can be used in control only with the help of discrete models, spatial information and geodata (Savinykh & Tsvetkov, 2014) Soft control makes it necessary to use a spatial information situation. This work proposes an integral model combining the principles of constructible mathematics (Martin-Löf, 1982), spatial situational analysis (Pietrzak et al, 2008), and logical analysis, for example, European Train Control System (ETCS) (Platzer & Quesel, 2008). The proposed logical model refers is a case of soft control, relies on the conditions in a managerial situation, and forms vehicle traffic conditions, proceeding from the stated conditions. Soft control makes use of a clear situational model using the combinatory approach with a finite number of variants
Sign-in/Register to view highlights & summary Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
