Active environment perception: a novel theoretical modelling based on synchronization of interactions

A novel modelling of active environment perception is proposed in this paper. This approach is based on a specific formalization of active perception, expressed in terms of interactions between environment and sensors. In our work, a synchronization property of active perception is identified, and exploited in theoretical characterization of this problem. The regulation of nondeterministic behavior, the description in terms of automata, and the direct connection with the state-space, represent the main advantages of our approach, which has even some great implications in modelling-checking field, process-algebra theory, and soft-computation techniques. The expressiveness of this formalization, and the generality of the proposed approach, make this modelling suitable in theoretical characterizations, and applications: thus representing an improvement of the actual best practices of this domain