Mission-critical systems are those imperative systems whose failures can result in catastrophic consequences. Traditional techniques, such as manual investigation and testing, cannot ensure the absence of errors and security vulnerabilities within these systems. This dissertation leverages formal methods to comprehensively examine several mission-critical systems and their essential components. For each...
The field of distributed optimization algorithms is wide and growing, and new techniques for categorizing and analyzing existing algorithms are continually being developed. In this Thesis, we leverage control theoretic analysis and block diagram interpretations for existing algorithms to synthesize entirely new families of algorithms. These new algorithm families have...
Since Infrared radiation was discovered in 1800s, the research and applications on the infrared regime have been continually developed. The infrared detectors are the key technology in these applications and have been successfully used for medical imaging, light detection and ranging (LiDAR), free-space optical communication, target tracking and object identification...
Visual localization is a critical capability for autonomous systems, enabling them to accuratelyestimate their position and orientation within an environment using visual data. This thesis focuses
on achieving a robust and reliable visual localization on both local and global level to enhance
localization performance in a wide range of environments....
We consider data-driven approaches for universal texture modeling via generative adversarial networks and inversion methods. We investigate the properties of the learned representation spaces and demonstrate that a strong link between texture analysis and synthesis is the key to successful texture modeling. First, we visit the problem of texture synthesis...
We consider data-driven approaches for universal texture modeling via generative adversarial networks and inversion methods. We investigate the properties of the learned representation spaces and demonstrate that a strong link between texture analysis and synthesis is the key to successful texture modeling. First, we visit the problem of texture synthesis...
Since Infrared radiation was discovered in 1800s, the research and applications on the infrared regime have been continually developed. The infrared detectors are the key technology in these applications and have been successfully used for medical imaging, light detection and ranging (LiDAR), free-space optical communication, target tracking and object identification...
In recent years, machine learning on graphs (or networks) has gone from a niche topic with only a few active researchers worldwide, to a heavily invested field with novel use cases for dealing with relationships and/or interactions within complex systems in the natural and social sciences. Traditionally, choosing the right...
Originally motivated by the emergence of networked systems lacking central coordination such as multiprocessors, wireless sensor networks and smart grids, the study of distributed optimization algorithms has been an active field of research spanning multiple decades. More recently, the rapid growth in the availability of high-dimensional datasets has posed the...
X-ray imaging at nano and micro-scale is of great importance for the material science and defense industry. Large penetration depth and low wavelength of x-rays offer an important potential to image objects at high resolution and in a non-invasive process. While the ever-growing community is pursuing novel applications and looking...