Search

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