Strategic and analytics-driven inspection operations for critical infrastructure resilience
Thesis: Ph. D. in Civil Engineering and Computation, Massachusetts Institute of Technology, Department of Civil and Environmental Engineering, 2019 === Cataloged from PDF version of thesis. === Includes bibliographical references (pages 213-221). === Resilience of infrastructure networks is a key re...
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Language: | English |
Published: |
Massachusetts Institute of Technology
2019
|
Subjects: | |
Online Access: | https://hdl.handle.net/1721.1/123226 |
id |
ndltd-MIT-oai-dspace.mit.edu-1721.1-123226 |
---|---|
record_format |
oai_dc |
collection |
NDLTD |
language |
English |
format |
Others
|
sources |
NDLTD |
topic |
Civil and Environmental Engineering. |
spellingShingle |
Civil and Environmental Engineering. Dahan, Mathieu. Strategic and analytics-driven inspection operations for critical infrastructure resilience |
description |
Thesis: Ph. D. in Civil Engineering and Computation, Massachusetts Institute of Technology, Department of Civil and Environmental Engineering, 2019 === Cataloged from PDF version of thesis. === Includes bibliographical references (pages 213-221). === Resilience of infrastructure networks is a key requirement for a functioning modern society. These networks work continuously to enable the delivery of critical services such as water, natural gas, and transportation. However, recent natural disasters and cyber-physical security attacks have demonstrated that the lack of effective failure detection and identification capabilities is one of the main contributors of economic losses and safety risks faced by service utilities. This thesis focuses on both strategic and operational aspects of inspection processes for large-scale infrastructure networks, with the goal of improving their resilience to reliability and security failures. We address three combinatorial problems: (i) Strategic inspection for detecting adversarial failures; (ii) Strategic interdiction of malicious network flows; (iii) Analytics-driven inspection for localizing post-disaster failures. === We exploit the structural properties of these problems to develop new and practically relevant solutions for inspection of large-scale networks, along with approximation guarantees. Firstly, we address the question of determining a randomized inspection strategy with minimum number of detectors that ensures a target detection performance against multiple adversarial failures in the network. This question can be formulated as a mathematical program with constraints involving the Nash equilibria of a large strategic game. We solve this inspection problem with a novel approach that relies on the submodularity of the detection model and solutions of minimum set cover and maximum set packing problems. Secondly, we consider a generic network security game between a routing entity that sends its flow through the network, and an interdictor who simultaneously interdicts multiple edges. === By proving the existence of a probability distribution on a partially ordered set that satisfies a set of constraints, we show that the equilibrium properties of the game can be described using primal and dual solutions of a minimum-cost circulation problem. Our analysis provides a new characterization of the critical network components in strategic flow interdiction problems. Finally, we develop an analytics-driven approach for localizing failures under uncertainty. We utilize the information provided by failure prediction models to calibrate the generic formulation of a team orienteering problem with stochastic rewards and service times. We derive a compact mixed-integer programming formulation of the problem that computes an optimal a-priori routing of the inspection teams. Using the data collected by a major gas utility after an earthquake, we demonstrate the value of predictive analytics for improving their response operations. === "The work in this thesis was supported in part by the Singapore National Research Foundation through the Singapore MIT Alliance for Research and Technology (SMART), the DoD Science of Security Research Lablet (SOS), MIT Schoettler Fellowship, FORCES (Foundations Of Resilient CybEr-Physical Systems), which receives support from the National Science Foundation (NSF award numbers CNS- 1238959, CNS-1238962, CNS-1239054, CNS-1239166), NSF CAREER award CNS- 1453126, and the AFRL LABLET - Science of Secure and Resilient Cyber-Physical Systems (Contract ID: FA8750-14-2-0180, SUB 2784-018400)"--Pages 5 and 6 === by Mathieu Dahan. === Ph. D. in Civil Engineering and Computation === Ph.D.inCivilEngineeringandComputation Massachusetts Institute of Technology, Department of Civil and Environmental Engineering |
author2 |
Saurabh Amin. |
author_facet |
Saurabh Amin. Dahan, Mathieu. |
author |
Dahan, Mathieu. |
author_sort |
Dahan, Mathieu. |
title |
Strategic and analytics-driven inspection operations for critical infrastructure resilience |
title_short |
Strategic and analytics-driven inspection operations for critical infrastructure resilience |
title_full |
Strategic and analytics-driven inspection operations for critical infrastructure resilience |
title_fullStr |
Strategic and analytics-driven inspection operations for critical infrastructure resilience |
title_full_unstemmed |
Strategic and analytics-driven inspection operations for critical infrastructure resilience |
title_sort |
strategic and analytics-driven inspection operations for critical infrastructure resilience |
publisher |
Massachusetts Institute of Technology |
publishDate |
2019 |
url |
https://hdl.handle.net/1721.1/123226 |
work_keys_str_mv |
AT dahanmathieu strategicandanalyticsdriveninspectionoperationsforcriticalinfrastructureresilience |
_version_ |
1719303334364446720 |
spelling |
ndltd-MIT-oai-dspace.mit.edu-1721.1-1232262019-12-15T03:17:20Z Strategic and analytics-driven inspection operations for critical infrastructure resilience Dahan, Mathieu. Saurabh Amin. Massachusetts Institute of Technology. Department of Civil and Environmental Engineering. Massachusetts Institute of Technology. Department of Civil and Environmental Engineering Civil and Environmental Engineering. Thesis: Ph. D. in Civil Engineering and Computation, Massachusetts Institute of Technology, Department of Civil and Environmental Engineering, 2019 Cataloged from PDF version of thesis. Includes bibliographical references (pages 213-221). Resilience of infrastructure networks is a key requirement for a functioning modern society. These networks work continuously to enable the delivery of critical services such as water, natural gas, and transportation. However, recent natural disasters and cyber-physical security attacks have demonstrated that the lack of effective failure detection and identification capabilities is one of the main contributors of economic losses and safety risks faced by service utilities. This thesis focuses on both strategic and operational aspects of inspection processes for large-scale infrastructure networks, with the goal of improving their resilience to reliability and security failures. We address three combinatorial problems: (i) Strategic inspection for detecting adversarial failures; (ii) Strategic interdiction of malicious network flows; (iii) Analytics-driven inspection for localizing post-disaster failures. We exploit the structural properties of these problems to develop new and practically relevant solutions for inspection of large-scale networks, along with approximation guarantees. Firstly, we address the question of determining a randomized inspection strategy with minimum number of detectors that ensures a target detection performance against multiple adversarial failures in the network. This question can be formulated as a mathematical program with constraints involving the Nash equilibria of a large strategic game. We solve this inspection problem with a novel approach that relies on the submodularity of the detection model and solutions of minimum set cover and maximum set packing problems. Secondly, we consider a generic network security game between a routing entity that sends its flow through the network, and an interdictor who simultaneously interdicts multiple edges. By proving the existence of a probability distribution on a partially ordered set that satisfies a set of constraints, we show that the equilibrium properties of the game can be described using primal and dual solutions of a minimum-cost circulation problem. Our analysis provides a new characterization of the critical network components in strategic flow interdiction problems. Finally, we develop an analytics-driven approach for localizing failures under uncertainty. We utilize the information provided by failure prediction models to calibrate the generic formulation of a team orienteering problem with stochastic rewards and service times. We derive a compact mixed-integer programming formulation of the problem that computes an optimal a-priori routing of the inspection teams. Using the data collected by a major gas utility after an earthquake, we demonstrate the value of predictive analytics for improving their response operations. "The work in this thesis was supported in part by the Singapore National Research Foundation through the Singapore MIT Alliance for Research and Technology (SMART), the DoD Science of Security Research Lablet (SOS), MIT Schoettler Fellowship, FORCES (Foundations Of Resilient CybEr-Physical Systems), which receives support from the National Science Foundation (NSF award numbers CNS- 1238959, CNS-1238962, CNS-1239054, CNS-1239166), NSF CAREER award CNS- 1453126, and the AFRL LABLET - Science of Secure and Resilient Cyber-Physical Systems (Contract ID: FA8750-14-2-0180, SUB 2784-018400)"--Pages 5 and 6 by Mathieu Dahan. Ph. D. in Civil Engineering and Computation Ph.D.inCivilEngineeringandComputation Massachusetts Institute of Technology, Department of Civil and Environmental Engineering 2019-12-13T18:53:04Z 2019-12-13T18:53:04Z 2019 2019 Thesis https://hdl.handle.net/1721.1/123226 1129586801 eng MIT theses are protected by copyright. They may be viewed, downloaded, or printed from this source but further reproduction or distribution in any format is prohibited without written permission. http://dspace.mit.edu/handle/1721.1/7582 221 pages application/pdf Massachusetts Institute of Technology |