×
叶希亚·阿卜杜·阿勒拉赫曼;雨果·托雷斯·维埃拉

一种用于电网运行控制的协调协议语言。 （英语） 兹比尔1435.68332

J.日志。阿尔盖布。方法计划。 109，文章ID 100487，32 p.（2019）.
概要：未来的配电网将由大量组件组成，每个组件都有可能自主运行。显然，为了确保电网的安全运行，各个操作必须在不同组件之间进行协调。由于操作安全是一个全局属性，因此建模组件协调通常涉及全局级的系统推理。在本文中，我们提出了一种从全局角度指定网格操作控制协议的语言。在我们的模型中，操作控制是在由网格拓扑和基于状态的信息驱动的通信中产生的，这些信息是由以前未探索的新语言原则捕获的特征。我们展示了如何使用全局规范自动生成单个组件的本地控制器，以及此类控制器生成的分布式实现在操作上与全局规范相对应。我们通过模拟电网中的故障管理场景来展示我们的开发。

MSC公司：

68T42型 Agent技术与人工智能
60年第68季度 规范和验证（程序逻辑、模型检查等）
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
90B10型 运筹学中的确定性网络模型
93B70型 网络控制

关键词：

电网;交互协议;进程演算

软件：

埃尔朗
PDF格式BibTeX公司 XML格式引用
\textit{Y.Abd Alrahman}和\textit{H.Torres Vieira}，J.Log。阿尔盖布。方法程序。109，文章ID 100487，32 p.（2019；Zbl 1435.68332）
全文： 内政部

参考文献：

