Search

Distributed massive multiple-input multiple-output networks utilize a large number of distributed access points (APs) to serve multiple user equipments (UEs), offering significant potential for both communication and localization. However, these networks require frequent phase and time calibration between distributed antennas due to oscillator phase drifts, crucial for reciprocity-based coherent beamforming and accurate localization. While this calibration is typically performed through bi-directional measurements between antennas, it can be simplified to unidirectional measurement under perfect knowledge of antenna locations. This paper extends a recent phase calibration narrowband line-of-sight (LoS) model to a phase and time calibration wideband orthogonal frequency division multiplexing model, including both LoS and reflection paths and allowing for joint phase and time calibrations. We explore different scenarios, considering whether or not prior knowledge of antenna locations and the map is available. For each case, we introduce a practical maximum likelihood estimator and conduct Cramer-Rao lower bound (CRLB) analyses to benchmark performance. Simulations validate our estimators against the CRLB in these scenarios., Comment: 6 pages, to appear in IEEE GLOBECOM 2024

Cell-free massive multiple-input multiple-output (mMIMO) networks enhance coverage and spectral efficiency (SE) by distributing antennas across access points (APs) with phase coherence between APs. However, the use of cost-efficient local oscillators (LOs) introduces phase noise (PN) that compromises phase coherence, even with centralized processing. Sharing an LO across APs can reduce costs in specific configurations but cause correlated PN between APs, leading to correlated interference that affects centralized combining. This can be improved by exploiting the PN correlation in channel estimation. This paper presents an uplink orthogonal frequency division multiplexing (OFDM) signal model for PN-impaired cell-free mMIMO, addressing gaps in single-carrier signal models. We evaluate mismatches from applying single-carrier methods to OFDM systems, showing how they underestimate the impact of PN and produce over-optimistic achievable SE predictions. Based on our OFDM signal model, we propose two PN-aware channel and common phase error estimators: a distributed estimator for uncorrelated PN with separate LOs and a centralized estimator with shared LOs. We introduce a deep learning-based channel estimator to enhance the performance and reduce the number of iterations of the centralized estimator. The simulation results show that the distributed estimator outperforms mismatched estimators with separate LOs, whereas the centralized estimator enhances distributed estimators with shared LOs., Comment: 13 pages, 8 figures, submitted to an IEEE Journal

6G networks aim to enable applications like autonomous driving by providing complementary localization services through key technologies such as non-terrestrial networks (NTNs) with low Earth orbit (LEO) satellites and reconfigurable intelligent surfaces (RIS). Prior research in 6G localization using single LEO, multi-LEO, and multi-LEO multi-RIS setups has limitations: single LEO lacks the required accuracy, while multi-LEO/RIS setups demand many visible satellites and RISs, which is not always feasible in practice. This paper explores the novel problem of localization with a single LEO satellite and a single RIS, bridging these research areas. We present a comprehensive signal model accounting for user carrier frequency offset (CFO), clock bias, and fast and slow Doppler effects. Additionally, we derive a low-complexity estimator that achieves theoretical bounds at high signal-to-noise ratios (SNR). Our results demonstrate the feasibility and accuracy of RIS-aided single-LEO localization in 6G networks and highlight potential research directions., Comment: Accepted for publication in IEEE GLOBECOM Workshops 2024

Despite AI advancements, individuals without software or hardware expertise still face barriers in designing wearable electronic devices due to the lack of code-free prototyping tools. To eliminate these barriers, we designed ProtoBot, leveraging large language models, and conducted a case study with four professionals from different disciplines through playful interaction. The study resulted in four unique wearable device concepts, with participants using Protobot to prototype selected components. From this experience, we learned that (1) uncertainty can be turned into a positive experience, (2) the ProtoBot should transform to reliably act as a guide, and (3) users need to adjust design parameters when interacting with the prototypes. Our work demonstrates, for the first time, the use of large language models in rapid prototyping of wearable electronics. We believe this approach will pioneer rapid prototyping without fear of uncertainties for people who want to develop both wearable prototypes and other products., Comment: 12 pages, 2 figures

Gain-phase impairments (GPIs) affect both communication and sensing in 6G integrated sensing and communication (ISAC). We study the effect of GPIs in a single-input, multiple-output orthogonal frequency-division multiplexing ISAC system and develop a model-based unsupervised learning approach to simultaneously (i) estimate the gain-phase errors and (ii) localize sensing targets. The proposed method is based on the optimal maximum a-posteriori ratio test for a single target. Results show that the proposed approach can effectively estimate the gain-phase errors and yield similar position estimation performance as the case when the impairments are fully known., Comment: 5 pages, 3 figures, submitted to ICASSP

Reconfigurable intelligent surfaces (RISs) are key enablers for integrated sensing and communication (ISAC) systems in the 6G communication era. With the capability of dynamically shaping the channel, RISs can enhance communication coverage. Additionally, RISs can serve as additional anchors with high angular resolution to improve localization and sensing services in extreme scenarios. However, knowledge of anchors' states such as position, orientation, and hardware impairments are crucial for localization and sensing applications, requiring dedicated calibration, including geometry and hardware calibration. This paper provides an overview of various types of RIS calibration, their impacts, and the challenges they pose in ISAC systems.

Extremely large-scale antenna array (ELAA) systems emerge as a promising technology in beyond 5G and 6G wireless networks to support the deployment of distributed architectures. This paper explores the use of ELAAs to enable joint localization, synchronization and mapping in sub-6 GHz uplink channels, capitalizing on the near-field effects of phase-coherent distributed arrays. We focus on a scenario where a single-antenna user equipment (UE) communicates with a network of access points (APs) distributed in an indoor environment, considering both specular reflections from walls and scattering from objects. The UE is assumed to be unsynchronized to the network, while the APs can be time- and phase-synchronized to each other. We formulate the problem of joint estimation of location, clock offset and phase offset of the UE, and the locations of scattering points (SPs) (i.e., mapping). Through comprehensive Fisher information analysis, we assess the impact of bandwidth, AP array size, wall reflections, SPs and phase synchronization on localization accuracy. Furthermore, we derive the maximum-likelihood (ML) estimator, which optimally combines the information collected by all the distributed arrays. To overcome its intractable high dimensionality, we propose a novel three-step algorithm that first estimates phase offset leveraging carrier phase information of line-of-sight (LoS) paths, then determines the UE location and clock offset via LoS paths and wall reflections, and finally locates SPs using a null-space transformation technique. Simulation results demonstrate the effectiveness of our approach in distributed architectures supported by radio stripes (RSs) -- an innovative alternative for implementing ELAAs -- while revealing the benefits of carrier phase exploitation and showcasing the interplay between delay and angular information under different bandwidth regimes.

