Doctor of Philosophy, The Ohio State University, 2023, Mechanical Engineering
There has been increasing incorporation of connectivity and automation into systems that have been traditionally isolated and mechanical. In applications ranging from transportation to manufacturing, these large, interconnected systems are increasingly being tasked to perform several safety-critical functions. Considering the widespread implementation of these systems and increasing reliance on them, they have also become prime targets for malicious actors. In such scenarios, it is essential to develop and test systems to ensure safety and security right from the design stage of the product development cycle. This dissertation is an effort to develop tools and methodologies towards this goal.
Given the scale of modern connected and autonomous systems, it is impossible to have a single solution for the entire system. To achieve the goals of this thesis, we split our study to target specific challenges seen at the network level, at the controller level, and in testing and validation. We draw from the fields of game theory, control theory, and optimization to address issues in network design, safe control synthesis, and safety validation of connected and autonomous vehicles.
We begin by studying the problem of improving network level security when the network defender has a restricted budget for fortifying and protecting the network assets. We consider scenarios where the defender, in addition to making optimal decision on where to allocate the limited security budget, can also intervene and modify the design of the network to strengthen it against attacks. We first propose algorithms to decide on the optimal allocation of the security budget across large inter-connected networks, by first reducing them to equivalent networks of lower dimensionality, in a way that enables faster computation of defense decisions. We further study various network design interventions to improve network security, and showcase our proposed approaches by applying them on practical a (open full item for complete abstract)
Committee: Qadeer Ahmed (Advisor); Giorgio Rizzoni (Committee Member); Parinaz Naghizadeh (Committee Member)
Subjects: Mechanical Engineering