Soybean Cyst Nematode (SCN) poses a significant threat to soybean production in North America and the world at large. Early and accurate detection of SCN infestations is crucial for implementing effective management strategies and minimizing yield losses. The conventional method of SCN detection involves uprooting plants to examine the roots and collecting soil samples. Drone-based multispectral imaging has been used as a viable alternative for crop monitoring due to its detailed spatial and spectral information and scheduling flexibility. This thesis aims to examine the potential of using multispectral drone images for SCN detection in a soybean production field and develop a non-destructive approach to support improved precision agricultural management practices. Using the DJI Matrice 210 drone and a MicaSense Altum sensor, at a height of 50 meters above ground level and top speed of 6 meters/second, a total of 2,550 multispectral images per flight were collected for a total of fourteen flights beginning in June 2022 up to September 2022 from a production field with variable SCN infestation levels located in Carmi, IL. These images were postprocessed with geometric and radiometric correction to produce orthomosaic photos.   Ten vegetation indices namely, NDRE, NDVI, EVI, GNDVI, BNDVI, SIPI, R-EDGE/G, NIR/G, R-EDGE/R and MSR, were computed for each flight date and study plot. The count of SCN eggs was appended to each study plot to find the correlation between the vegetation indices and the field parameters. The VIs having the highest correlation with the eggs and also having the highest number of correlation coefficients significantly different from zero were NDRE, NDVI and GNDVI. I computed the mean values of these VIs for each study plot and flight date which resulted into a time-series trend analysis. To identify study plots with similar trends, an agglomerative hierarchical clustering was performed which resulted into two clusters for each VI. After conducting the ANOVA test, NDVI returned statistically significant results for all the field parameters, GNDVI returned one while NDRE returned three outcomes that were not statistically significant. The study plots belonging to Cluster 1 had a higher mean of SCN count while those in Cluster 2 portrayed little or no SCN. I found NDVI to be the optimal VI because the results from statistical tests and modeling techniques conducted were significant for all SCN parameters, such as cyst and egg count for the plots clustered based on the NDVI trend. Therefore, I used the plots clustered based on the NDVI trend to train and test six ML classification models (Support Vector Classifier, Naïve Bayes, K-Nearest Neighbors, Linear Discriminant Analysis, MLP-Neural Network and Gradient Boost) such that when presented with information in a format like that used in training, it becomes possible to identify plots with high or no SCN. Gradient Boost, MLP-NN and LDA performed with 89%, 82% and 80% accuracy respectively.

Scientists can better understand wetlands environments by collecting data they are interested in via sensor networks. However the deployment of these sensor nodes manually can be disruptive to these sensitive environments. We develop a set of algorithms for autonomously differentiating land from water via aerial imagery using an unmanned aerial vehicle (UAV). The UAV takes a picture of the area, clusters, classifies, defines regions, and then communicates the regions to other UAVs responsible for deploying the sensor nodes. These UAVs run an algorithm to determine the optimal locations for sensor nodes such that they completely cover the regions and allow for communication between the nodes in the sensor network. Our classifier training algorithm identifies the best classifier using clusters and we compare its successful classification rate to a pixel-based approach and we see classification rates of 89.6%. This classifier feeds into our online algoorithm that the UAV successfully uses to classify the Calaveras River in California. In our simulations to determine the most effective algorithm for determining where the place the sensor nodes in a sensor network, we found Triangular Geometric Tessellation was the optimal algorithm, able to achieve 91.5% coverage in concave areas and 88.2% coverage in convex areas with relatively low computational complexity.

The details of an experimental investigation focusing on obtaining the static and vibration characteristics of a full-scale carbon composite wing and fuselage structural assemblies of an ultralight unmanned aerial vehicle (UAV) are presented. The UAV has a total empty weight of 155-lb and an overall length of approximately 20.6t. A three-tier whiffletree system and the tail fixture were designed and used to load the wing and the fuselage in a manner consistent with a high-g flight condition. A shaker-table approach was used for the wing vibration testing, whereas the modal characteristics of the fuselage structure were determined for a freeree configuration. The static responses of the both structures under simulated loading conditions as well as their dynamic properties such as the natural frequency, damping coefficient and associated mode shapes were obtained. The design and implementation of the static and vibration tests along with the experimental results are presented in this thesis.

No description available.

No description available.