Thermal soaring enables birds to perform cost-efficient flights during foraging or migration trips. Yet, although all soaring birds exploit vertical winds effectively, this group contains species that vary strongly in their morphologies. Aerodynamic rules dictate the costs and benefits of flight, but, depending on their ecological needs, species may use different behavioural strategies. To quantify these morphology-related differences in behavioural cross-country strategies, we compiled and analysed a large dataset, which includes data from over a hundred individuals from 12 soaring species recorded with high frequency tracking devices. We quantified the performance during thermalling and gliding flights, and the overall cross-country behaviour that is the combination of both. Our results confirmed aerodynamic theory across the 12 species; species with higher wing loading typically flew faster, and consequently turned on a larger radius, than lighter ones. Furthermore, the combination of circling radius and minimum sink speed determines the maximum benefits soaring birds can obtain from thermals. Also, we observed a spectrum of strategies regarding the adaptivity to thermal strength and uncovered a universal rule for cross-country strategies for all analysed species. Finally, our newly described behavioural rules can provide inspirations for technical applications, like the development of autopilot systems for autonomous robotic gliders., Comment: 31 pages, 5 figures. SI included (5 Supplementary Figures, 5 Supplementary Tables, Supplementary Text)

In this paper, we investigate 3-D localization and frequency synchronization with multiple reconfigurable intelligent surfaces (RISs) in the presence of carrier frequency offset (CFO) for a stationary user equipment (UE). In line with the 6G goals of sustainability and efficiency, we focus on a frugal communication scenario with minimal spatial and spectral resources (i.e., narrowband single-input single-ouput system), considering both the presence and blockage of the line-of-sight (LoS) path between the base station (BS) and the UE. We design a generalized likelihood ratio test (GLRT)-based LoS detector, channel parameter estimation and localization algorithms, with varying complexity. To verify the efficiency of our estimators, we compare the root mean-squared error (RMSE) to the Cram\'er- Rao bound (CRB) of the unknown parameters. We also evaluate the sensitivity of our algorithms to the presence of uncontrolled multi-path components (MPC) and various levels of CFO. Simulation results showcase the effectiveness of the proposed algorithms under minimal hardware and spectral requirements, and a wide range of operating conditions, thereby confirming the viability of RIS-aided frugal localization in 6G scenarios., Comment: 13 pages, 11 figures

In this paper, we investigate a non-lineof-sight (NLOS) sensing problem at terahertz frequencies. To be able to observe the targets shadowed by a blockage, we propose a method using reconfigurable intelligent surfaces (RIS). We employ a bistatic radar system and scan the obstructed area with RIS using hierarchical codebooks (HCB). Moreover, we propose an iterative maximum likelihood estimation (MLE) scheme to yield the optimum sensing accuracy, converging to Cramer-Rao lower bound (CRLB). We take band-specific effects such as diffraction and beam squint into account and show that these effects are relevant factors affecting localization performance in RIS-employed radar setups. The results show that under NLOS conditions, the system can still localize all the targets with very good accuracy using the RIS. The initial estimates obtained by the HCBs can provide centimeter-level accuracy, and when the optimal performance is needed, at the cost of a few extra transmissions, the proposed iterative MLE method improves the accuracy to sub-millimeter accuracy, yielding the position error bound., Comment: 14 pages, 14 figures, submitted to IEEE Access

This paper addresses the topic of integrated sensing and communications (ISAC) in 5G and emerging 6G wireless networks. ISAC systems operate within shared, congested or even contested spectrum, aiming to deliver high performance in both wireless communications and radio frequency (RF) sensing. The expected benefits include more efficient utilization of spectrum, power, hardware (HW) and antenna resources. Focusing on multicarrier (MC) systems, which represent the most widely used communication waveforms, it explores the co-design and optimization of waveforms alongside multiantenna transceiver signal processing for communications and both monostatic and bistatic sensing applications of ISAC. Moreover, techniques of high practical relevance for overcoming and even harnessing challenges posed by non-idealities in actual transceiver implementations are considered. To operate in highly dynamic radio environments and target scenarios, both model-based structured optimization and learning-based methodologies for ISAC systems are covered, assessing their adaptability and learning capabilities under real-world conditions. The paper presents trade-offs in communication-centric and radar-sensing-centric approaches, aiming for an optimized balance in densely used spectrum., Comment: To appear in IEEE Signal Processing Magazine

Sidelink positioning research predominantly focuses on the snapshot positioning problem, often within the mmWave band. Only a limited number of studies have delved into vehicle-to-anything (V2X) tracking within sub-6 GHz bands. In this paper, we investigate the V2X sidelink tracking challenges over sub-6 GHz frequencies. We propose a Kalman-filter-based tracking approach that leverages the estimated error covariance lower bounds (EECLBs) as measurement covariance, alongside a gating method to augment tracking performance. Through simulations employing ray-tracing data and super-resolution channel parameter estimation, we validate the feasibility of sidelink tracking using our proposed tracking filter with two novel EECLBs. Additionally, we demonstrate the efficacy of the gating method in identifying line-of-sight paths and enhancing tracking performance.

The omega-regular separability problem for B\"uchi VASS coverability languages has recently been shown to be decidable, but with an EXPSPACE lower and a non-primitive recursive upper bound -- the exact complexity remained open. We close this gap and show that the problem is EXPSPACE-complete. A careful analysis of our complexity bounds additionally yields a PSPACE procedure in the case of fixed dimension >= 1, which matches a pre-established lower bound of PSPACE for one dimensional B\"uchi VASS. Our algorithm is a non-deterministic search for a witness whose size, as we show, can be suitably bounded. Part of the procedure is to decide the existence of runs in VASS that satisfy certain non-linear properties. Therefore, a key technical ingredient is to analyze a class of systems of inequalities where one variable may occur in non-linear (polynomial) expressions. These so-called singly non-linear systems (SNLS) take the form A(x).y >= b(x), where A(x) and b(x) are a matrix resp. a vector whose entries are polynomials in x, and y ranges over vectors in the rationals. Our main contribution on SNLS is an exponential upper bound on the size of rational solutions to singly non-linear systems. The proof consists of three steps. First, we give a tailor-made quantifier elimination to characterize all real solutions to x. Second, using the root separation theorem about the distance of real roots of polynomials, we show that if a rational solution exists, then there is one with at most polynomially many bits. Third, we insert the solution for x into the SNLS, making it linear and allowing us to invoke standard solution bounds from convex geometry. Finally, we combine the results about SNLS with several techniques from the area of VASS to devise an EXPSPACE decision procedure for omega-regular separability of B\"uchi VASS.

