{"title":"基于过程代数的传感器控制操作调节","authors":"F. Gianfelici","doi":"10.1109/ROSE.2005.1588337","DOIUrl":null,"url":null,"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","PeriodicalId":244890,"journal":{"name":"International Workshop on Robotic Sensors: Robotic and Sensor Environments, 2005.","volume":"60 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Process-algebra based regulation of sensor controlled operations\",\"authors\":\"F. Gianfelici\",\"doi\":\"10.1109/ROSE.2005.1588337\",\"DOIUrl\":null,\"url\":null,\"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\",\"PeriodicalId\":244890,\"journal\":{\"name\":\"International Workshop on Robotic Sensors: Robotic and Sensor Environments, 2005.\",\"volume\":\"60 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Workshop on Robotic Sensors: Robotic and Sensor Environments, 2005.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ROSE.2005.1588337\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Workshop on Robotic Sensors: Robotic and Sensor Environments, 2005.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ROSE.2005.1588337","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Process-algebra based regulation of sensor controlled operations
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