[1] 阿明，S.M。；沃伦伯格，B.F.，《走向智能电网：21世纪的电力输送》，IEEE power Energy Mag.，3，5，34-41（2005）
[2] 安德烈，F。；斯特拉瑟，T。；Kastner，W.，《迈向智能电网自动化的通用建模方法》（IECON 2013-IEEE工业电子学会第39届年会（2013）），5340-5346
[3] 智能电网：欧洲未来电力网络的愿景和战略
[4] 智能电网，21世纪的智能电源
[5] 韩，X。；Heussen，K。；盖尔克，O。；宾德纳，H.W。；Kroposki，B.，《分布式能源分布式控制策略评估的分类学》，IEEE Trans。智能电网，9，5，5185-5195（2018）
[6] 斯特拉瑟，T.I。；安德烈，F。；Kathan，J。；Cecati，C。；布氏杆菌，C。；Siano，P。；莱托，P。；Zhabelova，G。；维亚特金，V。；Vrba，P。；Marík，V.，《未来电能系统智能架构和概念综述》，IEEE Trans。Ind.Electron公司。，62, 4, 2424-2438 (2015)
[7] 张伟。；刘，W。；王，X。；刘，L。；Ferrese，F.T.，基于分布式多代理系统的智能电网在线最优无功控制，IEEE Trans。智能电网，5，5，2421-2431（2014）
[8] Vrba，P。；弗吉尼亚州玛丽克。；Siano，P。；莱托，P。；Zhabelova，G。；维亚特金，V。；Strasser，T.I.，智能能源系统中应用的代理和面向服务概念综述，IEEE Trans。Ind.通知。，10, 3, 1890-1903 (2014)
[9] Ciancamerla，E。；米尼奇诺，M。；马萨诸塞州福尔沃。；Martirano，L.，《有源配电网：用于能源性能分析的Matlab-simulink工具》，（2016年AEIT国际年会，2016年AEID国际年会），1-5
[10] 斯坦林克，C。；Lehnhoff，S.公司。；Rohjans，S。；斯特拉瑟，T.I。；Widl，E。；莫约，C。；劳斯·G。；Lehfuss，F。；法昌，M。；Palensky，P。；van der Meer，A.A。；Heussen，K。；盖尔克，O。；Guillo-Sansano，E。；Syed，M.H。；Emhemed，A。；Brandl，R。；Nguyen，V.H。；Khavari，A.M。；Tran，Q.T。；Kotsampopoulos，P。；Hatziargyriou，N.D。；Akroud，北卡罗来纳州。；Rikos，E。；Degefa，M.Z.，基于仿真的智能电网验证——现状和未来研究趋势， （Holonic和多智能体系统的工业应用-第八届国际会议。Holonic and Multi-Agent Systems的工业应用–第八届世界会议，HoloMAS 2017，会议记录。Holonics and Multi-Agent Systems的工业化应用–第8届国际会议，Holonic与Multi-Age的工业应用nt Systems-第八届国际会议，HoloMAS 2017，会议记录，LNCS，第10444卷（2017），Springer），171-185
[11] Brandl，R。；Kotsampopoulos，P。；劳斯·G。；马尼亚托普洛斯，M。；努施克，M。；蒙托亚，J。；斯特拉瑟，T.I。；Strauss-Mincu，D.，支持智能电网系统和技术验证的高级测试链，（2018年IEEE工程复杂性研讨会。2018年IEEE-工程复杂性研讨会，2018年COMPENG，2018年，意大利佛罗伦萨，2018年10月10日至12日，IEEE），1-6
[12] Barbato，A。；Capone，A。；Chen，L。；Martignon，F。；Paris，S.，智能电网分布式需求端管理框架，Compute。社区。，57, 13-24 (2015)
[13] 西图沙尔。；Chai，B。；袁，C。；D.B.史密斯。；伍德，K.L。；杨，Z。；Poor，H.V.，智能电网中分布式能源的三方能源管理，IEEE Trans。Ind.Electron公司。，62, 4, 2487-2498 (2015)
[14] 帕帕达斯卡洛普洛斯，D。；Pudjianto，D。；Strbac，G.，《具有灵活需求和储能的微电网分散协调》，IEEE Trans。维持。能源，5，4，1406-1414（2014）
[15] Dall'Anese，E。；Dhople，S.V.公司。；约翰逊，B.B。；Giannakis，G.B.，《住宅配电系统中光伏逆变器的分散优化调度》，IEEE Trans。能量转换。，29, 4, 957-967 (2014)
[16] 亚兹达尼安，M。；Mehrizi-Sani，A.，《微电网中的分布式控制技术》，IEEE Trans。智能电网，5，6，2901-2909（2014）
[17] von Appen，J。；斯特茨，T。；布朗，M。；Schmiegel，A.，配电网光伏存储系统的本地电压控制策略，IEEE Trans。智能电网，5，2，1002-1009（2014）
[18] 开斋节，B.M。；拉希姆，N.A。；Selvaraj，J。；Khateb，A.H.E.，《微电网中电子耦合分布式能源的控制方法和目标：综述》，IEEE系统。J.，10，2，446-458（2016）
[19] 洛佩兹，H.A。；Heussen，K.，为能源部门编排网络物理分布式控制系统，（第32届ACM SIGAPP应用计算研讨会论文集。第32届ACM SIGAPP应用计算研讨会论文集，SAC 2017（2017），ACM），437-443
[20] Carbone，M。；本田，K。；Yoshida，N.，以结构化通信为中心的web服务编程，ACM Trans。程序。语言系统。，34，2，第8条pp.（2012）
[21] Carbone，M。；Montesi，F.，Deadlock-freedom-by-design:multiparty asynchronous global programming，（第40届ACM SIGPLAN-SIGACT编程语言原理研讨会。第40届美国计算机学会SIGPLAN-SIGACT程序语言原理研讨会，POPL 2013（2013），美国计算机学会），263-274·Zbl 1301.68097号
[22] 洛佩兹，H.A。；尼尔森，F。；Nielson，H.R.，《加强故障软件通信系统的可用性》， （分布式对象、组件和系统的形式化技术——第36届IFIP工作组6.1国际会议。分布式对象、部件和系统的格式化技术——2016年FORTE第36届国际会议，会议记录。分布式对象，组件和系统形式化技术：第36届IPWG 6.1国际会议会议。分布式对象、组件和系统的形式化技术-第36届IFIP WG 6.1国际会议，FORTE 2016，Proceedings，LNCS，vol.9688（2016），Springer），195-211·Zbl 1347.68060号
[23] Kouveliotis-Lyskatos，I.N。；库库拉，D。；Hatziargyriou，N.D.，《有源配电网的双层全分布式电压控制方法》，IEEE Trans。智能电网，10，2，1465-1476（2019）
[24] 轩尼诗，M。；Rathke，J.，广播系统演算的互模拟，Theor。计算。科学。，200, 1-2, 225-260 (1998) ·Zbl 0915.68065号
[25] Alrahman，Y.A。；德尼古拉，R。；Loreti，M.，《集合自适应系统的微积分及其行为理论》，Inf.Comput。，第104457条pp.（2019）·Zbl 1430.68158号
[26] Khamespanah，E。；Sirjani，M。；Mechitov，K。；Agha，G.，《使用参与者和模型检查对实时无线传感器和执行器网络进行建模和分析》，Int.J.Softw。技术工具。传输。，20, 5, 547-561 (2018)
[27] 本田，K。；吉田，N。；Carbone，M.，多方异步会话类型，J.ACM，63，1，第9条pp.（2016）·Zbl 1426.68047号
[28] 克鲁兹·菲利佩，L。；Montesi，F.，程序性舞蹈编程， （分布式对象、组件和系统的形式化技术-第37届IFIP WG 6.1国际会议。分布式对象、组件和系统的形式化技术-第37届IFIP WG 6.1国际会议，FORTE 2017，Proceedings。分布式对象、组件和系统的形式化技术-第37届IFIP WG 6.1国际会议会议。分布式对象、组件和系统的形式化技术——第37届IFIP WG 6.1国际会议，FORTE 2017，LNCS，第10321卷（2017），Springer），92-107·Zbl 1489.68051号
[29] Hüttel，H。；拉内斯，我。；Vasconselos，V.T。；Caires，L。；Carbone，M。；Deniélou，P。；Mostrous，D。；帕多瓦尼，L。；拉瓦拉，A。；Tuosto，E。；维埃拉，H.T。；Zavattaro，G.，会话类型和行为契约基础，ACM Comput。调查。，49，1，第3条pp.（2016）
[30] Caires，L。；Vieira，H.T.，会话类型，Theor。计算。科学。，411, 51-52, 4399-4440 (2010) ·Zbl 1207.68222号
[31] 巴尔塔扎尔，P。；Caires，L。；Vasconselos，V.T。；Vieira，H.T.，《多方通信系统中灵活角色分配的一种类型系统》，（《值得信赖的全球计算——第七届国际研讨会》，TGC 2012年，修订论文集。《值得信任的全球计算：第七届国际研讨会》，2012年，《修订论文集》，LNCS，第8191卷（2012），Springer），82-96
[32] Deniélou，P。；Yoshida，N.，动态多角色会话类型，（第38届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。第38届APM SIGPLAN SIGACT程序设计语言原理研讨会文献集，POPL 2011（2011），ACM），435-446·兹比尔1284.68049
[33] Alrahman，Y.A。；德尼古拉，R。；洛雷蒂，M。；Tiezzi，F。；Vigo，R.，《基于属性的通信演算》，（第30届ACM SIGAPP应用计算研讨会论文集。第30届AC M SIGAPP应用计算研讨会文献集，SAC 2015（2015），ACM），1840-1845
[34] 维埃拉，H.T。；Caires，L。；Seco，J.C.，对话演算：面向服务的计算模型， （《编程语言和系统》，第17届欧洲编程研讨会。《编程语言与系统》，欧洲第17届编程研讨会，ESOP 2008，程序设计语言与系统，第17次欧洲编程研讨会，编程语言与体系，第17次欧洲编程研讨会，2008年ESOP，程序设计，LNCS，第4960卷（2008），施普林格），269-283·Zbl 1133.68388号
[35] 库索特，P。；库索特，R.，《抽象解释：通过构造或逼近不动点对程序进行静态分析的统一格模型》，（第四届美国计算机学会编程语言原理研讨会会议记录。第四届澳大利亚计算机学会编程语言原理研讨会会议纪录，POPL 1977（1977），美国计算机学会），238-252
[36] 库索特，P。；库索特，R.，《程序分析框架的系统设计》，（第六届美国计算机学会程序设计语言原理研讨会会议记录，第六届全美计算机学会程序语言原理研讨会的会议记录，POPL 1979（1979），美国计算机学会出版社），269-282
[37] Agha，G.A.，ACTORS-分布式系统中并发计算模型，麻省理工学院人工智能系列丛书（1990），麻省理工学院出版社
[38] Callsen，C.J。；Agha，G.，参与者空间中的开放异构计算，J.并行分布计算。，21, 3, 289-300 (1994)
[39] Armstrong，J.，《编程Erlang:并发世界的软件》，实用书架（2007）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。