En este trabajo, que se basa en una motivación de la vida real, presentamos una teoría algebraica de autómatas y multi-autómatas. Combinamos estos (multi-)autómatas utilizando los productos introducidos por W. Dörfler, donde trabajamos con la composición cartesiana y definimos los enlaces internos entre los multi-autómatas mediante la matriz de enlaces internos. Utilizamos el producto obtenido de multi-autómatas -arios como un sistema que modela y controla ciertas situaciones de tráfico (cambio de carril) para vehículos autónomos.