{"title":"基于约束求解的国产系统组态","authors":"G. Leitner, Martin Stettinger","doi":"10.1145/3503229.3547045","DOIUrl":null,"url":null,"abstract":"Current crises (such as the war in Ukraine) are confronting end consumers with ever new challenges, for example, in the context of energy management. This paper presents a configurator that enables end-users to make certain functions in their household \"smart\" and thus, for instance, get a better grip on their energy management. The concept is based on constraint programming, concretely on the open source platform Choco1. After emphasizing the algorithmic problems and challenges, a first version of a prototype is presented, which illustrates the possibilities of guiding end-users through the process of making their living environments smart. Related possibilities, potentials and challenges of the proposed approach are discussed at the end of the paper.","PeriodicalId":193319,"journal":{"name":"Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B","volume":"11 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Configuration of domotic systems based on constraint solving\",\"authors\":\"G. Leitner, Martin Stettinger\",\"doi\":\"10.1145/3503229.3547045\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Current crises (such as the war in Ukraine) are confronting end consumers with ever new challenges, for example, in the context of energy management. This paper presents a configurator that enables end-users to make certain functions in their household \\\"smart\\\" and thus, for instance, get a better grip on their energy management. The concept is based on constraint programming, concretely on the open source platform Choco1. After emphasizing the algorithmic problems and challenges, a first version of a prototype is presented, which illustrates the possibilities of guiding end-users through the process of making their living environments smart. Related possibilities, potentials and challenges of the proposed approach are discussed at the end of the paper.\",\"PeriodicalId\":193319,\"journal\":{\"name\":\"Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B\",\"volume\":\"11 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-09-12\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/3503229.3547045\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3503229.3547045","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Configuration of domotic systems based on constraint solving
Current crises (such as the war in Ukraine) are confronting end consumers with ever new challenges, for example, in the context of energy management. This paper presents a configurator that enables end-users to make certain functions in their household "smart" and thus, for instance, get a better grip on their energy management. The concept is based on constraint programming, concretely on the open source platform Choco1. After emphasizing the algorithmic problems and challenges, a first version of a prototype is presented, which illustrates the possibilities of guiding end-users through the process of making their living environments smart. Related possibilities, potentials and challenges of the proposed approach are discussed at the end of the paper.