arXiv subjects

George K. Atia

Publications and source records attributed to George K. Atia.

31 records · Page 2Linked to original sources

arXiv2021

Steady-State Planning in Expected Reward Multichain MDPs

The planning domain has experienced increased interest in the formal synthesis of decision-making policies. This formal synthesis typically entails finding a policy which satisfies formal specifications in the form of some well-defined logic. While many such logics have been proposed with varying degrees of expressiveness and complexity in their capacity to capture desirable agent behavior, their value is limited when deriving decision-making policies which satisfy certain types of asymptotic behavior in general system models. In particular, we are interested in specifying constraints on the steady-state behavior of an agent, which captures the proportion of time an agent spends in each state as it interacts for an indefinite period of time with its environment. This is sometimes called the average or expected behavior of the agent and the associated planning problem is faced with significant challenges unless strong restrictions are imposed on the underlying model in terms of the connectivity of its graph structure. In this paper, we explore this steady-state planning problem that consists of deriving a decision-making policy for an agent such that constraints on its steady-state behavior are satisfied. A linear programming solution for the general case of multichain Markov Decision Processes (MDPs) is proposed and we prove that optimal solutions to the proposed programs yield stationary policies with rigorous guarantees of behavior.

cs.AI↗

arXiv2019

What is the maximum differential group delay achievable by a space-time wave packet in free space?