This study presented the first light curve analysis of the OP Boo and V0511 Cam binary stars, which was conducted in the frame of the Binary Systems of South and North (BSN) Project. Photometric ground-based observations were conducted with standard filters at two observatories in the Czech Republic. We computed a new ephemeris for each of the systems using our extracted times of minima, TESS data, and additional literature. Linear fits for O-C diagrams of both systems were considered using the Markov Chain Monte Carlo (MCMC) method. The light curves were analyzed using the Wilson-Devinney (WD) binary code combined with the Monte Carlo (MC) simulation. The light curve solutions of both target systems required a cold starspot. The absolute parameters of the systems were calculated by using a P-M parameter relationship. The positions of the systems were also depicted on the Hertzsprung-Russell (HR), P-L, logMtot-logJ0, and T-M diagrams. The second component in both systems is determined to be a more massive and hotter star. Therefore, it can be concluded that both systems are W-type contact binary systems., Comment: 5 Tables, 4 Figures, Astrophysics Journal

Numerous sign language datasets exist, yet they typically cover only a limited selection of the thousands of signs used globally. Moreover, creating diverse sign language datasets is an expensive and challenging task due to the costs associated with gathering a varied group of signers. Motivated by these challenges, we aimed to develop a solution that addresses these limitations. In this context, we focused on textually describing body movements from skeleton keypoint sequences, leading to the creation of a new dataset. We structured this dataset around AUTSL, a comprehensive isolated Turkish sign language dataset. We also developed a baseline model, SkelCap, which can generate textual descriptions of body movements. This model processes the skeleton keypoints data as a vector, applies a fully connected layer for embedding, and utilizes a transformer neural network for sequence-to-sequence modeling. We conducted extensive evaluations of our model, including signer-agnostic and sign-agnostic assessments. The model achieved promising results, with a ROUGE-L score of 0.98 and a BLEU-4 score of 0.94 in the signer-agnostic evaluation. The dataset we have prepared, namely the AUTSL-SkelCap, will be made publicly available soon., Comment: 8 pages, 5 figures, 7 tables, submitted to IEEE conference

Future wireless networks will integrate sensing, learning and communication to provide new services beyond communication and to become more resilient. Sensors at the network infrastructure, sensors on the user equipment, and the sensing capability of the communication signal itself provide a new source of data that connects the physical and radio frequency environments. A wireless network that harnesses all these sensing data can not only enable additional sensing services, but also become more resilient to channel-dependent effects like blockage and better support adaptation in dynamic environments as networks reconfigure. In this paper, we provide a vision for integrated sensing and communication (ISAC) networks and an overview of how signal processing, optimization and machine learning techniques can be leveraged to make them a reality in the context of 6G. We also include some examples of the performance of several of these strategies when evaluated using a simulation framework based on a combination of ray tracing measurements and mathematical models that mix the digital and physical worlds.

Future generations of mobile networks call for concurrent sensing and communication functionalities in the same hardware and/or spectrum. Compared to communication, sensing services often suffer from limited coverage, due to the high path loss of the reflected signal and the increased infrastructure requirements. To provide a more uniform quality of service, distributed multiple input multiple output (D-MIMO) systems deploy a large number of distributed nodes and efficiently control them, making distributed integrated sensing and communications (ISAC) possible. In this paper, we investigate ISAC in D-MIMO through the lens of different design architectures and deployments, revealing both conflicts and synergies. In addition, simulation and demonstration results reveal both opportunities and challenges towards the implementation of ISAC in D-MIMO.

We present EgoPoseFormer, a simple yet effective transformer-based model for stereo egocentric human pose estimation. The main challenge in egocentric pose estimation is overcoming joint invisibility, which is caused by self-occlusion or a limited field of view (FOV) of head-mounted cameras. Our approach overcomes this challenge by incorporating a two-stage pose estimation paradigm: in the first stage, our model leverages the global information to estimate each joint's coarse location, then in the second stage, it employs a DETR style transformer to refine the coarse locations by exploiting fine-grained stereo visual features. In addition, we present a Deformable Stereo Attention operation to enable our transformer to effectively process multi-view features, which enables it to accurately localize each joint in the 3D world. We evaluate our method on the stereo UnrealEgo dataset and show it significantly outperforms previous approaches while being computationally efficient: it improves MPJPE by 27.4mm (45% improvement) with only 7.9% model parameters and 13.1% FLOPs compared to the state-of-the-art. Surprisingly, with proper training settings, we find that even our first-stage pose proposal network can achieve superior performance compared to previous arts. We also show that our method can be seamlessly extended to monocular settings, which achieves state-of-the-art performance on the SceneEgo dataset, improving MPJPE by 25.5mm (21% improvement) compared to the best existing method with only 60.7% model parameters and 36.4% FLOPs. Code is available at: https://github.com/ChenhongyiYang/egoposeformer ., Comment: Accepted to ECCV 2024

The light curve analyses and orbital period variations for two contact binary stars, LS Del and V997 Cyg, were presented in this work which was conducted in the frame of the Binary Systems of South and North (BSN) Project. Ground-based photometric observations were performed at two observatories in France. We used the TESS (Transiting Exoplanet Survey Satellite) data for extracting times of minima and light curve analysis of the target systems. The O-C diagram for both systems displays a parabolic trend. LS Del and V997 Cyg's orbital periods are increasing at a rate of dP/dt= 7.20*10^{-08} d yr^{-1} and dP/dt= 2.54*10^{-08} d yr^{-1}, respectively. Therefore, it can be concluded that the mass is being transferred from the less massive star to the more massive component with a rate of dM/dt= -1.96*10^{-7} M_Sun yr^{-1} for the LS Del system, and dM/dt= -3.83*10^{-7} M_Sun yr^{-1} for V997 Cyg. The parameters of the third possible object in the system were also considered. The PHysics Of Eclipsing BinariEs (PHOEBE) Python code was used to analyze the light curves. The light curve solutions needed a cold starspot due to the asymmetry in the LS Del system's light curve maxima. The mass ratio, fill-out factor, and star temperature all indicate that both systems are contact binary types in this investigation. Two methods were used to estimate the absolute parameters of the systems: one method used the parallax of Gaia DR3, and the other used a P-M relationship. The positions of the systems were also depicted on the M-L, M-R, q-L_{ratio}, and logM_{tot}-logJ_0 diagrams. We recommended that further observations and investigations be done on the existence of the fourth body in this system., Comment: Accepted by the RAA Journal