This dissertation explores the realm of high-accuracy localization through the utilization of ranging-based techniques, encompassing a spectrum of signals ranging from low-frequency ultrasound acoustic signals to more intricate high-frequency signals like Wireless Fidelity (Wi-Fi) IEEE 802.11az, 5G New Radio (NR), and 6G. Moreover, another contribution is the conception of a novel timing mechanism and synchronization protocol grounded in tunable quantum photonic oscillators. In general, our primary focus is to facilitate precise indoor localization, where conventional GPS signals are notably absent. To showcase the significance of this innovation, we present two vital use cases at the forefront: drone localization and metaverse user positioning. In the context of indoor drone localization, the spectrum of applications ranges from recreational enthusiasts to critical missions requiring pinpoint accuracy. At the hobbyist level, drones can autonomously navigate intricate indoor courses, enriching the recreational experience. As a finer illustration of a hobbyist application, consider the case of ``follow me drones". These specialized drones are tailored for indoor photography and videography, demanding an exceptionally accurate autonomous flight capability. This precision is essential to ensure the drone can consistently track and capture its designated subject, even as it moves within the confined indoor environment. Moving on from hobby use cases, the technology extends its profound impact to more crucial scenarios, such as search and rescue operations within confined spaces. The ability of drones to localize with high precision enhances their autonomy, allowing them to maneuver seamlessly, even in environments where human intervention proves challenging. Furthermore, the technology holds the potential to revolutionize the metaverse. Within the metaverse, where augmented and virtual realities converge, the importance of high-accuracy localization is amplified. Immersive experiences like Augmented/Virtual/Mixed Reality (AR/VR/MR) gaming rely heavily on precise user positioning to create seamless interactions between digital and physical environments. In entertainment, this innovation sparks innovation in narrative design, enhancing user engagement by aligning virtual elements with real-world surroundings. Beyond entertainment, applications extend to areas like telemedicine, enabling remote medical procedures with virtual guidance that matches physical reality. In light of all these examples, the imperative for an advanced high-accuracy localization system has become increasingly pronounced. The core objective of this dissertation is to address this pressing need by engineering systems endowed with exceptional precision in localization. Among the array of potential techniques suitable for GPS-absent scenarios, we have elected to focus on ranging-based methods. Specifically, our methodologies are built upon the fundamental principles of time of arrival, time difference of arrival, and time of flight measurements. In essence, each of our devised systems harnesses the capabilities of beacons such as ultrasound acoustic sensors, 5G femtocells, or Wi-Fi access points, which function as the pivotal positioning nodes. Through the application of trilateration techniques, based on the calculated distances between these positioning nodes and the integrated sensors on the drone or metaverse user side, we facilitate robust three-dimensional localization. This strategic approach empowers us to realize our ambition of creating localization systems that not only compensate for the absence of GPS signals but also deliver unparalleled accuracy and reliability in complex and dynamic indoor environments. A significant challenge that we confronted during our research pertained to the disparity in z-axis localization performance compared to that of the x-y plane. This nuanced yet pivotal concern often remains overlooked in much of the prevailing state-of-the-art literature, which predominantly emphasizes two-dimensional localization methodologies. Given the demanding context of our work, where drones and metaverse users navigate dynamically across all three dimensions, the imperative for three-dimensional localization became evident. To address this, we embarked on a comprehensive analysis, encompassing mathematical derivations of error bounds for our proposed localization systems. Our investigations unveiled that localization errors trace their origins to two distinct sources: errors induced by ranging-based factors and errors stemming from geometric considerations. The former category is chiefly influenced by factors encompassing the quality of measurement devices, channel quality in which the signal communication between the sensor on the user and the positioning nodes takes place, environmental noise, multipath interference, and more. In contrast, the latter category, involving geometry-induced errors, arises primarily from the spatial configuration of the positioning nodes relative to the user. Throughout our journey, we dedicated efforts to mitigate both sources of error, ensuring the robustness of our system against diverse error origins. Our approach entails a two-fold strategy for each proposed localization system. Firstly, we introduce innovative techniques such as Frequency-Hopping Spread Spectrum (FHSS) and Frequency-Hopping Code Division Multiple Access (FH-CDMA) and incorporate devices such as Reconfigurable Intelligent Surfaces (RIS) and photonic oscillators to fortify the system against errors stemming from ranging-related factors. Secondly, we devised novel evolutionary-based optimization algorithms, adept at addressing the complex NP-Hard challenge of optimal positioning node placement. This strategic placement mitigates the impact of geometry-induced errors on localization accuracy across the entire environmental space. By meticulously addressing both these sources of error, our localization systems stand as a testament to comprehensive robustness and accuracy. Our methodologies not only extend the frontiers of three-dimensional localization but also equip the systems to navigate the intricacies of indoor environments with precision and reliability, effectively fulfilling the evolving demands of drone navigation and metaverse user interaction. / Doctor of Philosophy / In this dissertation, we first explore some promising substitutes for the Global Positioning System (GPS) for the autonomous navigation of drones and metaverse user positioning in indoor spaces. Then, we will make the scope of research more comprehensive and try to explore substitutes to GPS for autonomous navigation of drones in general, both in indoor environments and outdoors. For the first part, we make our small indoor GPS. Similar to GPS, in our system, a receiver onboard the drone or the metaverse user can receive signals from our small semi-satellites in the room, and with that, it can localize itself. The idea is very similar to how the well-known GPS works, with some modifications. Unlike the GPS, we are using acoustic ultrasound signals or some RF signal based on 5G or Wi-Fi for transmission. Also, we have more freedom compared to GPS because, in GPS, they have to transmit signals from far ahead distances, whereas, in our scenario, it is just a room in which we put all of our semi-satellite transmitters. Moreover, we can put them anywhere we want in the room. This is, in fact important, because the positions of these semi-satellites have a huge effect on the accuracy of our system. Also, we can decide how many of them we need to cover every point in the room and not have any blind spots. We propose our novel techniques for finding the optimal placement to improve localization accuracy. In GPS, they propose a technique that is suitable for the case of those satellites and their distance to the targets. Similarly, we offer our novel techniques to have a robust transmission against noise and other factors and guarantee a localization scheme with high accuracy. All being said, our proposed system for indoor localization of drones and metaverse users in three dimensions has considered all the possible sources of error and proposed solutions to conquer them; hence a robust system with high accuracy in three-dimensional space.

