{"title":"修正:演化系统的转换监督综合","authors":"Sander Thuijsman, Michel Reniers","doi":"10.1007/s10626-023-00384-w","DOIUrl":null,"url":null,"abstract":"Abstract The paper mentioned in the title used an incorrect implementation of the algorithms to produce the experimental results. The mistake significantly impacts the computational efficiency of the algorithms, on which they are evaluated. In this correction we explain the mistake, present the new results, and update our conclusions based on the new results.","PeriodicalId":92890,"journal":{"name":"Discrete event dynamic systems","volume":"2013 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2023-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Correction to: Transformational supervisor synthesis for evolving systems\",\"authors\":\"Sander Thuijsman, Michel Reniers\",\"doi\":\"10.1007/s10626-023-00384-w\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Abstract The paper mentioned in the title used an incorrect implementation of the algorithms to produce the experimental results. The mistake significantly impacts the computational efficiency of the algorithms, on which they are evaluated. In this correction we explain the mistake, present the new results, and update our conclusions based on the new results.\",\"PeriodicalId\":92890,\"journal\":{\"name\":\"Discrete event dynamic systems\",\"volume\":\"2013 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2023-10-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Discrete event dynamic systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1007/s10626-023-00384-w\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Discrete event dynamic systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1007/s10626-023-00384-w","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Correction to: Transformational supervisor synthesis for evolving systems
Abstract The paper mentioned in the title used an incorrect implementation of the algorithms to produce the experimental results. The mistake significantly impacts the computational efficiency of the algorithms, on which they are evaluated. In this correction we explain the mistake, present the new results, and update our conclusions based on the new results.