SGR J1935+2154 has truly been the most prolific magnetar over the last decade: It has been entering into burst active episodes once every 1-2 years since its discovery in 2014, it emitted the first Galactic fast radio burst associated with an X-ray burst in 2020, and has emitted hundreds of energetic short bursts. Here, we present the time-resolved spectral analysis of 51 bright bursts from SGR J1935+2154. Unlike conventional time-resolved X-ray spectroscopic studies in the literature, we follow a two-step approach to probe true spectral evolution. For each burst, we first extract spectral information from overlapping time segments, fit them with three continuum models, and employ a machine learning based clustering algorithm to identify time segments that provide the largest spectral variations during each burst. We then extract spectra from those non-overlapping (clustered) time segments and fit them again with the three models: the cutoff power-law model, the sum of two blackbody functions, and the model considering the emission of a modified black body undergoing resonant cyclotron scattering, which is applied systematically at this scale for the first time. Our novel technique allowed us to establish the genuine spectral evolution of magnetar bursts. We discuss the implications of our results and compare their collective behavior with the average burst properties of other magnetars., Comment: Accepted for publication in ApJ

Selecting appropriate sensors and actuators is a pivotal aspect of design and engineering, particularly in projects involving interactive systems. This article introduces the Design Thinking Based Iterative Sensor and Actuator Selection Flow, a structured decision-making approach aimed at streamlining this essential, yet often complex task. Created to accommodate individuals with diverse levels of technical expertise, our approach is uniquely suited for interdisciplinary teams of designers and engineers. Through the application of the flow to four real-world case studies, we highlight its broad applicability and demonstrate its efficacy in expediting project timelines and enhancing resource utilization. Our work lays a foundation for a more streamlined and user-centered process in selecting sensors and actuators, significantly benefiting the practice of interactive system design. This contribution serves as a seminal foundation for future research, offering significant contributions to both academic inquiry and practical applications across various industries. While the focus of the flow is on streamlining the selection process rather than on in-depth technical considerations, which are beyond the scope of this study, it provides a comprehensive guide for efficient and informed decision-making in the realm of interactive system design., Comment: 21 pages, 14 figures, journal

This paper undertakes a holistic investigation of two fundamental trade-offs in monostatic OFDM integrated sensing and communication (ISAC) systems-namely, the time-frequency trade-off and the spatial trade-off, originating from the choice of modulation order for random data and the design of beamforming strategies, respectively. To counteract the elevated side-lobe levels induced by varying-amplitude data in high-order QAM signaling, we propose a novel linear minimum mean-squared-error (LMMSE) estimator, capable of maintaining robust sensing performance across a wide range of SNRs. Moreover, we explore spatial domain trade-offs through two ISAC transmission strategies: concurrent, employing joint beams, and time-sharing, using separate, time-non-overlapping beams for sensing and communications. Simulations demonstrate superior performance of the LMMSE estimator, especially in detecting weak targets in the presence of strong ones with high-order QAM, consistently yielding more favorable ISAC trade-offs than existing baselines under various modulation schemes, SNR conditions, RCS levels and transmission strategies. We also provide experimental results to validate the effectiveness of the LMMSE estimator in reducing side-lobe levels, based on real-world measurements.

We show that the regular separability problem of VASS reachability languages is decidable and $\mathbf{F}_{\omega}$-complete. At the heart of our decision procedure are doubly-marked graph transition sequences, a new proof object that tracks a suitable product of the VASS we wish to separate. We give a decomposition algorithm for DMGTS that not only achieves perfectness as known from MGTS, but also a new property called faithfulness. Faithfulness allows us to construct, from a regular separator for the $\mathbb{Z}$-versions of the VASS, a regular separator for the $\mathbb{N}$-versions. Behind faithfulness is the insight that, for separability, it is sufficient to track the counters of one VASS modulo a large number that is determined by the decomposition.

This paper investigates subspace-based target detection in OFDM integrated sensing and communications (ISAC) systems, considering the impact of various constellations. To meet diverse communication demands, different constellation schemes with varying modulation orders (e.g., PSK, QAM) can be employed, which in turn leads to variations in peak sidelobe levels (PSLs) within the radar functionality. These PSL fluctuations pose a significant challenge in the context of multi-target detection, particularly in scenarios where strong sidelobe masking effects manifest. To tackle this challenge, we have devised a subspace-based approach for a step-by-step target detection process, systematically eliminating interference stemming from detected targets. Simulation results corroborate the effectiveness of the proposed method in achieving consistently high target detection performance under a wide range of constellation options in OFDM ISAC systems., Comment: 5 pages, 5 figures, this paper was accepted by ICASSP 2024

We investigate the problem of reconfigurable intelligent surface (RIS)-aided monostatic sensing of a mobile target under line-of-sight (LoS) blockage considering a single antenna, full-duplex, and dual-functional radar-communications base station (BS). For the purpose of target detection and delay/Doppler/angle estimation, we derive a detector based on the generalized likelihood ratio test (GLRT), which entails a high-dimensional parameter search and leads to angle-Doppler coupling. To tackle these challenges, we propose a two-step algorithm for solving the GLRT detector/estimator in a low-complexity manner, accompanied by a RIS phase profile design tailored to circumvent the angle-Doppler coupling effect. Simulation results verify the effectiveness of the proposed algorithm, demonstrating its convergence to theoretical bounds and its superiority over state-of-the-art mobility-agnostic benchmarks., Comment: 6 pages,7 figures, conference letter submitted to WCNC 2024

