Node Failure Localization: Theorem Proof
Networking and Internet Architecture
2020-12-18 v1
Abstract
This is a technical report, containing all the theorem proofs in paper "On Optimal Monitor Placement for Localizing Node Failures via Network Tomography" by Liang Ma, Ting He, Ananthram Swami, Don Towsley, and Kin K. Leung, published in IFIP WG 7.3 Performance, 2015.
Cite
@article{arxiv.2012.09381,
title = {Node Failure Localization: Theorem Proof},
author = {Liang Ma and Ting He and Ananthram Swami and Don Towsley and Kin K. Leung},
journal= {arXiv preprint arXiv:2012.09381},
year = {2020}
}
Related papers
View all related →
Networking and Internet Architecture · Computer Science
Fundamental Theories in Node Failure Localization
Liang Ma, Ting He, Ananthram Swami, Don Towsley +2
2020-12-28
Networking and Internet Architecture · Computer Science
Failure Localization Capability: Theorem Proof and Evaluation
Liang Ma, Ting He, Ananthram Swami, Don Towsley +1
2020-12-29
Networking and Internet Architecture · Computer Science
Partial Network Identifiability: Theorem Proof and Evaluation
Liang Ma, Ting He, Kin K. Leung, Ananthram Swami +1
2020-12-22
Networking and Internet Architecture · Computer Science
Link Identifiability with Two Monitors: Proof of Selected Theorems
Liang Ma, Ting He, Kin K. Leung, Ananthram Swami +1
2020-12-29
Networking and Internet Architecture · Computer Science
Efficient Identification of Additive Link Metrics: Theorem Proof and Evaluations
Liang Ma, Ting He, Kin K. Leung, Don Towsley +1
2020-12-23
Networking and Internet Architecture · Computer Science
Identification of Additive Link Metrics: Proof of Selected Theorems
Liang Ma, Ting He, Kin K. Leung, Ananthram Swami +1
2020-12-24
Networking and Internet Architecture · Computer Science
Node Failure Localisation Problem for Load Balancing Dynamic Networks
Ashley Barnes, Matthew Hole
2021-12-20
Networking and Internet Architecture · Computer Science
Static and Dynamic Failure Localization through Progressive Network Tomography
Viviana Arrigoni, Novella Bartolini, Annalisa Massini, Federico Trombetti
2021-04-01
Networking and Internet Architecture · Computer Science
Additive Link Metrics Identification: Proof of Selected Lemmas and Propositions
Liang Ma, Ting He, Kin K. Leung, Don Towsley +1
2021-01-05
Networking and Internet Architecture · Computer Science
Network Capability in Localizing Node Failures via End-to-end Path Measurements
Liang Ma, Ting He, Ananthram Swami, Don Towsley +1
2015-09-22
Probability · Mathematics
Factorization of network reliability with perfect nodes I: Introduction and statements
Juan Manuel Burgos, Franco Robledo
2016-03-22
Networking and Internet Architecture · Computer Science
A Non-intrusive Failure Prediction Mechanism for Deployed Optical Networks
Dibakar Das, Mohammad Fahad Imteyaz, Jyotsna Bapat, Debabrata Das
2021-01-19
Networking and Internet Architecture · Computer Science
On Fundamental Bounds of Failure Identifiability by Boolean Network Tomography
Novella Bartolini, Ting He, Viviana Arrigoni, Annalisa Massini +1
2019-03-27
Neural and Evolutionary Computing · Computer Science
Application and Verification of Algorithm Learning Based Neural Network
Rizwana Kalsoom, Moomal Qureshi
2015-02-27
Systems and Control · Electrical Eng. & Systems
Angle-Displacement Rigidity Theory with Application to Distributed Network Localization
Xu Fang, Xiaolei Li, Lihua Xie
2023-12-20
Systems and Control · Computer Science
Comment on `Detecting Topology Variations in Networks of Linear Dynamical Systems'
Sandip Roy, Mengran Xue
2018-10-08
Systems and Control · Electrical Eng. & Systems
On well-posedness of the leak localization problem in parallel pipe networks
Victor Molnö, Henrik Sandberg
2024-03-18
Computation · Statistics
A Computational Theory of Robust Localization Verifiability in the Presence of Pure Outlier Measurements
Mahroo Bahreinian, Roberto Tron
2019-10-15
Networking and Internet Architecture · Computer Science
Indoor Positioning with Wi-Fi Location: A Survey of IEEE 802.11mc/az/bk Fine Timing Measurement Research
Katarzyna Kosek-Szott, Szymon Szott, Wojciech Ciezobka, Maksymilian Wojnar +2
2025-09-05
Networking and Internet Architecture · Computer Science
Beacon Node Placement for Minimal Localization Error
Zimu Yuan, Wei Li, Zhiwei Xu, Wei Zhao
2015-03-31
Combinatorics · Mathematics
New proof of a Theorem on k-hypertournament losing scores
S. Pirzada, Zhou Guofei
2007-05-23
Information Theory · Computer Science
An Information Theoretic Location Verification System for Wireless Networks
Shihao Yan, Robert Malaney, Ido Nevat, Gareth W. Peters
2014-01-22
Signal Processing · Electrical Eng. & Systems
Sensor Placement for Learning in Flow Networks
Arnav Burudgunte, Arlei Silva
2024-01-08
Machine Learning · Computer Science
NetRCA: An Effective Network Fault Cause Localization Algorithm
Chaoli Zhang, Zhiqiang Zhou, Yingying Zhang, Linxiao Yang +3
2022-03-08
Information Theory · Computer Science
Technical Report with Proofs for A Full Picture in Conformance Checking: Efficiently Summarizing All Optimal Alignments
Philipp Bär, Moe T. Wynn, Sander J. J. Leemans
2025-06-13