This thesis presents the integration of reproducing kernel Hilbert spaces (RKHSs) into the model reference adaptive control (MRAC) framework to enhance the control systems of quadcopters. Traditional MRAC systems, while robust under predictable conditions, can struggle with the dynamic uncertainties typical in unmanned aerial vehicle (UAV) operations such as wind gusts and payload variations. By incorporating RKHS, we introduce a non-parametric, data-driven approach that significantly enhances system adaptability to in-flight dynamics changes. The research focuses on the design, simulation, and analysis of an RKHS-enhanced MRAC system applied to quadcopters. Through theoretical developments and simulation results, the thesis demonstrates how RKHS can be used to improve the precision, adaptability, and error handling of MRAC systems, especially in managing the complexities of UAV flight dynamics under various disturbances. The simulations validate the improved performance of the RKHS-MRAC system compared to traditional MRAC, showing finer control over trajectory tracking and adaptive gains. Further contributions of this work include the exploration of the computational impact and the relationship between the configuration of basis centers and system performance. Detailed analysis reveals that the number and distribution of basis centers critically influence the system's computational efficiency and adaptive capability, demonstrating a significant trade-off between efficiency and performance. The thesis concludes with potential future research directions, emphasizing the need for further tests and implementations in real-world scenarios to explore the full potential of RKHS in adaptive UAV control, especially in critical applications requiring high precision and reliability. This work lays the groundwork for future explorations into scalable RKHS applications in MRAC systems, aiming to optimize computational resources while maximizing control system performance. / Master of Science / This thesis develops and tests an advanced flight control system for quadcopters, using a technique referred to as reproducing kernel Hilbert space (RKHS) embedded model reference adaptive control (MRAC). Traditional control systems perform well in stable conditions but often falter with environmental challenges such as wind gusts or changes in weight. By integrating RKHS into MRAC, this new controller adapts in real-time, instantly adjusting the drone's operations based on its performance and environmental interactions. The focus of this research is on the creation, testing, and analysis of this enhanced control system. Results from simulations show that incorporating RKHS into standard MRAC significantly boosts precision, adaptability, and error management, particularly under the complex flight dynamics faced by unmanned aerial vehicles (UAVs) in varied environments. These tests confirm that the RKHS-MRAC system performs better than traditional approaches, especially in maintaining accurate flight paths. Additionally, this work examines the computational costs and the impact of various RKHS configurations on system performance. The thesis concludes by outlining future research opportunities, stressing the importance of real-world tests to verify the ability of RKHS-embedded MRAC in critical real-world applications where high precision and reliability are essential.