Integrated sensing and communications (ISAC) is poised to be a native technology for the forthcoming Sixth Generation (6G) era, with an emphasis on its potential to enhance communications performance through the integration of sensing information, i.e., sensing-assisted communications (SAC). Nevertheless, existing research on SAC has predominantly confined its focus to scenarios characterized by minimal clutter and obstructions, largely neglecting indoor environments, particularly those in industrial settings, where propagation channels involve high clutter density. To address this research gap, background subtraction is proposed on the monostatic sensing echoes, which effectively addresses clutter removal and facilitates detection and tracking of user equipments (UEs) in cluttered indoor environments with SAC. A realistic evaluation of the introduced SAC strategy is provided, using ray tracing (RT) data with the scenario layout following Third Generation Partnership Project (3GPP) indoor factory (InF) channel models. Simulation results show that the proposed approach enables precise predictive beamforming largely unaffected by clutter echoes, leading to significant improvements in effective data rate over the existing SAC benchmarks and exhibiting performance very close to the ideal case where perfect knowledge of UE location is available., Comment: 7 pages, 5 figures, 1 table, 1 algorithm

Joint Communication and Sensing (JCAS) is taking its first shape in WLAN sensing under IEEE 802.11bf, where standardized WLAN signals and protocols are exploited to enable radar-like sensing. However, an overlooked problem in JCAS, and specifically in WLAN Sensing, is the sensitivity of the system to a deceptive jammer, which introduces phantom targets to mislead the victim radar receiver. Standardized waveforms and sensing parameters make the system vulnerable to physical layer attacks. Moreover, orthogonal frequency-division multiplexing (OFDM) makes deceptive jamming even easier as it allows digitally generated artificial range/Doppler maps. This paper studies deceptive jamming in JCAS, with a special focus on WLAN Sensing. The provided mathematical models give insights into how to design jamming signals and their impact on the sensing system. Numerical analyses illustrate various distortions caused by deceptive jamming, while the experimental results validate the need for meticulous JCAS design to protect the system against physical layer attacks in the form of deceptive jamming., Comment: 7 pages, 8 figures

Hybrid analog-digital beamforming stands out as a key enabler for future communication systems with a massive number of antennas. In this paper, we investigate the hybrid precoder design problem for angle-of-departure (AoD) estimation, where we take into account the practical constraint on the limited resolution of phase shifters. Our goal is to design a radio-frequency (RF) precoder and a base-band (BB) precoder to estimate AoD of the user with a high accuracy. To this end, we propose a two-step strategy where we first obtain the fully digital precoder that minimizes the angle error bound, and then the resulting digital precoder is decomposed into an RF precoder and a BB precoder, based on the alternating optimization and the alternating direction method of multipliers. Besides, we derive the quantization error upper bound and analyse the convergence behavior of the proposed algorithm. Numerical results demonstrate the superior performance of the proposed method over state-of-the-art baselines., Comment: This paper has been accepted for publication in IEEE Transactions on Communications

In this article, we address the timely topic of cellular bistatic simultaneous localization and mapping (SLAM) with specific focus on end-to-end processing solutions, from raw I/Q samples, via channel parameter estimation to user equipment (UE) and landmark location information in millimeter-wave (mmWave) networks, with minimal prior knowledge. Firstly, we propose a new multipath channel parameter estimation solution that operates directly with beam reference signal received power (BRSRP) measurements, alleviating the need to know the true antenna beam-patterns or the underlying beamforming weights. Additionally, the method has built-in robustness against unavoidable antenna sidelobes. Secondly, we propose new snapshot SLAM algorithms that have increased robustness and identifiability compared to prior art, in practical built environments with complex clutter and multi-bounce propagation scenarios, and do not rely on any a priori motion model. The performance of the proposed methods is assessed at the 60 GHz mmWave band, via both realistic ray-tracing evaluations as well as true experimental measurements, in an indoor environment. A wide set of offered results demonstrate the improved performance, compared to the relevant prior art, in terms of the channel parameter estimation as well as the end-to-end SLAM performance. Finally, the article provides the measured 60 GHz data openly available for the research community, facilitating results reproducibility as well as further algorithm development., Comment: Accepted to IEEE Journal on Selected Areas in Communications Special Issue on Positioning and Sensing Over Wireless Networks

In the context of single-base station (BS) non-line-of-sight (NLoS) single-epoch localization with the aid of a reflective reconfigurable intelligent surface (RIS), this paper introduces a novel three-step algorithm that jointly estimates the position and velocity of a mobile user equipment (UE), while compensating for the Doppler effects observed in near-field (NF) at the RIS elements over the short transmission duration of a sequence of downlink (DL) pilot symbols. First, a low-complexity initialization procedure is proposed, relying in part on far-field (FF) approximation and a static user assumption. Then, an alternating optimization procedure is designed to iteratively refine the velocity and position estimates, as well as the channel gain. The refinement routines leverage small angle approximations and the linearization of the RIS response, accounting for both NF and mobility effects. We evaluate the performance of the proposed algorithm through extensive simulations under diverse operating conditions with regard to signal-to-noise ratio (SNR), UE mobility, uncontrolled multipath and RIS-UE distance. Our results reveal remarkable performance improvements over the state-of-the-art (SoTA) mobility-agnostic benchmark algorithm, while indicating convergence of the proposed algorithm to respective theoretical bounds on position and velocity estimation., Comment: 11 pages, 9 figures, journal

We propose FoundPose, a model-based method for 6D pose estimation of unseen objects from a single RGB image. The method can quickly onboard new objects using their 3D models without requiring any object- or task-specific training. In contrast, existing methods typically pre-train on large-scale, task-specific datasets in order to generalize to new objects and to bridge the image-to-model domain gap. We demonstrate that such generalization capabilities can be observed in a recent vision foundation model trained in a self-supervised manner. Specifically, our method estimates the object pose from image-to-model 2D-3D correspondences, which are established by matching patch descriptors from the recent DINOv2 model between the image and pre-rendered object templates. We find that reliable correspondences can be established by kNN matching of patch descriptors from an intermediate DINOv2 layer. Such descriptors carry stronger positional information than descriptors from the last layer, and we show their importance when semantic information is ambiguous due to object symmetries or a lack of texture. To avoid establishing correspondences against all object templates, we develop an efficient template retrieval approach that integrates the patch descriptors into the bag-of-words representation and can promptly propose a handful of similarly looking templates. Additionally, we apply featuremetric alignment to compensate for discrepancies in the 2D-3D correspondences caused by coarse patch sampling. The resulting method noticeably outperforms existing RGB methods for refinement-free pose estimation on the standard BOP benchmark with seven diverse datasets and can be seamlessly combined with an existing render-and-compare refinement method to achieve RGB-only state-of-the-art results. Project page: evinpinar.github.io/foundpose.

