首页> 外文会议>NASA formal methods symposium >Optimizing Control Strategy Using Statistical Model Checking
【24h】

Optimizing Control Strategy Using Statistical Model Checking

机译:使用统计模型检查优化控制策略

获取原文

摘要

This paper proposes a new efficient approach to optimize energy consumption for energy aware buildings. Our approach relies on stochastic hybrid automata for representing energy aware systems. The model is parameterized by several cost values that need to be optimized in order to minimize energy consumption. Our approach exploits a stochastic semantic together with simulation in order to estimate the best value for such parameters. Contrary to existing techniques that would estimate energy consumption for each value of the parameters, our approach relies on a new statistical engine that exploits ANOVA, a technique that can reduce the number of runs needed by the comparison algorithm to perform the estimates. Our approach has been implemented and our experiments show that we clearly outperform the naive approach.
机译:本文提出了一种新的有效方法来优化节能建筑的能耗。我们的方法依赖于随机混合自动机来表示节能系统。该模型由几个成本值进行参数化,这些成本值需要优化以最小化能耗。我们的方法利用随机语义和仿真来估计此类参数的最佳值。与现有技术估计每个参数值的能耗相反,我们的方法依赖于一个利用ANOVA的新统计引擎,该技术可以减少比较算法执行估计所需的运行次数。我们的方法已经实施,我们的实验表明我们明显优于幼稚的方法。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号