Dissertation or Thesis Defense

Signal Temporal Logic (STL) is a common way to express a broad range of real-time constraints that can be imposed on control systems. Spatial robustness of STL specifications, quantifying permissible spatial perturbations, has been widely studied in the literature. However, despite the importance of various time-critical systems, temporal robustness of STL has not yet been […]

Epidemiological spreading processes constitute the core of a large number of disparate networks. In some, faster spread is desirable, in others containing the spread is critically important. We focus on understanding the spatio-temporal spread of epidemics over contact networks with the goal of facilitating or containing the spread as the case may be. In this […]

In recent years, electronic-photonic co-design and co-integration has emerged as a disruptive technology to augment the power of integrated circuits and deliver enhanced chip scale solutions for a variety of applications ranging from communication and sensing to imaging and computation. Coupled with the versatility of electronics, integrated photonic techniques may be employed to assist in […]

The last decade has witnessed a proliferation of legged machines with high power and force densities, as well as a commensurate development of locomotion controllers which achieve impressive empirical demonstrations. Yet, despite showing promise as a means of navigating rough terrain, these machines – and the locomotion controllers which animate them – are still restricted […]