V článku je představena algebraická teorie automatů a multiautomatů, která využívá produkty podle Dörflera a matici vnitřních vazeb. Modeluje řízení dopravních situací (přesuny v jízdních pruzích) u autonomních vozidel.
Abstract:
In this paper, which is based on a real-life motivation, we present an algebraic theory of automata and multi-automata. We combine these (multi-)automata using the products introduced by W. Dörfler, where we work with the cartesian composition and we define the internal links among multiautomata by means of the internal links’ matrix. We used the obtained product of n-ary multi-automata as a system that models and controls certain traffic situations (lane shifting) for autonomous vehicles.
https://www.mdpi.com/2227-7390/8/5/835