首页> 外文OA文献 >Optimizing Control Strategy using Statistical Model Checking

【2h】

Optimizing Control Strategy using Statistical Model Checking

机译：利用统计模型检验优化控制策略

页面导航

著录项
相似文献
相关主题

著录项

作者
Re David; Dehui Du; Kim G. Larsen; Axel Legay;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Statistical Model Checking for Finite-Set Model Predictive Control Converters: A Tutorial on Modeling and Performance Verification [J] . Mateja Novak, Ulrik Mathias Nyman, Tomislav Dragicevic, IEEE industrial electronics magazine . 2019,第3期

机译：有限套装模型预测控制转换器的统计模型检查：建模和性能验证教程
2. Utility of Statistical Model Checking of Stochastic Hybrid Automata for Patient Controlled Analgesia [J] . Pranevicius Henrikas, Naujokaitis Darius, Pilkauskas Vytautas, Elektronika ir Elektrotechnika . 2017,第6期

机译：患者控制镇痛随机混合自动机统计模型检查的效用
3. Statistical Model Checking-Based Evaluation and Optimization for Cloud Workflow Resource Allocation [J] . Mingsong Chen, Saijie Huang, Xin Fu, Cloud Computing, IEEE Transactions on . 2020,第2期

机译：基于统计模型检查云工作流程资源分配的评估和优化
4. Optimizing Control Strategy Using Statistical Model Checking [C] . Alexandre David, Dehui Du, Kim Guldstrand Larsen, NASA formal methods symposium . 2013

机译：使用统计模型检查优化控制策略
5. Formal verification of speed control strategies with SPIN model checker [D] . Baishya, Silpi S. 2004

机译：使用SPIN模型检查器对速度控制策略进行形式验证
6. Verification and Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Model Checking and Polynomial Optimization [O] . Koichi Kobayashi, Kunihiko Hiraishi -1

机译：使用模型检查和多项式优化的上下文敏感概率布尔网络的验证和最优控制
7. Optimizing Control Strategy Using Statistical Model Checking [O] . David Alexandre, Du Dehui, Larsen Kim Guldstrand, 2013

机译：用统计模型检验优化控制策略

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号