In this dissertation we classify the metabelian groups arising from a restricted class of invertible synchronous automata over a binary alphabet. We give faithful, self-similar actions of Heisenberg groups and upper triangular matrix groups. We introduce a new class of semigroups given by a restricted class of asynchronous automata. We call these semigroups " expanding automaton semigroups ". W...

This article copes with signal source localization by employing a receding horizon control approach temporal logic planning in the light of single mobile robot. First, is proposed such that task requirements from specifications can be effectively dealt based on product automaton an offline fashion. Second, order to label key nodes automaton, particle filter utilized predict positions as nodes. ...