Impact of Stealthy Attacks on Optimal Power Flow: A Simulink-Driven Formal Analysis
Impact of Stealthy Attacks on Optimal Power Flow: A Simulink-Driven Formal Analysis
复制标题
隐形攻击对最佳潮流的影响：Simulink 驱动的形式分析
DOI：
10.1109/tdsc.2018.2806969
复制
发表时间：
2018
影响因子：
7.3
通讯作者：
Datta, Amarjit
中科院分区：
文献类型：
--
作者：
Rahman, Mohammad Ashiqur;Datta, Amarjit
网络拓扑处理
DOI：
--
发表时间：
1999
期刊：
影响因子：
--
作者：
A. Monticelli
通讯作者：
A. Monticelli
通过定理证明对控制系统的属性进行形式化验证
DOI：
10.1109/control.2014.6915147
发表时间：
2014
期刊：
--
影响因子：
--
作者：
Araiza-Illan D
通讯作者：
Araiza-Illan D
SimCheck：Simulink 的合约类型系统
影响因子：
1.2
作者：
Pritam Roy;N. Shankar
通讯作者：
N. Shankar