Petri网在航空网络能量管理中的应用

B. Guida, A. Cavallo
{"title":"Petri网在航空网络能量管理中的应用","authors":"B. Guida, A. Cavallo","doi":"10.1109/ETFA.2013.6648086","DOIUrl":null,"url":null,"abstract":"In this paper, the implementation of an Intelligent Load Power Management (I-LPM) strategy for an aeronautical electrical network using a Petri net based approach will be discussed. The control strategy for I-LPM implementation will be presented following a step-by-step approach. In details, a rigorous method for translating the requirements that describe the desired energy management logic in a formal Petri net will be discussed. Next, in order to verify the Petri net correctness in terms of qualitative properties, a number of reduction techniques steps will be applied, eventually deriving a straightforward net where some basic properties will be verified by direct inspection. Finally, simulation results will evidence how the first Petri net so far derived can be applied, as a consequence of the successful verification of its basic properties, as a supervisory control strategy for the I-LPM of a basic aeronautical electrical network, as well as the obtained advantages over a traditional energy management strategy.","PeriodicalId":106678,"journal":{"name":"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"43 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"15","resultStr":"{\"title\":\"A Petri net application for energy management in aeronautical networks\",\"authors\":\"B. Guida, A. Cavallo\",\"doi\":\"10.1109/ETFA.2013.6648086\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper, the implementation of an Intelligent Load Power Management (I-LPM) strategy for an aeronautical electrical network using a Petri net based approach will be discussed. The control strategy for I-LPM implementation will be presented following a step-by-step approach. In details, a rigorous method for translating the requirements that describe the desired energy management logic in a formal Petri net will be discussed. Next, in order to verify the Petri net correctness in terms of qualitative properties, a number of reduction techniques steps will be applied, eventually deriving a straightforward net where some basic properties will be verified by direct inspection. Finally, simulation results will evidence how the first Petri net so far derived can be applied, as a consequence of the successful verification of its basic properties, as a supervisory control strategy for the I-LPM of a basic aeronautical electrical network, as well as the obtained advantages over a traditional energy management strategy.\",\"PeriodicalId\":106678,\"journal\":{\"name\":\"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)\",\"volume\":\"43 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2013-10-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"15\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ETFA.2013.6648086\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ETFA.2013.6648086","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 15

摘要

在本文中,将讨论使用基于Petri网的方法实现航空电网的智能负载功率管理(I-LPM)策略。I-LPM实施的控制策略将按照一步一步的方法提出。详细地说,我们将讨论在正式的Petri网中转换描述所需能源管理逻辑的需求的严格方法。接下来,为了验证Petri网在定性性质方面的正确性,将应用一些简化技术步骤,最终推导出一个简单的网,其中一些基本性质将通过直接检查来验证。最后,仿真结果将证明迄今为止推导出的第一个Petri网如何应用,作为成功验证其基本特性的结果,作为基本航空电气网络I-LPM的监督控制策略,以及与传统能源管理策略相比所获得的优势。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
A Petri net application for energy management in aeronautical networks
In this paper, the implementation of an Intelligent Load Power Management (I-LPM) strategy for an aeronautical electrical network using a Petri net based approach will be discussed. The control strategy for I-LPM implementation will be presented following a step-by-step approach. In details, a rigorous method for translating the requirements that describe the desired energy management logic in a formal Petri net will be discussed. Next, in order to verify the Petri net correctness in terms of qualitative properties, a number of reduction techniques steps will be applied, eventually deriving a straightforward net where some basic properties will be verified by direct inspection. Finally, simulation results will evidence how the first Petri net so far derived can be applied, as a consequence of the successful verification of its basic properties, as a supervisory control strategy for the I-LPM of a basic aeronautical electrical network, as well as the obtained advantages over a traditional energy management strategy.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信