首页> 外文会议>International Symposium on NASA Formal Methods >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 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号