{"title":"无线工业控制网络的建模、复杂性和自动组态研究","authors":"Amir Menczel, Gera Weiss, Dror Fried","doi":"10.1109/SWSTE.2016.26","DOIUrl":null,"url":null,"abstract":"We propose a mathematical model for wireless industrial control systems and analyze the engineering challenge of co-scheduling networking and control in this context. We demonstrate the use of the model using a small case study and explain how our modelling approach allows for self-configuring and self-adapting systems. The main theoretical contribution of the paper is a mathematical formulation of the computational problem of synthesizing a co-design of scheduling and control for wireless industrial control systems and a mathematical proof that this problem is computationally hard. We also identify relevant special network topologies for which the problem can be efficiently solved.","PeriodicalId":118525,"journal":{"name":"2016 IEEE International Conference on Software Science, Technology and Engineering (SWSTE)","volume":"99 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2016-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"On Modeling, Complexities, and Automatic Configuration of Wireless Industrial Control Networks\",\"authors\":\"Amir Menczel, Gera Weiss, Dror Fried\",\"doi\":\"10.1109/SWSTE.2016.26\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We propose a mathematical model for wireless industrial control systems and analyze the engineering challenge of co-scheduling networking and control in this context. We demonstrate the use of the model using a small case study and explain how our modelling approach allows for self-configuring and self-adapting systems. The main theoretical contribution of the paper is a mathematical formulation of the computational problem of synthesizing a co-design of scheduling and control for wireless industrial control systems and a mathematical proof that this problem is computationally hard. We also identify relevant special network topologies for which the problem can be efficiently solved.\",\"PeriodicalId\":118525,\"journal\":{\"name\":\"2016 IEEE International Conference on Software Science, Technology and Engineering (SWSTE)\",\"volume\":\"99 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2016-06-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2016 IEEE International Conference on Software Science, Technology and Engineering (SWSTE)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SWSTE.2016.26\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2016 IEEE International Conference on Software Science, Technology and Engineering (SWSTE)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SWSTE.2016.26","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
On Modeling, Complexities, and Automatic Configuration of Wireless Industrial Control Networks
We propose a mathematical model for wireless industrial control systems and analyze the engineering challenge of co-scheduling networking and control in this context. We demonstrate the use of the model using a small case study and explain how our modelling approach allows for self-configuring and self-adapting systems. The main theoretical contribution of the paper is a mathematical formulation of the computational problem of synthesizing a co-design of scheduling and control for wireless industrial control systems and a mathematical proof that this problem is computationally hard. We also identify relevant special network topologies for which the problem can be efficiently solved.