This thesis presents a formalization of martingales in arbitrary Banach spaces using Isabelle/HOL. We begin by examining formalizations in prominent proof repositories and extend the definition of the conditional expectation operator from the real numbers to general Banach spaces. The current formalization of conditional expectation in the Isabelle library is limited to real-valued functions. To overcome this limitation, we use measure theoretic arguments to construct the conditional expectation in Banach spaces using suitable limits of simple functions. Subsequently, we define stochastic processes and introduce the concepts of adapted, progressively measurable and predictable processes using suitable locale definitions. We show the relation $$\text{adapted} \supseteq \text{progressive} \supseteq \text{predictable}$$ Furthermore, we show that progressive measurability and adaptedness are equivalent when the indexing set is discrete. We pay special attention to predictable processes in discrete-time, showing that $(X_n)_{n \in \mathbb{N}}$ is predictable if and only if $(X_{n + 1})_{n \in \mathbb{N}}$ is adapted. We rigorously define martingales, submartingales, and supermartingales, presenting their first consequences and corollaries. Discrete-time martingales are given special attention in the formalization. In every step of our formalization, we make extensive use of the powerful locale system of Isabelle. The formalization further contributes by generalizing concepts in Bochner integration by extending their application from the real numbers to arbitrary Banach spaces equipped with a second-countable topology. Induction schemes for integrable simple functions on Banach spaces are introduced. Additionally, we formalize a powerful result called the "Averaging Theorem" which allows us to show that densities are unique in Banach spaces., Comment: 61 pages, Bachelor's Thesis in Informatics and Mathematics at the Technical University of Munich

In this paper, we investigate sub-6 GHz V2X sidelink positioning scenarios in 5G vehicular networks through a comprehensive end-to-end methodology encompassing ray-tracing-based channel modeling, novel theoretical performance bounds, high-resolution channel parameter estimation, and geometric positioning using a round-trip-time (RTT) protocol. We first derive a novel, approximate Cram\'er-Rao bound (CRB) on the connected road user (CRU) position, explicitly taking into account multipath interference, path merging, and the RTT protocol. Capitalizing on tensor decomposition and ESPRIT methods, we propose high-resolution channel parameter estimation algorithms specifically tailored to dense multipath V2X sidelink environments, designed to detect multipath components (MPCs) and extract line-of-sight (LoS) parameters. Finally, using realistic ray-tracing data and antenna patterns, comprehensive simulations are conducted to evaluate channel estimation and positioning performance, indicating that sub-meter accuracy can be achieved in sub-6 GHz V2X with the proposed algorithms.

Boost, buck-boost, and fly-back DC-DC converters which are utilized in power lines of any electric vehicles, solar energy, and power factor correction applications require control systems to regulate the output voltage under mismatched disturbances i.e. load current and input voltage. In continuous current mode operation, the converters, however, are bandwidth-limited control systems due to their non-minimum phase nature. Disturbance rejection performance of such bandwidth-limited control system is an open problem especially where input voltage and load current disturbances cannot be measured. A third-order integral-lead (Type-III) compensator with a disturbance observer (DOB) can suppress the disturbances and unmodeled dynamics of the converters. However, synthesizing such a fixed-order control system under performance constraints is generally challenging. This paper proposes a simultaneous design of a Type-III compensator and a fixed order DOB based on Hinf control approach using convex optimization. The optimization problem is formulated in a convex-concave procedure by including the estimated disturbance and sensor noise functions. We proposed a two-stage iterative algorithm to solve the problem in a convex optimization framework. Convex programming can therefore be used to synthesize an optimal fixed-order control system by removing the non-convex constraints on the parameter space. The approach leads to an easily resolvable control algorithm with linear matrix inequality constraints over parameterized controller parameters due to the convexity of the problem. The proposed control system is implemented on a 200W DC-DC multi-phase interleaved boost converter prototype using a TMS320F28335 digital signal processor. The performance of the approach is compared with the well-known K-factor design approach for the Type-III compensators.

Integrated sensing and communications (ISAC) is envisioned as one of the key enablers of next-generation wireless systems, offering improved hardware, spectral, and energy efficiencies. In this paper, we consider an ISAC transceiver with an impaired uniform linear array that performs single-target detection and position estimation, and multiple-input single-output communications. A differentiable model-based learning approach is considered, which optimizes both the transmitter and the sensing receiver in an end-to-end manner. An unsupervised loss function that enables impairment compensation without the need for labeled data is proposed. Semi-supervised learning strategies are also proposed, which use a combination of small amounts of labeled data and unlabeled data. Our results show that semi-supervised learning can achieve similar performance to supervised learning with 98.8% less required labeled data., Comment: 7 pages, 5 figures. Accepted to ICMLCN 2024

6G promises a paradigm shift in which positioning and sensing are inherently integrated, enhancing not only the communication performance but also enabling location- and context-aware services. Historically, positioning and sensing have been viewed through the lens of cost and performance trade-offs, implying an escalated demand for resources, such as radio, physical, and computational resources, for improved performance. However, 6G goes beyond this traditional perspective to encompass a set of broader values, namely sustainability, inclusiveness, and trustworthiness. From a joint industrial/academic perspective, this paper aims to shed light on these important value indicators and their relationship with the conventional key performance indicators in the context of positioning and sensing., Comment: Submitted and under review for IEEE Wireless Communications

The far-field channel model has historically been used in wireless communications due to the simplicity of mathematical modeling and convenience for algorithm design. With the need for high data rates, low latency, and ubiquitous connectivity in the sixth generation (6G) of communication systems, new technology enablers such as extremely large antenna arrays (ELAAs), reconfigurable intelligent surfaces (RISs), and distributed multiple-input-multiple-output (D-MIMO) systems will be adopted. These enablers not only aim to improve communication services but also have an impact on localization and sensing (L&S), which are expected to be fundamentally built-in functionalities in future wireless systems. Despite appearing in different scenarios and supporting different frequency bands, such enablers share the so-called near-field (NF) features, which will provide extra geometric information conducive to L&S. In this work, we describe the NF features, namely, the spherical wave model, spatial non-stationarity, and beam squint effect. After discussing how L&S see NF differently from communication, the opportunities and open research challenges are provided.