In this dissertation, two main topics are explored, the vehicle routing problem (VRP) and model reference adaptive control (MRAC) for unknown nonlinear systems. The VRP and its extension, the split delivery VRP (SVRP), are analyzed to determine the effects of using two different objective functions, the total cost objective, and the last delivery objective. A worst-case analysis suggests that using the SVRP can improve total costs by as much as a factor of 2 and the last delivery by a factor that scales with the number of vehicles over the classical VRP. To test the theoretical worst-cases against the solutions of benchmark datasets, a heuristic is developed based on embedding a random variable neighborhood search within an iterative local search heuristic. Results suggest that the split deliveries do in fact improve total cost and last delivery times over the classical formulation. The SVRP has been developed classically for use with vehicles such as trucks which have large payload capacities and typically long ranges for deliveries, but are limited to traversing on roads. Unmanned aerial vehicles (UAVs) are useful for their high maneuverability, but suffer from limited capacity for payloads and short ranges. The classical SVRP formulation is extended to one more suitable for UAVs by accounting for limited range, limited payloads, and the ability to swap batteries at known locations. Instead of Euclidean distances, path plans which are adjusted for a known, constant wind underlie the cost matrix of the optimization problem. The effects of payload on the vehicle's range are developed using propeller momentum theory, and simulations verify that the proposed approach could be used in a realistic scenario. Two novel MRAC laws are then developed. The first, MRAC laws for prescribed performance, exploits barrier Lyapunov functions and a 2-Layer approach to guarantee user-defined performance. This control law allows unknown nonlinear systems to verify a user-defined rate of convergence of the tracking error while verifying apriori control and tracking error constraints. Numerical simulations are performed on the roll dynamics of a delta-wing aircraft. The second novel MRAC law is MRAC for switched dynamical systems which is proven in two different mathematical frameworks. Applying the Caratheodory framework, it is proven that if the switching signal has an arbitrarily small, but non-zero, dwell-time, then solutions of both the trajectory tracking error's and the adaptive gains' dynamics exist, are unique, and are defined almost everywhere, and the trajectory tracking error converges asymptotically to zero. Employing the Filippov framework, it is proven that if the switching signal is Lebesgue integrable and has countably many points of discontinuity, then maximal solutions of both the trajectory tracking error and the adaptive gains dynamics exist and are defined almost everywhere, and the trajectory tracking error converges to zero asymptotically. The proposed MRAC law is experimentally verified in the case where a UAV with tilting propellers is tasked with mounting an unknown camera onto a wall. The previous results are then combined into a novel application in construction. A method for using a UAV to measure autonomously the moisture of an exterior precast concrete envelope is developed which can provide data feedback through contact-based measurements to improve safety and real-time data acquisition through the integration with the Building Information Model (BIM). To plan the path of the vehicle, the path planning and SVRP for UAV approaches developed in previous chapters are utilized. To enable the UAS to contact surfaces, a switched MRAC law is employed to control the vehicle throughout and guarantee successful measurements. A full physics-based simulation environment is developed, and the proposed framework is used to simulate taking multiple measurements. / Doctor of Philosophy / The main goal of this dissertation is to provide an implementable approach to the routing and control problem for unmanned aerial vehicles (UAVs) tasked with delivering payloads or taking images or videos of known locations. To plan routes for the fleet of vehicles, a split vehicle routing (SVRP) approach is utilized. UAVs are useful for their high maneuverability, but suffer from limited capacity for payloads and short ranges. Before extending the SVRP to a formulation more suitable for UAVs, we study the effects of using two different objective functions on the solutions to the optimization problem through a worst-case analysis. Namely, we study the minimum total cost function and the minimum last delivery function and their effects on both the classical vehicle routing problem (VRP), where only one vehicle can visit each customer, and the SVRP, where multiple vehicles can visit each customer. A custom heuristic is developed to solve several benchmark instances, and the results suggest that using the SVRP can save in total cost and last delivery over the VRP when using the same objective functions. The classical SVRP formulation is then extended to one more suitable for UAVs by accounting for limited range, limited payloads, and the ability to swap batteries at known locations. Instead of using straight line approaches to traversing between locations, a path planning approach is utilized and wind is accounted for. The effects of payload on the vehicle's range are also considered, and simulations verify that the proposed approach could be used in a realistic scenario. After developing a routing approach for UAVs, the control problem is considered. The first control approach developed is for unknown nonlinear systems which necessitate control and tracking error constraints that can be set before the start of the mission. This result is achieved using a novel model reference adaptive control (MRAC) approach. In addition to verifying the constraints, a drawback of classical MRAC approaches, the poor performance in the transient stages, is addressed by providing the ability to guarantee a user-defined rate of convergence of the system. Numerical simulations are performed on the roll dynamics of a delta-wing aircraft. A second MRAC approach is then developed for the cases in which the UAVs may be tasked with installing a payload at the customer location. An approach is used where the vehicles are considered to have different flight states, one where the vehicle is in free flight, and one where the vehicle contacts the wall. These types of systems are denoted as switched dynamical systems, and an adaptive control law is developed for unknown nonlinear switched plants that must follow the trajectory of user-defined linear switched reference models. The proposed MRAC law is experimentally verified in the case where a UAV with tilting propellers is tasked with mounting an unknown camera onto a wall. Finally, we seek to combine the new routing and control approach into an application to improve safety within a construction site. A method for using a UAV to measure autonomously the moisture of an exterior precast concrete envelope is developed which can provide data feedback through contact-based measurements to improve safety and real-time data acquisition through the integration with the Building Information Model (BIM). To plan the path of the vehicle, the path planning and SVRP for UAV approaches developed in previous chapters are utilized. To enable the UAS to contact surfaces, a switched MRAC law is employed to control the vehicle throughout and guarantee successful measurements. A full physics-based simulation environment is developed, and the proposed framework is used to simulate taking multiple measurements.

