Modelo lógico de control de objetos móviles

Resumen

Aquí se describe el modelo lógico usado como un medio de control moderado de objetos móviles. Se considera como base el modelo de la situación lógica espacial sin incertidumbre, o sea, según el principio del tercero excluido. A pesar de ello, se derivan las reglas de tráfico a traves de un enfoque aplicado en matemáticas estructurales y lógica. El enfoque consiste en la finitud de variantes de control y analizar todos los escenarios potenciales del tráfico. El objeto diseñable considerado aquí es el modelo lógico de la situación. El enfoque estructural consiste en considerar el modelo de una estación ferrocarril típica usado como un ejemplo para analizar el tráfico. Se usa el modelo lógico de la situación como una condición para tráfico potencial.  Se describe este modelo a través de lógica matemática con la ayuda de variables y reglas lógicas. En este caso el sistema de control hace uso de versiones permitidas de diseños lógicos. Se basa el control en la viabilidad del tráfico. Se usa el modelo de la situación lógica espacial sin incertidumbre como base para desarrollar el sistema de reglas de control. Aquí también se analizan los tipos del tráfico complementarios.