English
Related papers

Related papers: Detecting a Vector Based on Linear Measurements

200 papers

We study mean estimation of a random vector $X$ in a distributed parameter-server-worker setup. Worker $i$ observes samples of $a_i^\top X$, where $a_i^\top$ is the $i$th row of a known sensing matrix $A$. The key challenges are adversarial…

Dynamic arrays, also referred to as vectors, are fundamental data structures used in many programs. Modeling their semantics efficiently is crucial when reasoning about such programs. The theory of arrays is widely supported but is not…

Logic in Computer Science · Computer Science 2022-05-24 Ying Sheng , Andres Nötzli , Andrew Reynolds , Yoni Zohar , David Dill , Wolfgang Grieskamp , Junkil Park , Shaz Qadeer , Clark Barrett , Cesare Tinelli

In a recent paper we have shown that data collected from linear systems excited by persistently exciting inputs during low-complexity experiments, can be used to design state- and output-feedback controllers, including optimal Linear…

Systems and Control · Electrical Eng. & Systems 2021-03-31 Claudio De Persis , Pietro Tesi

We introduce a reliable compressive procedure to uniquely characterize any given low-rank quantum measurement using a minimal set of probe states that is based solely on data collected from the unknown measurement itself. The procedure is…

Quantum Physics · Physics 2020-11-03 I. Gianani , Y. S. Teo , V. Cimini , H. Jeong , G. Leuchs , M. Barbieri , L. L. Sanchez-Soto

This paper deals with diagnosability of discrete-time nonlinear systems with unknown inputs and quantized outputs. We propose a novel notion of diagnosability that we term approximate diagnosability, corresponding to the possibility of…

Optimization and Control · Mathematics 2017-04-10 Elena De Santis , Giordano Pola , Maria Domenica Di Benedetto

Attack detection problems in the smart grid are posed as statistical learning problems for different attack scenarios in which the measurements are observed in batch or online settings. In this approach, machine learning algorithms are used…

Machine Learning · Computer Science 2015-03-24 Mete Ozay , Inaki Esnaola , Fatos T. Yarman Vural , Sanjeev R. Kulkarni , H. Vincent Poor

Unravelling hidden patterns in datasets is a classical problem with many potential applications. In this paper, we present a challenge whose objective is to discover nonlinear relationships in noisy cloud of points. If a set of point…

Machine Learning · Statistics 2018-05-31 Terry Lyons , Imanol Perez Arribas

The study of multiplicative noise models has a long history in control theory but is re-emerging in the context of complex networked systems and systems with learning-based control. We consider linear system identification with…

Systems and Control · Electrical Eng. & Systems 2020-07-06 Yu Xing , Ben Gravell , Xingkang He , Karl Henrik Johansson , Tyler Summers

Automated event detection has emerged as one of the fundamental practices to monitor the behavior of technical systems by means of sensor data. In the automotive industry, these methods are in high demand for tracing events in time series…

Machine Learning · Computer Science 2023-10-18 Bahareh Medghalchi , Andreas Vogel

Machine learning and data analysis have been used in many robotics fields, especially for modelling. Data are usually the result of sensor measurements and, as such, they might be subjected to noise and outliers. The presence of outliers…

Robotics · Computer Science 2019-08-26 Francesco Cursi , Guang-Zhong Yang

This paper considers a single-trajectory system identification problem for linear systems under general nonlinear and/or time-varying policies with i.i.d. random excitation noises. The problem is motivated by safe learning-based control for…

Optimization and Control · Mathematics 2023-06-21 Yingying Li , Tianpeng Zhang , Subhro Das , Jeff Shamma , Na Li

In the traditional framework of spectral learning of stochastic time series models, model parameters are estimated based on trajectories of fully recorded observations. However, real-world time series data often contain missing values, and…

Machine Learning · Computer Science 2018-10-22 Tianlin Liu

Modeling dynamical systems is important in many disciplines, e.g., control, robotics, or neurotechnology. Commonly the state of these systems is not directly observed, but only available through noisy and potentially high-dimensional…

Machine Learning · Statistics 2014-10-29 Niklas Wahlström , Thomas B. Schön , Marc Peter Deisenroth

A weak measurement consists in coupling a system to a probe in such a way that constructive interference generates a large output. So far, only the average output of the probe and its variance were studied. Here, the characteristic function…

Quantum Physics · Physics 2012-03-07 Antonio Di Lorenzo

An algorithm which either finds an nonzero integer vector ${\mathbf m}$ for given $t$ real $n$-dimensional vectors ${\mathbf x}_1,...,{\mathbf x}_t$ such that ${\mathbf x}_i^T{\mathbf m}=0$ or proves that no such integer vector with norm…

Symbolic Computation · Computer Science 2010-10-12 Jingwei Chen , Yong Feng , Xiaolin Qin , Jingzhong Zhang

We present a formal language with expressions denoting general symbol structures and queries which access information in those structures. A sequence-to-sequence network processing this language learns to encode symbol structures and query…

Artificial Intelligence · Computer Science 2018-03-13 Roland Fernandez , Asli Celikyilmaz , Rishabh Singh , Paul Smolensky

Consider measuring an n-dimensional vector x through the inner product with several measurement vectors, a_1, a_2, ..., a_m. It is common in both signal processing and statistics to assume the linear response model y_i = <a_i, x> + e_i,…

Probability · Mathematics 2016-05-20 Yaniv Plan , Roman Vershynin , Elena Yudovina

Event-based vision sensors, such as the Dynamic Vision Sensor (DVS), are ideally suited for real-time motion analysis. The unique properties encompassed in the readings of such sensors provide high temporal resolution, superior sensitivity…

Computer Vision and Pattern Recognition · Computer Science 2020-01-14 Anton Mitrokhin , Cornelia Fermuller , Chethan Parameshwara , Yiannis Aloimonos

We study general nonlinear models for time series networks of integer and continuous valued data. The vector of high dimensional responses, measured on the nodes of a known network, is regressed non-linearly on its lagged value and on…

Methodology · Statistics 2023-12-25 Mirko Armillotta , Konstantinos Fokianos

Real-world applications of machine learning models are often subject to legal or policy-based regulations. Some of these regulations require ensuring the validity of the model, i.e., the approximation error being smaller than a threshold. A…

Machine Learning · Statistics 2024-06-18 Sven Lämmle , Can Bogoclu , Robert Voßhall , Anselm Haselhoff , Dirk Roos