One important parameter of interest in remote sensing to date is yield variability. Proper understanding of yield variability provides insight on the geo-positional dependences of field yields and insight on zone management strategies. Estimating cotton yield and observing cotton yield variability has proven to be a challenging problem due to the complex fruiting behavior of cotton from reactions to environmental conditions. Current methods require expensive sensory equipment on large manned aircrafts and satellites. Other systems, such as cotton yield monitors, are often subject to error due to the collection of dust/trash on photo sensors. This study was aimed towards the development of a miniature unmanned aerial system that utilized a first-person view (FPV) color camera for measuring cotton yield variability. Outcomes of the study led to the development of a method for estimating cotton yield variability from images of experimental cotton plot field taken at harvest time in 2014. These plots were treated with nitrogen fertilizer at five different rates to insure variations in cotton yield across the field. The cotton yield estimates were based on the cotton unit coverage (CUC) observed as the cotton boll image signal density. The cotton boll signals were extracted via their diffusion potential in the image intensity space. This was robust to gradients in illumination caused by cloud coverage as well as fruiting positions in the field. These estimates were provided at a much higher spatial resolution (9.0 cm2) at comparable correlations (R2=0.74) with current expensive systems. This method could prove useful for the development of low cost automated systems for cotton yield estimation as well as yield estimation systems for other crops. / Master of Science