We study model-based end-to-end learning in the context of integrated sensing and communication (ISAC) under hardware impairments. A monostatic orthogonal frequency-division multiplexing (OFDM) sensing and multiple-input single-output (MISO) communication scenario is considered, incorporating hardware imperfections at the ISAC transceiver antenna array. To enable end-to-end learning of the ISAC transmitter and sensing receiver, we propose a novel differentiable version of the orthogonal matching pursuit (OMP) algorithm that is suitable for multi-target sensing. Based on the differentiable OMP, we devise two model-based parameterization strategies to account for hardware impairments: (i) learning a dictionary of steering vectors for different angles, and (ii) learning the parameterized hardware impairments. For the single-target case, we carry out a comprehensive performance analysis of the proposed model-based learning approaches, a neural-network-based learning approach and a strong baseline consisting of least-squares beamforming, conventional OMP, and maximum-likelihood symbol detection for communication. Results show that learning the parameterized hardware impairments offers higher detection probability, better angle and range estimation accuracy, lower communication symbol error rate (SER), and exhibits the lowest complexity among all learning methods. Lastly, we demonstrate that learning the parameterized hardware impairments is scalable also to multiple targets, revealing significant improvements in terms of ISAC performance over the baseline., Comment: 13 pages, 10 figures, submitted to JSTSP

Orthogonal time frequency space (OTFS) is a promising alternative to orthogonal frequency division multiplexing (OFDM) for high-mobility communications. We propose a novel multiple-input multiple-output (MIMO) integrated sensing and communication (ISAC) system based on OTFS modulation. We begin by deriving new sensing and communication signal models for the proposed MIMO-OTFS ISAC system that explicitly capture inter-symbol interference (ISI) and inter-carrier interference (ICI) effects. We then develop a generalized likelihood ratio test (GLRT) based multi-target detection and delay-Doppler-angle estimation algorithm for MIMO-OTFS radar sensing that can simultaneously mitigate and exploit ISI/ICI effects, to prevent target masking and surpass standard unambiguous detection limits in range/velocity. Moreover, considering two operational modes (search/track), we propose an adaptive MIMO-OTFS ISAC transmission strategy. For the search mode, we introduce the concept of delay-Doppler (DD) multiplexing, enabling omnidirectional probing of the environment and large virtual array at the OTFS radar receiver. For the track mode, we pursue a directional transmission approach and design an OTFS ISAC optimization algorithm in spatial and DD domains, seeking the optimal trade-off between radar signal-to-noise ratio (SNR) and achievable rate. Simulation results verify the effectiveness of the proposed sensing algorithm and reveal valuable insights into OTFS ISAC trade-offs under varying communication channel characteristics., Comment: arXiv admin note: text overlap with arXiv:2103.16162

The rise of Artificial Intelligence (AI) recently empowered researchers to investigate hard mathematical problems which eluded traditional approaches for decades. Yet, the use of AI in Universal Algebra (UA) -- one of the fields laying the foundations of modern mathematics -- is still completely unexplored. This work proposes the first use of AI to investigate UA's conjectures with an equivalent equational and topological characterization. While topological representations would enable the analysis of such properties using graph neural networks, the limited transparency and brittle explainability of these models hinder their straightforward use to empirically validate existing conjectures or to formulate new ones. To bridge these gaps, we propose a general algorithm generating AI-ready datasets based on UA's conjectures, and introduce a novel neural layer to build fully interpretable graph networks. The results of our experiments demonstrate that interpretable graph networks: (i) enhance interpretability without sacrificing task accuracy, (ii) strongly generalize when predicting universal algebra's properties, (iii) generate simple explanations that empirically validate existing conjectures, and (iv) identify subgraphs suggesting the formulation of novel conjectures.

We study the languages recognized by well-structured transition systems (WSTS) with upward and downward compatibility. Our first result shows that every pair of disjoint WSTS languages is regularly separable: there is a regular language containing one of them while being disjoint from the other. As a consequence, if a language as well as its complement are both recognized by WSTS, then they are necessarily regular. Our second result shows that the languages recognized by deterministic WSTS form a strict subclass of the languages recognized by all WSTS: we give a non-deterministic WSTS language that we prove cannot be recognized by a deterministic WSTS. The proof relies on a novel characterization of the languages accepted by deterministic WSTS., Comment: This paper is the journal version of the CONCUR23 paper "Separability and Non-Determinizability of WSTS'', which can be found in the previous version of this arxiv document. It covers both papers about regular separability in WSTS: the CONCUR23 paper and its predecessor the CONCUR18 paper. As this version does not contain an appendix, please refer to the previous version for missing proofs

We propose urgency programs, a new programming model with support for alternation, imperfect information, and recursion. The novelty are urgency annotations that decorate the (angelic and demonic) choice operators and control the order in which alternation is resolved. We study standard notions of contextual equivalence for urgency programs. Our first main result are fully abstract characterizations of these relations based on sound and complete axiomatizations. Our second main result settles their computability via a normal form construction. Notably, we show that the contextual preorder is (2h-1)-EXPTIME-complete for programs of maximal urgency h when the regular observable is given as an input resp. PTIME-complete when the regular observable is fixed. We designed urgency programs as a framework in which it is convenient to formulate and study verification and synthesis problems. We demonstrate this on a number of examples including the verification of concurrent and recursive programs and hyper model checking.

We present AssemblyHands, a large-scale benchmark dataset with accurate 3D hand pose annotations, to facilitate the study of egocentric activities with challenging hand-object interactions. The dataset includes synchronized egocentric and exocentric images sampled from the recent Assembly101 dataset, in which participants assemble and disassemble take-apart toys. To obtain high-quality 3D hand pose annotations for the egocentric images, we develop an efficient pipeline, where we use an initial set of manual annotations to train a model to automatically annotate a much larger dataset. Our annotation model uses multi-view feature fusion and an iterative refinement scheme, and achieves an average keypoint error of 4.20 mm, which is 85% lower than the error of the original annotations in Assembly101. AssemblyHands provides 3.0M annotated images, including 490K egocentric images, making it the largest existing benchmark dataset for egocentric 3D hand pose estimation. Using this data, we develop a strong single-view baseline of 3D hand pose estimation from egocentric images. Furthermore, we design a novel action classification task to evaluate predicted 3D hand poses. Our study shows that having higher-quality hand poses directly improves the ability to recognize actions., Comment: CVPR 2023. Project page: https://assemblyhands.github.io/

