首页 > 最新文献

2013 IEEE International Conference on Smart Grid Communications (SmartGridComm)最新文献

英文 中文
Fuzzy C-means algorithm for parameter estimation of partitioned Markov chain impulsive noise model 分割马尔可夫链脉冲噪声模型参数估计的模糊c均值算法
Pub Date : 2013-12-19 DOI: 10.1109/SmartGridComm.2013.6687982
Fabien Sacuto, F. Labeau, B. Agba
The partitioned Markov chain is a sample noise model that can represent impulsive noise in power substation including the time-correlation between the samples. In order to use this model, algorithms are needed to detect and to estimate the impulses characteristics, such as the duration, the samples values and the occurrence times of the impulses. Unsupervised learning of these characteristics is very complex, we propose then to use the fuzzy C-means algorithm to analyze impulses from substation measurements and to configure the partitioned Markov chain model by instantiating the transition matrix and by estimating the parameters of the Gaussian distributions associated with the Markov states. After simulating sequences of samples with our model, we noticed that the distribution of the impulsive noise characteristics and the power spectrum of the impulses are satisfyingly close to the measurements. The fuzzy C-means algorithm is appropriate to estimate the parameters required by the partitioned Markov chain model and to reduce the complexity of the parameter estimation.
分块马尔可夫链是一种能够表示变电所脉冲噪声的样本噪声模型,它考虑了样本间的时间相关性。为了使用该模型,需要算法来检测和估计脉冲的特性,如脉冲的持续时间、采样值和出现次数。这些特征的无监督学习是非常复杂的,我们建议使用模糊c均值算法来分析变电站测量的脉冲,并通过实例化转移矩阵和估计与马尔可夫状态相关的高斯分布的参数来配置划分的马尔可夫链模型。在用我们的模型模拟样本序列后,我们注意到脉冲噪声特性的分布和脉冲的功率谱与测量值非常接近。模糊c -均值算法适用于分割马尔可夫链模型所需参数的估计,降低了参数估计的复杂度。
{"title":"Fuzzy C-means algorithm for parameter estimation of partitioned Markov chain impulsive noise model","authors":"Fabien Sacuto, F. Labeau, B. Agba","doi":"10.1109/SmartGridComm.2013.6687982","DOIUrl":"https://doi.org/10.1109/SmartGridComm.2013.6687982","url":null,"abstract":"The partitioned Markov chain is a sample noise model that can represent impulsive noise in power substation including the time-correlation between the samples. In order to use this model, algorithms are needed to detect and to estimate the impulses characteristics, such as the duration, the samples values and the occurrence times of the impulses. Unsupervised learning of these characteristics is very complex, we propose then to use the fuzzy C-means algorithm to analyze impulses from substation measurements and to configure the partitioned Markov chain model by instantiating the transition matrix and by estimating the parameters of the Gaussian distributions associated with the Markov states. After simulating sequences of samples with our model, we noticed that the distribution of the impulsive noise characteristics and the power spectrum of the impulses are satisfyingly close to the measurements. The fuzzy C-means algorithm is appropriate to estimate the parameters required by the partitioned Markov chain model and to reduce the complexity of the parameter estimation.","PeriodicalId":136434,"journal":{"name":"2013 IEEE International Conference on Smart Grid Communications (SmartGridComm)","volume":"180 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121967125","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
A control loop approach for integrating the future decentralized power markets and grids 一种整合未来分散电力市场和电网的控制回路方法
Pub Date : 2013-12-19 DOI: 10.1109/SmartGridComm.2013.6688022
Yong Ding, M. A. Neumann, M. Budde, M. Beigl, P. Silva, Lin Zhang
We are facing a restructuring of the power industry towards a smart grid. The vision of the smart grid represents not only the creation of intelligent power supply networks to allow efficient and reliable use of energy resources, but also the redesign of the market structure coupled with it. In order to develop a smart grid-ready power market, the integration of the physical reality of the power grid into the economic market model has been set as the first requirement. To address this problem, we present a feedback control model to interconnect the physical grid and the economic market in a decoupled control loop. Our proposed control loop consists of two subsystems, namely an Optimal Power Flow (OPF)-based physical system and a Continuous Double Auction (CDA)-based economic system. A dynamic coefficient matrix generated by the Locational Marginal Pricing (LMP) algorithm is adopted for the market clearing mechanism to account for the real-time power flow and transmission constraints. Finally, we demonstrate some initial experiments for a feasibility test of the interaction between the proposed physical power system and economic power market.
我们正面临着向智能电网转型的电力行业重组。智能电网的愿景不仅代表了智能供电网络的创建,以实现能源的高效可靠使用,而且还代表了与之相结合的市场结构的重新设计。为了发展智能电网电力市场,将电网的物理现实与经济市场模型相结合是首要要求。为了解决这个问题,我们提出了一个反馈控制模型,将物理电网和经济市场连接在一个解耦的控制回路中。我们提出的控制回路由两个子系统组成,即基于最优潮流(OPF)的物理系统和基于连续双拍卖(CDA)的经济系统。市场出清机制采用由位置边际定价(LMP)算法生成的动态系数矩阵来考虑实时潮流和传输约束。最后,我们进行了一些初步实验,以验证所提出的物理电力系统与经济电力市场之间相互作用的可行性。
{"title":"A control loop approach for integrating the future decentralized power markets and grids","authors":"Yong Ding, M. A. Neumann, M. Budde, M. Beigl, P. Silva, Lin Zhang","doi":"10.1109/SmartGridComm.2013.6688022","DOIUrl":"https://doi.org/10.1109/SmartGridComm.2013.6688022","url":null,"abstract":"We are facing a restructuring of the power industry towards a smart grid. The vision of the smart grid represents not only the creation of intelligent power supply networks to allow efficient and reliable use of energy resources, but also the redesign of the market structure coupled with it. In order to develop a smart grid-ready power market, the integration of the physical reality of the power grid into the economic market model has been set as the first requirement. To address this problem, we present a feedback control model to interconnect the physical grid and the economic market in a decoupled control loop. Our proposed control loop consists of two subsystems, namely an Optimal Power Flow (OPF)-based physical system and a Continuous Double Auction (CDA)-based economic system. A dynamic coefficient matrix generated by the Locational Marginal Pricing (LMP) algorithm is adopted for the market clearing mechanism to account for the real-time power flow and transmission constraints. Finally, we demonstrate some initial experiments for a feasibility test of the interaction between the proposed physical power system and economic power market.","PeriodicalId":136434,"journal":{"name":"2013 IEEE International Conference on Smart Grid Communications (SmartGridComm)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126357847","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
Convexification of optimal power flow problem by means of phase shifters 用移相器求解最优潮流问题的凸化
Pub Date : 2013-12-19 DOI: 10.1109/SmartGridComm.2013.6688050
S. Sojoudi, J. Lavaei
This paper is concerned with the convexification of the optimal power flow (OPF) problem. We have previously shown that this highly nonconvex problem can be solved efficiently via a convex relaxation after two approximations: (i) adding a sufficient number of virtual phase shifters to the network topology, and (ii) relaxing the power balance equations to inequality constraints. The objective of the present paper is to first provide a better understanding of the implications of Approximation (i) and then remove Approximation (ii). To this end, we investigate the effect of virtual phase shifters on the feasible set of OPF by thoroughly examining a cyclic system. We then show that OPF can be convexified under only Approximation (i), provided some mild assumptions are satisfied. Although this paper mainly focuses on OPF, the results developed here can be applied to several OPF-based emerging optimization problems for future electrical grids.
本文研究了最优潮流问题的凸化问题。我们之前已经证明,这种高度非凸问题可以通过两个近似后的凸松弛有效地解决:(i)在网络拓扑中添加足够数量的虚拟移相器,以及(ii)将功率平衡方程放宽为不等式约束。本文的目的是首先更好地理解近似(i)的含义,然后去除近似(ii)。为此,我们通过彻底检查循环系统来研究虚拟移相器对OPF可行集的影响。然后,我们证明,只要满足一些温和的假设,OPF只能在近似(i)下被凸化。虽然本文主要关注的是OPF,但本文的结果可以应用于未来电网中几个基于OPF的新兴优化问题。
{"title":"Convexification of optimal power flow problem by means of phase shifters","authors":"S. Sojoudi, J. Lavaei","doi":"10.1109/SmartGridComm.2013.6688050","DOIUrl":"https://doi.org/10.1109/SmartGridComm.2013.6688050","url":null,"abstract":"This paper is concerned with the convexification of the optimal power flow (OPF) problem. We have previously shown that this highly nonconvex problem can be solved efficiently via a convex relaxation after two approximations: (i) adding a sufficient number of virtual phase shifters to the network topology, and (ii) relaxing the power balance equations to inequality constraints. The objective of the present paper is to first provide a better understanding of the implications of Approximation (i) and then remove Approximation (ii). To this end, we investigate the effect of virtual phase shifters on the feasible set of OPF by thoroughly examining a cyclic system. We then show that OPF can be convexified under only Approximation (i), provided some mild assumptions are satisfied. Although this paper mainly focuses on OPF, the results developed here can be applied to several OPF-based emerging optimization problems for future electrical grids.","PeriodicalId":136434,"journal":{"name":"2013 IEEE International Conference on Smart Grid Communications (SmartGridComm)","volume":"104 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131453256","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 21
A model of demand response energy management system in industrial facilities 工业设施需求响应能源管理系统模型
Pub Date : 2013-12-19 DOI: 10.1109/SmartGridComm.2013.6687964
Yuemin Ding, S. Hong
Demand response energy management improves the reliability of electrical grids and reduces electricity cost of consumers by shifting part of the demand from peak to off-peak demand periods. On the demand side, industrial facilities consume huge amounts of electricity, highlighting the urgent need to implement demand response energy management. In this study, we propose a general model of demand response energy management systems for industrial facilities. The model consists of model elements, model architecture, and approaches to industrial demand response. The proposed model provides a straightforward means of designing and analyzing demand response systems in industrial facilities and assists in developing standards for such systems. We also present an example of this model applied to a steel manufacturing facility.
需求响应能源管理通过将部分需求从高峰时段转移到非高峰时段,提高了电网的可靠性,降低了消费者的电力成本。在需求侧,工业设施耗电量巨大,迫切需要实施需求响应能源管理。在本研究中,我们提出了工业设施需求响应能源管理系统的一般模型。该模型由模型元素、模型体系结构和工业需求响应方法组成。所建议的模型提供了一种设计和分析工业设施需求响应系统的直接方法,并有助于为这些系统制定标准。最后给出了该模型在某钢厂的应用实例。
{"title":"A model of demand response energy management system in industrial facilities","authors":"Yuemin Ding, S. Hong","doi":"10.1109/SmartGridComm.2013.6687964","DOIUrl":"https://doi.org/10.1109/SmartGridComm.2013.6687964","url":null,"abstract":"Demand response energy management improves the reliability of electrical grids and reduces electricity cost of consumers by shifting part of the demand from peak to off-peak demand periods. On the demand side, industrial facilities consume huge amounts of electricity, highlighting the urgent need to implement demand response energy management. In this study, we propose a general model of demand response energy management systems for industrial facilities. The model consists of model elements, model architecture, and approaches to industrial demand response. The proposed model provides a straightforward means of designing and analyzing demand response systems in industrial facilities and assists in developing standards for such systems. We also present an example of this model applied to a steel manufacturing facility.","PeriodicalId":136434,"journal":{"name":"2013 IEEE International Conference on Smart Grid Communications (SmartGridComm)","volume":"95 Suppl 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127534266","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 32
Modeling economic interactions between microgrids and electric utilities: A regulator's perspective 模拟微电网和电力公司之间的经济互动:监管者的观点
Pub Date : 2013-12-19 DOI: 10.1109/SmartGridComm.2013.6688011
C. L. Prete, B. Hobbs
This paper considers the potential development of a microgrid in a market served by a vertically integrated electric utility, regulated based on cost of service. The interaction among the utility, the microgrid developer and consumers potentially representing the microgrid's load is assessed in the framework of cooperative game theory, assuming exchangeable utility. We present scenarios based on different underlying assumptions, showing when microgrid development might be beneficial and how it would affect market prices, costs and benefits to the various parties in the network. We also discuss possible regulatory tools that could be used to align private objectives with social welfare maximization.
本文考虑了微电网在由垂直整合的电力公司服务的市场中的潜在发展,该市场基于服务成本进行监管。在合作博弈论的框架下,假设可交换效用,评估了公用事业公司、微电网开发商和潜在代表微电网负荷的消费者之间的相互作用。我们提出了基于不同基本假设的情景,展示了微电网发展何时可能是有益的,以及它将如何影响市场价格、成本和网络各方的利益。我们还讨论了可用于使私人目标与社会福利最大化相一致的可能的监管工具。
{"title":"Modeling economic interactions between microgrids and electric utilities: A regulator's perspective","authors":"C. L. Prete, B. Hobbs","doi":"10.1109/SmartGridComm.2013.6688011","DOIUrl":"https://doi.org/10.1109/SmartGridComm.2013.6688011","url":null,"abstract":"This paper considers the potential development of a microgrid in a market served by a vertically integrated electric utility, regulated based on cost of service. The interaction among the utility, the microgrid developer and consumers potentially representing the microgrid's load is assessed in the framework of cooperative game theory, assuming exchangeable utility. We present scenarios based on different underlying assumptions, showing when microgrid development might be beneficial and how it would affect market prices, costs and benefits to the various parties in the network. We also discuss possible regulatory tools that could be used to align private objectives with social welfare maximization.","PeriodicalId":136434,"journal":{"name":"2013 IEEE International Conference on Smart Grid Communications (SmartGridComm)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134143834","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Optimal demand response in DC distribution networks 直流配电网的最优需求响应
Pub Date : 2013-12-19 DOI: 10.1109/SmartGridComm.2013.6688018
Hamed Mohsenian Rad, A. Davoudi
Direct current (DC) power systems have recently been proposed as a promising technology for distribution networks and microgrids. By eliminating unnecessary conversion stages, DC distribution systems can enable seamless integration of natively DC devices such as photovoltaic cells and batteries. Moreover, using DC technologies can overcome several disadvantages of alternating current (AC) distribution systems, such as synchronization requirements, reactive power compensation, and harmonics. Therefore, in this paper, we take the first steps towards designing demand response programs for DC distribution networks. We seek to adjust the internal parameters of various power electronics loads to assure reliable and efficient operation of the DC distribution system. In this regard, we first present an optimization-based foundation for demand response in DC distribution networks. Then, we devise a pricing mechanism to enforce optimal demand response in a distributed fashion. Simulation results are presented to assess the performance and to gain insights into the proposed demand-response paradigm.
直流(DC)电力系统近年来被认为是一种很有前途的配电网和微电网技术。通过消除不必要的转换阶段,直流配电系统可以实现本地直流设备(如光伏电池和电池)的无缝集成。此外,使用直流技术可以克服交流(AC)配电系统的几个缺点,如同步要求、无功补偿和谐波。因此,在本文中,我们为设计直流配电网的需求响应方案迈出了第一步。通过调整各种电力电子负载的内部参数,保证直流配电系统的可靠、高效运行。在这方面,我们首先提出了一个基于优化的直流配电网络需求响应基础。然后,我们设计了一种定价机制,以分布式方式强制执行最优需求响应。模拟结果提出,以评估性能,并获得洞察提出的需求-响应范式。
{"title":"Optimal demand response in DC distribution networks","authors":"Hamed Mohsenian Rad, A. Davoudi","doi":"10.1109/SmartGridComm.2013.6688018","DOIUrl":"https://doi.org/10.1109/SmartGridComm.2013.6688018","url":null,"abstract":"Direct current (DC) power systems have recently been proposed as a promising technology for distribution networks and microgrids. By eliminating unnecessary conversion stages, DC distribution systems can enable seamless integration of natively DC devices such as photovoltaic cells and batteries. Moreover, using DC technologies can overcome several disadvantages of alternating current (AC) distribution systems, such as synchronization requirements, reactive power compensation, and harmonics. Therefore, in this paper, we take the first steps towards designing demand response programs for DC distribution networks. We seek to adjust the internal parameters of various power electronics loads to assure reliable and efficient operation of the DC distribution system. In this regard, we first present an optimization-based foundation for demand response in DC distribution networks. Then, we devise a pricing mechanism to enforce optimal demand response in a distributed fashion. Simulation results are presented to assess the performance and to gain insights into the proposed demand-response paradigm.","PeriodicalId":136434,"journal":{"name":"2013 IEEE International Conference on Smart Grid Communications (SmartGridComm)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129041433","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 15
Confidentiality-preserving obfuscation for cloud-based power system contingency analysis 基于云的电力系统应急分析保密性混淆
Pub Date : 2013-12-19 DOI: 10.1109/SmartGridComm.2013.6687996
O. Vukovic, G. Dán, R. Bobba
Power system operators are looking to adopt and migrate to cloud technologies and third-party cloud services for customer facing and enterprise IT applications. Security and reliability are major barriers for adopting cloud technologies and services for power system operational applications. In this work we focus on the use of cloud computing for Contingency Analysis and propose an approach to obfuscate information regarding power flows and the presence of a contingency violation while allowing the operator to analyze contingencies with the needed accuracy in the cloud. Our empirical evaluation shows, that the errors introduced into power flows due to the obfuscation approach are small, and that the RMS errors introduced grow linearly with the magnitude of obfuscation.
电力系统运营商正在寻求采用并迁移到云技术和第三方云服务,以面向客户和企业IT应用。安全性和可靠性是电力系统运行应用采用云技术和服务的主要障碍。在这项工作中,我们专注于使用云计算进行应急分析,并提出了一种方法来混淆有关潮流和应急违规的信息,同时允许操作员在云中以所需的精度分析应急。我们的经验评估表明,由于混淆方法引入的功率流误差很小,并且引入的均方根误差随混淆程度线性增长。
{"title":"Confidentiality-preserving obfuscation for cloud-based power system contingency analysis","authors":"O. Vukovic, G. Dán, R. Bobba","doi":"10.1109/SmartGridComm.2013.6687996","DOIUrl":"https://doi.org/10.1109/SmartGridComm.2013.6687996","url":null,"abstract":"Power system operators are looking to adopt and migrate to cloud technologies and third-party cloud services for customer facing and enterprise IT applications. Security and reliability are major barriers for adopting cloud technologies and services for power system operational applications. In this work we focus on the use of cloud computing for Contingency Analysis and propose an approach to obfuscate information regarding power flows and the presence of a contingency violation while allowing the operator to analyze contingencies with the needed accuracy in the cloud. Our empirical evaluation shows, that the errors introduced into power flows due to the obfuscation approach are small, and that the RMS errors introduced grow linearly with the magnitude of obfuscation.","PeriodicalId":136434,"journal":{"name":"2013 IEEE International Conference on Smart Grid Communications (SmartGridComm)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129097301","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
Formal design of communication checkers for ICCP using UPPAAL 基于UPPAAL的ICCP通信检查器的形式化设计
Pub Date : 2013-12-19 DOI: 10.1109/SmartGridComm.2013.6688005
Muhammad Salman Malik, R. Berthier, R. Bobba, R. Campbell, W. Sanders
Vulnerabilities in key communication protocols that drive the daily operations of the power grid may lead to exploits that could potentially disrupt its safety-critical operation and may result in loss of power, consequent financial losses, and disruption of crucial power-dependent services. This paper focuses on the Inter Control Center Communications Protocol, (ICCP), which is the protocol used among control centers for data exchange and control. We discuss use of UPPAAL in formal modeling of portions of ICCP. Specifically, we present an iterative process and framework for the design and formal verification of tailored checking mechanisms that protect resource-exhaustion vulnerabilities in the protocol standard from attacks and exploits. We discuss insights we gained and lessons we learned when modeling the protocol functionalities and running the UPPAAL model checker to prove critical security and safety properties, and we discuss the overall success of this approach.
驱动电网日常运行的关键通信协议中的漏洞可能导致潜在破坏其安全关键操作的攻击,并可能导致电力损失,随之而来的经济损失以及关键电力依赖服务的中断。控制中心间通信协议(ICCP)是控制中心间用于数据交换和控制的协议。我们讨论了UPPAAL在ICCP部分的形式化建模中的使用。具体来说,我们提出了一个迭代过程和框架,用于设计和正式验证定制的检查机制,以保护协议标准中的资源耗尽漏洞免受攻击和利用。我们将讨论在对协议功能建模和运行UPPAAL模型检查器以证明关键的安全性和安全性属性时获得的见解和经验教训,并讨论该方法的总体成功。
{"title":"Formal design of communication checkers for ICCP using UPPAAL","authors":"Muhammad Salman Malik, R. Berthier, R. Bobba, R. Campbell, W. Sanders","doi":"10.1109/SmartGridComm.2013.6688005","DOIUrl":"https://doi.org/10.1109/SmartGridComm.2013.6688005","url":null,"abstract":"Vulnerabilities in key communication protocols that drive the daily operations of the power grid may lead to exploits that could potentially disrupt its safety-critical operation and may result in loss of power, consequent financial losses, and disruption of crucial power-dependent services. This paper focuses on the Inter Control Center Communications Protocol, (ICCP), which is the protocol used among control centers for data exchange and control. We discuss use of UPPAAL in formal modeling of portions of ICCP. Specifically, we present an iterative process and framework for the design and formal verification of tailored checking mechanisms that protect resource-exhaustion vulnerabilities in the protocol standard from attacks and exploits. We discuss insights we gained and lessons we learned when modeling the protocol functionalities and running the UPPAAL model checker to prove critical security and safety properties, and we discuss the overall success of this approach.","PeriodicalId":136434,"journal":{"name":"2013 IEEE International Conference on Smart Grid Communications (SmartGridComm)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125599006","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Dynamic price optimization models for managing time-of-day electricity usage 动态价格优化模型,用于管理一天中的用电时间
Pub Date : 2013-12-19 DOI: 10.1109/SmartGridComm.2013.6687951
Shivaram Subramanian, Soumyadip Ghosh, J. Hosking, R. Natarajan, Xiaoxuan Zhang
We present a day-ahead price-optimization based approach for an electric utility to proactively manage the intra-day residential electricity load profile, using dynamic-pricing incentives within a smart grid framework. A novel aspect of our approach is the ability to predict the customer response to price incentives that are designed to induce shifts in the electricity usage from the peak to the off-peak time periods of the daily residential load cycle. A Multinomial Logit (MNL) consumer-choice model is used for estimating the magnitudes of these intra-day hourly loads. The resulting nonlinear optimization problem for the specified profit and capacity-utilization objectives is solved using a series of transformations, which include the reformulation-linearization technique (RLT), to obtain a Mixed-Integer Programming (MIP) model. Using a piecewise-linear cost structure for satisfying electricity demand, we subsequently derive a set of valid inequalities to effectively tighten the underlying relaxation of this MIP. The proposed optimization methodology can also incorporate various regulatory and customer bill-protection constraints. Our model calibration and computational analysis using a real-world data set indicates that the proposed predictive-control methodology can be incorporated into a practical decision support tool to manage the time-of-day electricity demand in order to achieve the desired objectives.
我们提出了一种基于日前价格优化的方法,用于电力公司主动管理日间住宅用电负荷概况,在智能电网框架内使用动态定价激励。我们方法的一个新颖方面是能够预测客户对价格激励的反应,这些价格激励旨在诱导每日住宅负荷周期中从高峰到非高峰时段的电力使用变化。使用多项Logit (MNL)消费者选择模型来估计这些白天每小时负荷的大小。利用包括重新表述线性化技术(RLT)在内的一系列变换,求解了给定利润和产能利用目标下的非线性优化问题,得到了混合整数规划(MIP)模型。利用满足电力需求的分段线性成本结构,我们推导了一组有效的不等式,以有效地收紧该MIP的潜在松弛。所提出的优化方法还可以纳入各种监管和客户账单保护约束。我们的模型校准和使用真实数据集的计算分析表明,所提出的预测控制方法可以纳入实际的决策支持工具,以管理每天的电力需求,以实现预期的目标。
{"title":"Dynamic price optimization models for managing time-of-day electricity usage","authors":"Shivaram Subramanian, Soumyadip Ghosh, J. Hosking, R. Natarajan, Xiaoxuan Zhang","doi":"10.1109/SmartGridComm.2013.6687951","DOIUrl":"https://doi.org/10.1109/SmartGridComm.2013.6687951","url":null,"abstract":"We present a day-ahead price-optimization based approach for an electric utility to proactively manage the intra-day residential electricity load profile, using dynamic-pricing incentives within a smart grid framework. A novel aspect of our approach is the ability to predict the customer response to price incentives that are designed to induce shifts in the electricity usage from the peak to the off-peak time periods of the daily residential load cycle. A Multinomial Logit (MNL) consumer-choice model is used for estimating the magnitudes of these intra-day hourly loads. The resulting nonlinear optimization problem for the specified profit and capacity-utilization objectives is solved using a series of transformations, which include the reformulation-linearization technique (RLT), to obtain a Mixed-Integer Programming (MIP) model. Using a piecewise-linear cost structure for satisfying electricity demand, we subsequently derive a set of valid inequalities to effectively tighten the underlying relaxation of this MIP. The proposed optimization methodology can also incorporate various regulatory and customer bill-protection constraints. Our model calibration and computational analysis using a real-world data set indicates that the proposed predictive-control methodology can be incorporated into a practical decision support tool to manage the time-of-day electricity demand in order to achieve the desired objectives.","PeriodicalId":136434,"journal":{"name":"2013 IEEE International Conference on Smart Grid Communications (SmartGridComm)","volume":"106 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122624283","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
On measurement unit placement for smart electrical grid fault localization 智能电网故障定位中测量单元的放置
Pub Date : 2013-12-19 DOI: 10.1109/SmartGridComm.2013.6687937
Mashud Hyder, K. Mahata
The use of conventional power flow measurements along with the phasor measurements from newly developed PMUs help us to achieve a cost effective solution for fault localization in power transmission network. However, the development of a methodology for the joint optimal placement of PMUs and power flow units in a transmission network is challenging. To this aim, we have proposed an optimization problem which can be solved using integer linear programming (ILP) implementation. We found that under mild assumptions we can develop a linear mathematical equation for fault localization by using the data from measurement units. The performance is evaluated by applying it for fault detection in IEEE bus systems.
使用传统的潮流测量以及新开发的pmu的相量测量有助于我们实现输电网络故障定位的经济有效的解决方案。然而,在输电网络中开发一种pmu和潮流单元联合优化配置的方法是具有挑战性的。为此,我们提出了一个可以用整数线性规划(ILP)实现来解决的优化问题。我们发现,在温和的假设下,我们可以利用测量单元的数据建立故障定位的线性数学方程。将该方法应用于IEEE总线系统的故障检测,对其性能进行了评价。
{"title":"On measurement unit placement for smart electrical grid fault localization","authors":"Mashud Hyder, K. Mahata","doi":"10.1109/SmartGridComm.2013.6687937","DOIUrl":"https://doi.org/10.1109/SmartGridComm.2013.6687937","url":null,"abstract":"The use of conventional power flow measurements along with the phasor measurements from newly developed PMUs help us to achieve a cost effective solution for fault localization in power transmission network. However, the development of a methodology for the joint optimal placement of PMUs and power flow units in a transmission network is challenging. To this aim, we have proposed an optimization problem which can be solved using integer linear programming (ILP) implementation. We found that under mild assumptions we can develop a linear mathematical equation for fault localization by using the data from measurement units. The performance is evaluated by applying it for fault detection in IEEE bus systems.","PeriodicalId":136434,"journal":{"name":"2013 IEEE International Conference on Smart Grid Communications (SmartGridComm)","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114121238","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
2013 IEEE International Conference on Smart Grid Communications (SmartGridComm)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1