Department of Electrical and Computer Engineering

Vertical-external-cavity surface-emitting lasers based on amplifying quantum-cascade metasurfaces are demonstrated in the 5–6 THz range for the first time. Enhanced parasitic coupling to lossy surface modes requires updated design guidelines, while elevated losses and lower available material gain limit the scaling of the metasurface period from previous designs. A series of metasurface devices with varying periods employing both uniform and focusing metasurfaces is fabricated and characterized. Reducing the metasurface period below 70% of the free-space wavelength enables devices with superior performance, achieving pulsed operation up to 5.74 THz with peak output powers of 1.3 mW, maximum operating temperatures up to 83 K, and continuous-wave operation up to 54 K with 23 μW of output power. In the best case, single-mode tuning from 5.23–5.73 THz, which corresponds to a 9.1% fractional tuning, is realized with near-Gaussian far-field profiles maintained across the entire range. These results establish quantum cascade vertical-external-cavity surface-emitting lasers as promising candidates for high-frequency local oscillator applications in heterodyne spectroscopy.

We introduce a scalable observer architecture to estimate the states of a discrete-time linear-time-invariant (LTI) system whose sensors can be manipulated by an attacker. Given the maximum number of attacked sensors, we build on previous results on necessary and sufficient conditions for state estimation, and propose a novel multi-modal Luenberger (MML) observer based on efficient Satisfiability Modulo Theory (SMT) solving. We present two techniques to reduce the complexity of the estimation problem. As a first strategy, instead of a bank of distinct observers, we use a family of filters sharing a single dynamical equation for the states, but different output equations, to generate estimates corresponding to different subsets of sensors. Such an architecture can reduce the memory usage of the observer from an exponential to a linear function of the number of sensors. We then develop an efficient SMT-based decision procedure that is able to reason about the estimates of the MML observer to detect at runtime which sets of sensors are attack-free, and use them to obtain a correct state estimate. We provide proofs of convergence for our algorithm and report simulation results to compare its runtime performance with alternative techniques. Our algorithm scales well for large systems (including up to 5000 sensors) for which many previously proposed algorithms are not implementable due to excessive memory and time requirements. Finally, we illustrate the effectiveness of our algorithm on the design of resilient power distribution systems.