Converse Barrier Certificates for Finite-time Safety Verification of Continuous-time Perturbed Deterministic Systems

no code implementations • 27 Feb 2024 • Yonghan Li, Chenyu Wu, Taoran Wu, Shijie Wang, Bai Xue

In this paper, we investigate the problem of verifying the finite-time safety of continuous-time perturbed deterministic systems represented by ordinary differential equations in the presence of measurable disturbances.

Near-Field Beam Management for Extremely Large-Scale Array Communications

no code implementations • 28 Jun 2023 • Changsheng You, Yunpu Zhang, Chenyu Wu, Yong Zeng, Beixiong Zheng, Li Chen, Linglong Dai, A. Lee Swindlehurst

Extremely large-scale arrays (XL-arrays) have emerged as a promising technology to achieve super-high spectral efficiency and spatial resolution in future wireless systems.

Management Scheduling

Coverage Characterization of STAR-RIS Networks: NOMA and OMA

no code implementations • 20 Apr 2021 • Chenyu Wu, Yuanwei Liu, Xidong Mu, Xuemai Gu, Octavia A. Dobre

A sum coverage range maximization problem is formulated for both non-orthogonal multiple access (NOMA) and orthogonal multiple access (OMA), where the resource allocation at the access point and the transmission and reflection coefficients at the STAR-RIS are jointly optimized to satisfy the communication requirements of users.