一个完整模拟信息物理能量系统的方法

2018 IEEE Workshop on Environmental, Energy, and Structural Monitoring Systems (EESMS) Pub Date : 2018-06-01 DOI:10.1109/EESMS.2018.8405826

Youssef Driouich, Mimmo Parente, E. Tronci

{"title":"一个完整模拟信息物理能量系统的方法","authors":"Youssef Driouich, Mimmo Parente, E. Tronci","doi":"10.1109/EESMS.2018.8405826","DOIUrl":null,"url":null,"abstract":"The number of computation cycles used for simulation-based Verification of Cyber Physical Energy Systems is outpacing the available throughput of simulation resources. In this paper, a methodology for the verification of the CPES at hand with the aim of full coverage of the system's states is proposed. This approach relies on representing the unpredictable behaviour of the environment in order to cover all feasible possible scenarios. Processed by JModelica, the simulation results are covering the system's complete dynamic behaviour. Simulation by complete state space covering guarantees the verification results to be sound for every possible state of the system under verification. The application to Photovoltaic circuits, specifically the Distributed Maximum Power Point Tracking, shows the feasibility of the approach.","PeriodicalId":315840,"journal":{"name":"2018 IEEE Workshop on Environmental, Energy, and Structural Monitoring Systems (EESMS)","volume":"45 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"A methodology for a complete simulation of Cyber-Physical Energy Systems\",\"authors\":\"Youssef Driouich, Mimmo Parente, E. Tronci\",\"doi\":\"10.1109/EESMS.2018.8405826\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The number of computation cycles used for simulation-based Verification of Cyber Physical Energy Systems is outpacing the available throughput of simulation resources. In this paper, a methodology for the verification of the CPES at hand with the aim of full coverage of the system's states is proposed. This approach relies on representing the unpredictable behaviour of the environment in order to cover all feasible possible scenarios. Processed by JModelica, the simulation results are covering the system's complete dynamic behaviour. Simulation by complete state space covering guarantees the verification results to be sound for every possible state of the system under verification. The application to Photovoltaic circuits, specifically the Distributed Maximum Power Point Tracking, shows the feasibility of the approach.\",\"PeriodicalId\":315840,\"journal\":{\"name\":\"2018 IEEE Workshop on Environmental, Energy, and Structural Monitoring Systems (EESMS)\",\"volume\":\"45 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-06-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2018 IEEE Workshop on Environmental, Energy, and Structural Monitoring Systems (EESMS)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/EESMS.2018.8405826\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2018 IEEE Workshop on Environmental, Energy, and Structural Monitoring Systems (EESMS)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/EESMS.2018.8405826","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 6

摘要

用于基于仿真的网络物理能量系统验证的计算周期数量超过了仿真资源的可用吞吐量。本文提出了一种验证现有CPES的方法，目的是全面覆盖系统的状态。这种方法依赖于表示环境中不可预测的行为，以涵盖所有可行的可能场景。通过JModelica的处理，仿真结果涵盖了系统的完整动态行为。完全状态空间覆盖的仿真保证了被验证系统的每一种可能状态的验证结果都是可靠的。在光伏电路中的应用，特别是分布式最大功率点跟踪，证明了该方法的可行性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A methodology for a complete simulation of Cyber-Physical Energy Systems

The number of computation cycles used for simulation-based Verification of Cyber Physical Energy Systems is outpacing the available throughput of simulation resources. In this paper, a methodology for the verification of the CPES at hand with the aim of full coverage of the system's states is proposed. This approach relies on representing the unpredictable behaviour of the environment in order to cover all feasible possible scenarios. Processed by JModelica, the simulation results are covering the system's complete dynamic behaviour. Simulation by complete state space covering guarantees the verification results to be sound for every possible state of the system under verification. The application to Photovoltaic circuits, specifically the Distributed Maximum Power Point Tracking, shows the feasibility of the approach.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2018 IEEE Workshop on Environmental, Energy, and Structural Monitoring Systems (EESMS)

自引率

0.00%

发文量