Process-algebra based regulation of sensor controlled operations

Abstract

In this paper, we present a process algebra that enables the achievement of a suitable modelling, and an effective regulation, of sensor-controlled operations. The utilization of specific methods, and formal structures of computer science, is principally motivated by their abstraction capabilities that guarantee an effective use in several applications. Secondly, their rigorous theoretical formulations, actually represent a key point in the design of reliable solutions. Finally, the lack of redundant control-structures, and the direct relations with computation and calculus concepts, allow a suitable implementation in embedded system, robots, and generally, in every system that is characterized by low-capabilities in terms of memory, and elaboration. The result so obtained is achieved by means of a novel process algebra, which is enable to archive an optimal regulation of sensor-controlled operations