The identification of anomalies is a critical component operating complex, and possibly large-scale geo-graphically distributed cyber-physical systems. While designing anomaly detectors, it common to assume Gaussian noise models maintain tractability; however, this assumption can lead the actual false alarm rate being significantly higher than expected. Here we design distributionally robust th...

This paper considers the second order properties of empirical likelihood for a parameter defined by moment restrictions, which is the framework operated upon by the Generalized Method of Moments. It is shown that the empirical likelihood defined for this general framework still admits the delicate second order property of Bartlett correction, which represents a substantial extension of all the ...

Ambient noise can be used to produce images of submerged objects using the mean intensity of the backscattered energy, a technique coined ‘‘acoustic daylight’’ because of its direct analogy to vision. It is suggested that there may be substantial additional information in higher moments of the data. At high frequencies ~.10 kHz!, absorption suppresses long-range propagation so that a received s...

Abstract We introduce Hyper 2 LTL, a temporal logic for the specification of hyperproperties that allows second-order quantification over sets traces. Unlike first-order logics hyperproperties, such as HyperLTL, LTL can express complex epistemic properties like common knowledge, Mazurkiewicz trace theory, and asynchronous hyperproperties. The model checking problem is, in general, undecidable. ...

This paper presents a robust control design methodology based on the estimation of the first two order moments of the random variables and processes that describe the controlled response. Synthesis is performed by solving an multi-objective optimization problem where stability and performance requirements in timeand frequencydomains are integrated. The use of the first two order moments allows ...