SearcharxivSearch

arXiv subjects

Mengyuan Wang

Publications and source records attributed to Mengyuan Wang.

8 recordsLinked to original sources

Learning Contextual Runtime Monitors for Safe AI-Based Autonomy

We introduce a novel framework for learning context-aware runtime monitors for AI-based control ensembles. Machine-learning (ML) controllers are increasingly deployed in (autonomous) cyber-physical systems because of their ability to solve complex decision-making tasks. However, their accuracy can degrade sharply in unfamiliar environments, creating significant safety concerns. Traditional ensemble methods aim to improve robustness by averaging or voting across multiple controllers, yet this often dilutes the specialized strengths that individual controllers exhibit in different operating contexts. We argue that, rather than blending controller outputs, a monitoring framework should identify and exploit these contextual strengths. In this paper, we reformulate the design of safe AI-based control ensembles as a contextual monitoring problem. A monitor continuously observes the system's context and selects the controller best suited to the current conditions. To achieve this, we cast monitor learning as a contextual learning task and draw on techniques from contextual multi-armed bandits. Our approach comes with two key benefits: (1) theoretical safety guarantees during controller selection, and (2) improved utilization of controller diversity. We validate our framework in two simulated autonomous driving scenarios, demonstrating significant improvements in both safety and performance compared to non-contextual baselines.

cs.LG

3D Wi-Fi Signal Measurement in Realistic Digital Twin Testbed Environments Using Ray Tracing

Accurate and efficient modeling of indoor wireless signal propagation is crucial for the deployment of next-generation Wi-Fi. This paper presents a digital twin-based measurement system that integrates real-world 3D environment reconstruction with deterministic ray tracing for physically grounded electromagnetic modeling. Building geometry is obtained through LiDAR scanning, followed by object segmentation and assignment of ITU-R standard material parameters. The propagation process is simulated with a GPU-accelerated ray-tracing engine that generates path-level channel attributes, including delay, power, angular dispersion, and Ricean K-factor. Under identical runtime constraints, the proposed system is evaluated against a commercial measurement simulator, demonstrating up to 21 dB higher path gain and consistently improved signal-to-interference-plus-noise ratio in line-of-sight conditions. Additionally, experiments against onsite RSSI measurements confirm a high spatial correlation of 0.98 after calibration, proving the system's fidelity in real-world settings. Furthermore, coverage analysis across 2.4 GHz, 5 GHz, and 6 GHz bands demonstrates the capability of system to model frequency-dependent material attenuation for Wi-Fi 6E/7 networks. Finally, the system offers interactive 3D visualization and on-demand data extraction, highlighting its potential for digital twin-driven wireless system design and optimization.

cs.NI

Empirical Studies of Large Scale Environment Scanning by Consumer Electronics

This paper presents an empirical evaluation of the Matterport Pro3, a consumer-grade 3D scanning device, for large-scale environment reconstruction. We conduct detailed scanning (1,099 scanning points) of a six-floor building (17,567 square meters) and assess the device's effectiveness, limitations, and performance enhancements in diverse scenarios. Challenges encountered during the scanning are addressed through proposed solutions, while we also explore advanced methods to overcome them more effectively. Comparative analysis with another consumer-grade device (iPhone) highlights the Pro3's balance between cost-effectiveness and performance. The Matterport Pro3 achieves a denser point cloud with 1,877,324 points compared to the iPhone's 506,961 points and higher alignment accuracy with an RMSE of 0.0118 meters. The cloud-to-cloud (C2C) average distance error between the two point cloud models is 0.0408 meters, with a standard deviation of 0.0715 meters. The study demonstrates the Pro3's ability to generate high-quality 3D models suitable for large-scale applications, leveraging features such as LiDAR and advanced alignment techniques.

eess.IV

Emergent grain boundary phases in stressed polycrystalline thin films

