Finding Safety Violations of AI-Enabled Control Systems through the Lens of Synthesized Proxy Programs

J Shi, Z Yang, J He, B Xu, D Kim, DG Han… - ACM Transactions on …, 2024 - dl.acm.org
Given the increasing adoption of modern AI-enabled control systems, ensuring their safety
and reliability has become a critical task in software testing. One prevalent approach to …

A systemic survey of the Omniverse platform and its applications in data generation, simulation and metaverse

N Ahmed, I Afyouni, H Dabool… - Frontiers in Computer …, 2024 - frontiersin.org
Nvidia's Omniverse platform represents a paradigm shift in the realm of virtual environments
and simulation technologies. This paper presents a comprehensive examination of the …

MORTAR: A Model-based Runtime Action Repair Framework for AI-enabled Cyber-Physical Systems

R Wang, Z Zhou, J Song, X **
J Sun, P Mao, L Kong, J Wang - Sensors (Basel, Switzerland), 2025 - pmc.ncbi.nlm.nih.gov
Pre-trained models trained with internet-scale data have achieved significant improvements
in perception, interaction, and reasoning. Using them as the basis of embodied gras** …

Holistic Understanding of 3D Scenes as Universal Scene Description

AM Halacheva, Y Miao, JN Zaech, X Wang… - arxiv preprint arxiv …, 2024 - arxiv.org
3D scene understanding is a long-standing challenge in computer vision and a key
component in enabling mixed reality, wearable computing, and embodied AI. Providing a …

Generation of Synthetic Data for Deep Learning in Manufacturing Quality Control Systems

MS Werda, H Taibi, K Kouiss… - 2024 IEEE 22nd …, 2024 - ieeexplore.ieee.org
The automotive industry has improved its quality control systems for detecting manufacturing
defects through the implementation of deep learning. However, collecting and preparing …

[HTML][HTML] Multi-Robot Navigation System Design Based on Proximal Policy Optimization Algorithm

CC Wong, KD Weng, BY Yu - Information, 2024 - mdpi.com
The more path conflicts between multiple robots, the more time it takes to avoid each other,
and the more navigation time it takes for the robots to complete all tasks. This study designs …

Real Case Studies in Industry 5.0: The Example of Nvidia

N Emre Börekçi - Business Challenges and Opportunities in the Era of …, 2025 - emerald.com
Purpose: To investigate the key technologies facilitating the transition towards Industry 5.0
and analysing the contributions of Nvidia, a prominent leader in this field, to these …