Published online by Cambridge University Press: 09 March 2009
In the paper a formal model is presented of the discrete control of a bile robot moving over a plane. The model synthesis has been directed in such a way as to justify the use as a controller of the automaton with internal and external parameters. It has been shown that, while controlled in discrete time the mobile robot performance can be expressed by a one-sidely optimized tree of a two-person extensive game. The tree, after transforming into the form of the state diagram of an automaton, serves as a basis for the synthesis of the automaton with internal and external parameters playing the role of a controller. A method is presented of synthesizing an automaton of this type, being a hardware realization of the mobile robot controller.