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...

Full description

Bibliographic Details
Main Author: Dahan, Mathieu.
Other Authors: Saurabh Amin.
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