2017 · 19 citations · 12 references
EngineeringComputer EngineeringElectrical EngineeringCritical Infrastructure ProtectionFormal MethodsGrid ComputingGraph AlgorithmsPower Grid AnalysisPower SystemsSmart Grid SystemsSmart GridsAlgebraic Graph TheoryEffective ResistanceGraph SparsificationPower Delivery Network DesignPower Grid DesignPower IntegritySpectral Graph TheoryWorst-case Scenario
Vectorless integrity verification is becoming increasingly critical to robust design of nanoscale power delivery networks (PDNs). To dramatically improve efficiency and capability of vectorless integrity verifications, this paper introduces a scalable multilevel integrity verification framework by leveraging a hierarchy of almost linear-sized spectral power grid sparsifiers that can well retain effective resistances between nodes, as well as a recent graph-theoretic algebraic multigrid (AMG) algorithmic framework. As a result, vectorless integrity verification solution obtained on coarse level problems can effectively help find the solution of the original problem. Extensive experimental results show that the proposed vectorless verification framework can always efficiently and accurately obtain worst-case scenarios in even very large power grid designs.
12
Spectral Sparsification of Graphs
Daniel A. Spielman, Shang‐Hua Teng · SIAM Journal on Computing · 2011 · 402 citations
Graph sparsification by effective resistances
Daniel A. Spielman, Nikhil Srivastava · 2008 · 251 citations
Spectral sparsification of graphs
Joshua Batson, Daniel A. Spielman, Nikhil Srivastava et al. · Communications of the ACM · 2013 · 159 citations