The grain boundary (GB) microstructure influences and is influenced by the development of residual stresses during synthesis of polycrystalline thin films. Recent studies have shown that the frustration between the preferred growth direction and rotations of abutting crystals to local cusps in GB energies leads to internal stresses localized within nanoscopic surface layers around the valleys and ridges that form at emergent boundaries (eGBs). Using a combination of continuum frameworks, numerical analyses and all-atom simulations of bicrystal $\langle 111\rangle$ copper films, we show that eGBs tune their surface morphology and rotation extent in response to external strains. Compression favors rotation to and growth of low energy GB phases (complexions) at eGB valleys while tension favors the transitions at eGB ridges, a reflection of the stress-induced mass efflux/influx that changes the energetic balance between interfacial and deformation energies. Molecular dynamics simulations of strained and growing bicrystal films reveal that the eGB phase transition is coupled to island formation at the surface triple junctions, providing a direct link between eGB phases and surface step flow. The interplay between eGB structure, morphology and mechanics emerges as a crucial ingredient for predictive understanding of stress and morphological evolution during film growth, with broad implications for multifunctional response of polycrystalline surfaces in a diverse range of surface phenomena such as surface mediated deformation, interfacial embrittlement, thermal grooving, stress corrosion, surface catalysis and topological conduction.

cond-mat.mtrl-sci

To charge in-flight or not: an inquiry into parallel-hybrid electric aircraft configurations via optimal control

We examine two configurations for parallel hybrid electric aircraft, one with, and one without, a mechanical connection between the engines and the electric motors. For this two designs, we then review the power allocation problem in the context of aircraft energy management for a 19-seat conceptual Hybrid Electric Aircraft. We then represent the original optimal control problem as a finite-dimensional optimization and validate the second-order sufficient conditions for global optimality of the obtained solution. This is then followed by a sensitivity analysis of the fuel consumption on the initial aircraft weight and flight endurance. Our simulation and theoretical results clarify the limited benefit of charging the battery in-flight for this class of hybrid electric aircraft to reduce $CO_2$ emissions.

math.OC

The Geometry and Kinematics of the Matrix Lie Group $SE_K(3)$

Currently state estimation is very important for the robotics, and the uncertainty representation based Lie group is natural for the state estimation problem. It is necessary to exploit the geometry and kinematic of matrix Lie group sufficiently. Therefore, this note gives a detailed derivation of the recently proposed matrix Lie group $SE_K(3)$ for the first time, our results extend the results in Barfoot \cite{barfoot2017state}. Then we describe the situations where this group is suitable for state representation. We also have developed code based on Matlab framework for quickly implementing and testing.

cs.RO

Vertiport Selection in Hybrid Air-Ground Transportation Networks via Mathematical Programs with Equilibrium Constraints

Urban air mobility is a concept that promotes aerial modes of transport in urban areas. In these areas, the location and capacity of the vertiports--where the travelers embark and disembark the aircraft--not only affect the flight delays of the aircraft, but can also aggravate the congestion of ground vehicles by creating extra ground travel demands. We introduce a mathematical model for selecting the location and capacity of the vertiports that minimizes the traffic congestion in hybrid air-ground transportation networks. Our model is based on a mathematical program with bilinear equilibrium constraints. Furthermore, we show how to compute a global optimal solution of this mathematical program by solving a mixed integer linear program. We demonstrate our results via the Anaheim transportation network model, which contains more than 400 nodes and 900 links.

math.OC

Beyond Fourier transform: super-resolving optical coherence tomography

Optical coherence tomography (OCT) is a volumetric imaging modality that empowers clinicians and scientists to noninvasively visualize the cross-sections of biological samples. As the latest generation of its kind, Fourier-domain OCT (FD-OCT) offers a micrometer-scale axial resolution by taking advantage of coherence gating. Based on the current theory, it is believed the only way to obtain a higher-axial-resolution OCT image is to physically extend the system's spectral bandwidth given a certain central wavelength. Here, we showed the belief is wrong. We proposed a novel reconstruction framework, which integrates prior knowledge and exploits the \emph{shift-variance}, to retrospectively super-resolve OCT images without altering the system configurations. Both numerical and experimental results confirmed the processed image manifested an axial resolution beyond the previous theoretical prediction. We believe this result not only opens new horizons for future research directions in OCT reconstruction but also promises an immediate upgrade to tens of thousands of legacy OCT units currently deployed.

eess.IV