The technology of reconfigurable intelligent surfaces (RIS) has been showing promising potential in a variety of applications relying on Beyond-5G networks. Reconfigurable intelligent surface (RIS) can indeed provide fine channel flexibility to improve communication quality of service (QoS) or restore localization capabilities in challenging operating conditions, while conventional approaches fail (e.g., due to insufficient infrastructure, severe radio obstructions). In this paper, we tackle a general low-complexity approach for optimizing the precoders that control such reflective surfaces under hardware constraints. More specifically, it allows the approximation of any desired beam pattern using a pre-characterized look-up table of feasible complex reflection coefficients for each RIS element. The proposed method is first evaluated in terms of beam fidelity for several examples of RIS hardware prototypes. Then, by means of a theoretical bounds analysis, we examine the impact of RIS beams approximation on the performance of near-field downlink positioning in non-line-of-sight conditions, while considering several RIS phase profiles (incl. directional, random and localization-optimal designs). Simulation results in a canonical scenario illustrate how the introduced RIS profile optimization scheme can reliably produce the desired RIS beams under realistic hardware limitations. They also highlight its sensitivity to both the underlying hardware characteristics and the required beam kinds in relation to the specificity of RIS-aided localization applications., Comment: 27 pages, 8 figures, journal

The first multiband photometric solutions of the short-period V Gru eclipsing binary from the southern hemisphere is presented in this study. Light curves of the system were observed through BVI filters at the Congarinni Observatory in Australia for 15 nights. In addition to the new ground-based data, we also used the TESS observations in two sectors. We analyzed the light curves of the system using the PHysics Of Eclipsing BinariEs (PHOEBE) 2.4.7 version code to achieve the best accordance with the photometric observations. The solutions suggest that V Gru is a near-contact binary system with q=1.302(81) mass ratio, f1=0.010(23), f2=-0.0.009(21), and i=73.45(38). We considered the two hot spots on the hotter and cooler components for the light curve analysis. We extracted the minima times from the light curves based on the Markov Chain Monte Carlo (MCMC) approach. Using our new light curves, TESS, and additional literature minima, we computed the ephemeris of V Gru. The system's eclipse timing variation trend was determined using the MCMC method. This system is a good and challenging case for future studies., Comment: Accepted by the Research in Astronomy and Astrophysics (RAA) journal

Positioning is expected to be a core function in intelligent transportation systems (ITSs) to support communication and location-based services, such as autonomous driving, traffic control, etc. With the advent of low-cost reflective reconfigurable intelligent surfaces (RISs) to be deployed in beyond 5G/6G networks, extra anchors with high angular resolutions can boost signal quality and makes high-precision positioning with extended coverage possible in ITS scenarios. However, the passive nature of the RIS requires a signal source such as a base station (BS), which limits the positioning service in extreme situations, such as tunnels or dense urban areas, where 5G/6G BSs are not accessible. In this work, we show that with the assistance of (at least) two RISs and sidelink communication between two user equipments (UEs), these UEs can be localized even without any BSs involvement. A two-stage 3D sidelink positioning algorithm is proposed, benchmarked by the derived Cram\'er-Rao bounds. The effects of multipath and RIS profile designs on positioning performance are evaluated, and several scenarios with different RIS and UE locations are discussed for localizability analysis. Simulation results demonstrate the promising positioning accuracy of the proposed BS-free sidelink communication system in challenging ITS scenarios. Additionally, we propose and evaluate several solutions to eliminate potential blind areas where positioning performance is poor, such as removing clock offset via round-trip communication, adding geometrical prior or constraints, as well as introducing more RISs.

Reconfigurable intelligent surfaces (RISs) hold great potential as one of the key technological enablers for beyond-5G wireless networks, improving localization and communication performance under line-of-sight (LoS) blockage conditions. However, hardware imperfections might cause RIS elements to become faulty, a problem referred to as pixel failures, which can constitute a major showstopper especially for localization. In this paper, we investigate the problem of RIS-aided localization of a user equipment (UE) under LoS blockage in the presence of RIS pixel failures, considering the challenging single-input single-output (SISO) scenario. We first explore the impact of such failures on accuracy through misspecified Cramer-Rao bound (MCRB) analysis, which reveals severe performance loss with even a small percentage of pixel failures. To remedy this issue, we develop two strategies for joint localization and failure diagnosis (JLFD) to detect failing pixels while simultaneously locating the UE with high accuracy. The first strategy relies on l_1-regularization through exploitation of failure sparsity. The second strategy detects the failures one-by-one by solving a multiple hypothesis testing problem at each iteration, successively enhancing localization and diagnosis accuracy. Simulation results show significant performance improvements of the proposed JLFD algorithms over the conventional failure-agnostic benchmark, enabling successful recovery of failure-induced performance degradations.

Radio stripes (RSs) is an emerging technology in beyond 5G and 6G wireless networks to support the deployment of cell-free architectures. In this paper, we investigate the potential use of RSs to enable joint positioning and synchronization in the uplink channel at sub-6 GHz bands. The considered scenario consists of a single-antenna user equipment (UE) that communicates with a network of multiple-antenna RSs distributed over a wide area. The UE is assumed to be unsynchronized to the RSs network, while individual RSs are time- and phase-synchronized. We formulate the problem of joint estimation of position, clock offset, and phase offset of the UE and derive the corresponding maximum-likelihood (ML) estimator, both with and without exploiting carrier phase information. To gain fundamental insights into the achievable performance, we also conduct a Fisher information analysis and inspect the theoretical lower bounds numerically. Simulation results demonstrate that promising positioning and synchronization performance can be obtained in cell-free architectures supported by RSs, revealing at the same time the benefits of carrier phase exploitation through phase-synchronized RSs.

We consider the problem of ESPRIT-oriented precoder design for beamspace angle-of-departure (AoD) estimation in downlink mmWave multiple-input single-output communications. Standard precoders (i.e., directional/sum beams) yield poor performance in AoD estimation, while Cramer-Rao bound-optimized precoders undermine the so-called shift invariance property (SIP) of ESPRIT. To tackle this issue, the problem of designing ESPRIT-oriented precoders is formulated to jointly optimize over the precoding matrix and the SIP-restoring matrix of ESPRIT. We develop an alternating optimization approach that updates these two matrices under unit-modulus constraints for analog beamforming architectures. Simulation results demonstrate the validity of the proposed approach while providing valuable insights on the beampatterns of the ESPRIT-oriented precoders.