The group velocity of 'space-time' wave packets $-$ propagation-invariant pulsed beams endowed with tight spatio-temporal spectral correlations $-$ can take on arbitrary values in free space. Here we investigate theoretically and experimentally the maximum achievable group delay that realistic finite-energy space-time wave packets can achieve with respect to a reference pulse traveling at the speed of light. We find that this delay is determined solely by the spectral uncertainty in the association between the spatial frequencies and wavelengths underlying the wave packet spatio-temporal spectrum $-$ and not by the beam size, bandwidth, or pulse width. We show experimentally that the propagation of space-time wave packets is delimited by a spectral-uncertainty-induced `pilot envelope' that travels at a group velocity equal to the speed of light in vacuum. Temporal walk-off between the space-time wave packet and the pilot envelope limits the maximum achievable differential group delay to the width of the pilot envelope. Within this pilot envelope, the space-time wave packet can locally travel at an arbitrary group velocity and yet not violate relativistic causality because the leading or trailing edge of superluminal and subluminal space-time wave packets, respectively, are suppressed once they reach the envelope edge. Using pulses of width $\sim$4ps and a spectral uncertainty of $\sim$ 20 pm, we measure maximum differential group delays of approximately $\pm$ 150 ps, which exceed previously reported measurements by at least three orders of magnitude.

physics.optics↗

arXiv2019

Multi-modal Non-line-of-sight Passive Imaging

We consider the non-line-of-sight (NLOS) imaging of an object using the light reflected off a diffusive wall. The wall scatters incident light such that a lens is no longer useful to form an image. Instead, we exploit the 4D spatial coherence function to reconstruct a 2D projection of the obscured object. The approach is completely passive in the sense that no control over the light illuminating the object is assumed and is compatible with the partially coherent fields ubiquitous in both the indoor and outdoor environments. We formulate a multi-criteria convex optimization problem for reconstruction, which fuses the reflected field's intensity and spatial coherence information at different scales. Our formulation leverages established optics models of light propagation and scattering and exploits the sparsity common to many images in different bases. We also develop an algorithm based on the alternating direction method of multipliers to efficiently solve the convex program proposed. A means for analyzing the null space of the measurement matrices is provided as well as a means for weighting the contribution of individual measurements to the reconstruction. This paper holds promise to advance passive imaging in the challenging NLOS regimes in which the intensity does not necessarily retain distinguishable features and provides a framework for multi-modal information fusion for efficient scene reconstruction.

cs.CV↗

arXiv2018

Interferometry-based modal analysis with finite aperture effects

We analyze the effects of aperture finiteness on interferograms recorded to unveil the modal content of optical beams in arbitrary basis using generalized interferometry. We develop a scheme for modal reconstruction from interferometric measurements that accounts for the ensuing clipping effects. Clipping-cognizant reconstruction is shown to yield significant performance gains over traditional schemes that overlook such effects that do arise in practice. Our work can inspire further research on reconstruction schemes and algorithms that account for practical hardware limitations in a variety of contexts.

physics.ins-det↗

arXiv2018

On the inverse problem of source reconstruction from coherence measurements

We consider an inverse source problem for partially coherent light propagating in the Fresnel regime. The data is the coherence of the field measured away from the source. The reconstruction is based on a minimum residue formulation, which uses the authors' recent closed-form approximation formula for the coherence of the propagated field. The developed algorithms require a small data sample for convergence and yield stable inversion by exploiting information in the coherence as opposed to intensity-only measurements. Examples with both simulated and experimental data demonstrate the ability of the proposed approach to simultaneously recover complex sources in different planes transverse to the direction of propagation.

physics.optics↗

arXiv2018

Spatial coherence of fields from generalized sources in the Fresnel regime

Analytic expressions of the spatial coherence of partially coherent fields propagating in the Fresnel regime in all but the simplest of scenarios are largely lacking and calculation of the Fresnel transform typically entails tedious numerical integration. Here, we provide a closed-form approximation formula for the case of a generalized source obtained by modulating the field produced by a Gauss-Shell source model with a piecewise constant transmission function, which may be used to model the field's interaction with objects and apertures. The formula characterizes the coherence function in terms of the coherence of the Gauss-Schell beam propagated in free space and a multiplicative term capturing the interaction with the transmission function. This approximation holds in the regime where the intensity width of the beam is much larger than the coherence width under mild assumptions on the modulating transmission function. The formula derived for generalized sources lays the foundation for the study of the inverse problem of scene reconstruction from coherence measurements.

physics.optics↗

arXiv2017

Signal Reconstruction from Interferometric Measurements under Sensing Constraints

This paper develops a unifying framework for signal reconstruction from interferometric measurements that is broadly applicable to various applications of interferometry. In this framework, the problem of signal reconstruction in interferometry amounts to one of basis analysis. Its applicability is shown to extend beyond conventional temporal interferometry, which leverages the relative delay between the two arms of an interferometer, to arbitrary degrees of freedom of the input signal. This allows for reconstruction of signals supported in other domains (e.g., spatial) with no modification to the underlying structure except for replacing the standard temporal delay with a generalized delay, that is, a practically realizable unitary transformation for which the basis elements are eigenfunctions. Under the proposed model, the interferometric measurements are shown to be linear in the basis coefficients, thereby enabling efficient and fast recovery of the desired information. While the corresponding linear transformation has only a limited number of degrees of freedom set by the structure of the interferometer giving rise to a highly constrained sensing structure, we show that the problem of signal recovery from such measurements can still be carried out compressively. This signifies significant reduction in sample complexity without introducing any additional randomization as is typically done in prior work leveraging compressive sensing techniques. We provide performance guarantees under constrained sensing by proving that the transformation satisfies sufficient conditions for successful reconstruction of sparse signals using concentration arguments. We showcase the effectiveness of the proposed approach using simulation results, as well as actual experimental results in the context of optical modal analysis of spatial beams.

cs.IT↗

arXiv2017

Compressive optical interferometry

Compressive sensing (CS) combines data acquisition with compression coding to reduce the number of measurements required to reconstruct a sparse signal. In optics, this usually takes the form of projecting the field onto sequences of random spatial patterns that are selected from an appropriate random ensemble. We show here that CS can be exploited in `native' optics hardware without introducing added components. Specifically, we show that random sub-Nyquist sampling of an interferogram helps reconstruct the field modal structure. The distribution of reduced sensing matrices corresponding to random measurements is provably incoherent and isotropic, which helps us carry out CS successfully.

cs.IT↗

arXiv2017

Incoherent lensless imaging via coherency back-propagation

