{"title":"工业规划形式化验证的结构推理中系统关键属性的识别","authors":"A. Lobov, J. Lastra","doi":"10.1109/ROBIO.2009.4913178","DOIUrl":null,"url":null,"abstract":"Each non-chaotic system has a set of attributes or properties forming a ‘character’ of the system. Being a unique entity means to possess a unique (sub-)set of attributes. This paper shows how these attributes can be identified and applied in reasoning on system correctness. The field of application is a domain of factory automation, where the structural reasoning on system state spaces is used to assist in formal validation of the overall system behavior. The paper defines ‘structural reasoning’ and ‘key attributes’ that can serve as a base for understanding developed system.","PeriodicalId":321332,"journal":{"name":"2008 IEEE International Conference on Robotics and Biomimetics","volume":"40 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2009-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"An identification of system key attributes in structural reasoning for formal validation of industrial programming\",\"authors\":\"A. Lobov, J. Lastra\",\"doi\":\"10.1109/ROBIO.2009.4913178\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Each non-chaotic system has a set of attributes or properties forming a ‘character’ of the system. Being a unique entity means to possess a unique (sub-)set of attributes. This paper shows how these attributes can be identified and applied in reasoning on system correctness. The field of application is a domain of factory automation, where the structural reasoning on system state spaces is used to assist in formal validation of the overall system behavior. The paper defines ‘structural reasoning’ and ‘key attributes’ that can serve as a base for understanding developed system.\",\"PeriodicalId\":321332,\"journal\":{\"name\":\"2008 IEEE International Conference on Robotics and Biomimetics\",\"volume\":\"40 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2009-02-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2008 IEEE International Conference on Robotics and Biomimetics\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ROBIO.2009.4913178\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2008 IEEE International Conference on Robotics and Biomimetics","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ROBIO.2009.4913178","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
An identification of system key attributes in structural reasoning for formal validation of industrial programming
Each non-chaotic system has a set of attributes or properties forming a ‘character’ of the system. Being a unique entity means to possess a unique (sub-)set of attributes. This paper shows how these attributes can be identified and applied in reasoning on system correctness. The field of application is a domain of factory automation, where the structural reasoning on system state spaces is used to assist in formal validation of the overall system behavior. The paper defines ‘structural reasoning’ and ‘key attributes’ that can serve as a base for understanding developed system.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