Cyber-physical systems (CPSs) are large-scale systems that seamlessly integrate physical and human elements via a cyber layer that enables connectivity, sensing, and data processing. Key examples of CPSs include smart power systems, smart transportation systems, and the Internet of Things (IoT). This wide-scale cyber-physical interconnection introduces various operational benefits and promises to transform cities, infrastructure, and networked systems into more efficient, interactive, and interconnected smart systems. However, this ubiquitous connectivity leaves CPSs vulnerable to menacing security threats as evidenced by the recent discovery of the Stuxnet worm and the Mirai malware, as well as the latest reported security breaches in a number of CPS application domains such as the power grid and the IoT. Addressing these culminating security challenges requires a holistic analysis of CPS security which necessitates: 1) Determining the effects of possible attacks on a CPS and the effectiveness of any implemented defense mechanism, 2) Analyzing the multi-agent interactions -- among humans and automated systems -- that occur within CPSs and which have direct effects on the security state of the system, and 3) Recognizing the role that humans and their decision making processes play in the security of CPSs. Based on these three tenets, the central goal of this dissertation is to enhance the security of CPSs with human actors by developing fool-proof defense strategies founded on novel theoretical frameworks which integrate the engineering principles of CPSs with the mathematical concepts of game theory and human behavioral models. Towards realizing this overarching goal, this dissertation presents a number of key contributions targeting two prominent CPS application domains: the smart electric grid and drone systems. In smart grids, first, a novel analytical framework is developed which generalizes the analysis of a wide set of security attacks targeting the state estimator of the power grid, including observability and data injection attacks. This framework provides a unified basis for solving a broad set of known smart grid security problems. Indeed, the developed tools allow a precise characterization of optimal observability and data injection attack strategies which can target the grid as well as the derivation of optimal defense strategies to thwart these attacks. For instance, the results show that the proposed framework provides an effective and tractable approach for the identification of the sparsest stealthy attacks as well as the minimum sets of measurements to defend for protecting the system. Second, a novel game-theoretic framework is developed to derive optimal defense strategies to thwart stealthy data injection attacks on the smart grid, launched by multiple adversaries, while accounting for the limited resources of the adversaries and the system operator. The analytical results show the existence of a diminishing effect of aggregated multiple attacks which can be leveraged to successfully secure the system; a novel result which leads to more efficiently and effectively protecting the system. Third, a novel analytical framework is developed to enhance the resilience of the smart grid against blackout-inducing cyber attacks by leveraging distributed storage capacity to meet the grid's critical load during emergency events. In this respect, the results demonstrate that the potential subjectivity of storage units' owners plays a key role in shaping their energy storage and trading strategies. As such, financial incentives must be carefully designed, while accounting for this subjectivity, in order to provide effective incentives for storage owners to commit the needed portions of their storage capacity for possible emergency events. Next, the security of time-critical drone-based CPSs is studied. In this regard, a stochastic network interdiction game is developed which addresses pertinent security problems in two prominent time-critical drone systems: drone delivery and anti-drone systems. Using the developed network interdiction framework, the optimal path selection policies for evading attacks and minimizing mission completion times, as well as the optimal interdiction strategies for effectively intercepting the paths of the drones, are analytically characterized. Using advanced notions from Nobel-prize winning prospect theory, the developed framework characterizes the direct impacts of humans' bounded rationality on their chosen strategies and the achieved mission completion times. For instance, the results show that this bounded rationality can lead to mission completion times that significantly surpass the desired target times. Such deviations from the desired target times can lead to detrimental consequences primarily in drone delivery systems used for the carriage of emergency medical products. Finally, a generic security model for CPSs with human actors is proposed to study the diffusion of threats across the cyber and physical realms. This proposed framework can capture several application domains and allows a precise characterization of optimal defense strategies to protect the critical physical components of the system from threats emanating from the cyber layer. The developed framework accounts for the presence of attackers that can have varying skill levels. The results show that considering such differing skills leads to defense strategies which can better protect the system. In a nutshell, this dissertation presents new theoretical foundations for the security of large-scale CPSs, that tightly integrate cyber, physical, and human elements, thus paving the way towards the wide-scale adoption of CPSs in tomorrow's smart cities and critical infrastructure. / Ph. D. / Enhancing the efficiency, sustainability, and resilience of cities, infrastructure, and industrial systems is contingent on their transformation into more interactive and interconnected smart systems. This has led to the emergence of what is known as cyber-physical systems (CPSs). CPSs are widescale distributed and interconnected systems integrating physical components and humans via a cyber layer that enables sensing, connectivity, and data processing. Some of the most prominent examples of CPSs include the smart electric grid, smart cities, intelligent transportation systems, and the Internet of Things. The seamless interconnectivity between the various elements of a CPS introduces a wealth of operational benefits. However, this wide-scale interconnectivity and ubiquitous integration of cyber technologies render CPSs vulnerable to a range of security threats as manifested by recently reported security breaches in a number of CPS application domains. Addressing these culminating security challenges requires the development and implementation of fool-proof defense strategies grounded in solid theoretical foundations. To this end, the central goal of this dissertation is to enhance the security of CPSs by advancing novel analytical frameworks which tightly integrate the cyber, physical, and human elements of a CPS. The developed frameworks and tools enable the derivation of holistic defense strategies by: a) Characterizing the security interdependence between the various elements of a CPS, b) Quantifying the consequences of possible attacks on a CPS and the effectiveness of any implemented defense mechanism, c) Modeling the multi-agent interactions in CPSs, involving humans and automated systems, which have a direct effect on the security state of the system, and d) Capturing the role that human perceptions and decision making processes play in the security of CPSs. The developed tools and performed analyses integrate the engineering principles of CPSs with the mathematical concepts of game theory and human behavioral models and introduce key contributions to a number of CPS application domains such as the smart electric grid and drone systems. The introduced results enable strengthening the security of CPSs, thereby paving the way for their wide-scale adoption in smart cities and critical infrastructure.