The two-point complex coherence function constitutes a complete representation for scalar quasi-monochromatic optical fields. Exploiting dynamically reconfigurable slits implemented with a digital micromirror device, we report on measurements of the complex two-point coherence function for partially coherent light scattering from a `scene' comprising one or two objects at different transverse and axial positions with respect to the source. Although the intensity shows no discernible shadows in absence of a lens, numerically back-propagating the measured complex coherence function allows estimating the objects' sizes and locations -- and thus the reconstruction of the scene.

physics.optics↗

arXiv2017

Coherence measurements of scattered incoherent light for lensless identification of an object's location and size

In absence of a lens to form an image, incoherent or partially coherent light scattering off an obstructive or reflective object forms a broad intensity distribution in the far field with only feeble spatial features. We show here that measuring the complex spatial coherence function can help in the identification of the size and location of a one-dimensional object placed in the path of a partially coherent light source. The complex coherence function is measured in the far field through wavefront sampling, which is performed via dynamically reconfigurable slits implemented on a digital micromirror device (DMD). The impact of an object -- parameterized by size and location -- that either intercepts or reflects incoherent light is studied. The experimental results show that measuring the spatial coherence function as a function of the separation between two slits located symmetrically around the optical axis can identify the object transverse location and angle subtended from the detection plane (the ratio of the object width to the axial distance from the detector). The measurements are in good agreement with numerical simulations of a forward model based on Fresnel propagators. The rapid refresh rate of DMDs may enable real-time operation of such a lensless coherency imaging scheme.

physics.optics↗

arXiv2016

Basis-neutral Hilbert-space analyzers

Interferometry is one of the central organizing principles of optics. Key to interferometry is the concept of optical delay, which facilitates spectral analysis in terms of time-harmonics. In contrast, when analyzing a beam in a Hilbert space spanned by spatial modes -- a critical task for spatial-mode multiplexing and quantum communication -- basis-specific principles are invoked that are altogether distinct from that of `delay.' Here, we extend the traditional concept of temporal delay to the spatial domain, thereby enabling the analysis of a beam in an arbitrary spatial-mode basis -- exemplified using Hermite-Gaussian and radial Laguerre-Gaussian modes. Such generalized delays correspond to optical implementations of fractional transforms; for example, the fractional Hankel transform is the generalized delay associated with the space of Laguerre-Gaussian modes, and an interferometer incorporating such a `delay' obtains modal weights in the associated Hilbert space. By implementing an inherently stable, reconfigurable spatial-light-modulator-based polarization- interferometer, we have constructed a `Hilbert-space analyzer' capable of projecting optical beams onto any modal basis.

physics.optics↗

arXiv2010

Sensor Management for Tracking in Sensor Networks

We study the problem of tracking an object moving through a network of wireless sensors. In order to conserve energy, the sensors may be put into a sleep mode with a timer that determines their sleep duration. It is assumed that an asleep sensor cannot be communicated with or woken up, and hence the sleep duration needs to be determined at the time the sensor goes to sleep based on all the information available to the sensor. Having sleeping sensors in the network could result in degraded tracking performance, therefore, there is a tradeoff between energy usage and tracking performance. We design sleeping policies that attempt to optimize this tradeoff and characterize their performance. As an extension to our previous work in this area [1], we consider generalized models for object movement, object sensing, and tracking cost. For discrete state spaces and continuous Gaussian observations, we derive a lower bound on the optimal energy-tracking tradeoff. It is shown that in the low tracking error regime, the generated policies approach the derived lower bound.

cs.NI↗

arXiv2010

Sensor Scheduling for Energy-Efficient Target Tracking in Sensor Networks

In this paper we study the problem of tracking an object moving randomly through a network of wireless sensors. Our objective is to devise strategies for scheduling the sensors to optimize the tradeoff between tracking performance and energy consumption. We cast the scheduling problem as a Partially Observable Markov Decision Process (POMDP), where the control actions correspond to the set of sensors to activate at each time step. Using a bottom-up approach, we consider different sensing, motion and cost models with increasing levels of difficulty. At the first level, the sensing regions of the different sensors do not overlap and the target is only observed within the sensing range of an active sensor. Then, we consider sensors with overlapping sensing range such that the tracking error, and hence the actions of the different sensors, are tightly coupled. Finally, we consider scenarios wherein the target locations and sensors' observations assume values on continuous spaces. Exact solutions are generally intractable even for the simplest models due to the dimensionality of the information and action spaces. Hence, we devise approximate solution techniques, and in some cases derive lower bounds on the optimal tradeoff curves. The generated scheduling policies, albeit suboptimal, often provide close-to-optimal energy-tracking tradeoffs.

cs.MA↗