English
Related papers

Related papers: Safety Verification and Optimization in Industrial…

200 papers

An optimization model has been formulated and solved to determine on-condition failure thresholds and inspection intervals for multi-component systems with each component experiencing multiple failure processes due to simultaneous exposure…

Optimization and Control · Mathematics 2019-12-20 Sanling Song , Nooshin Yousefi , David W. Coit , Qianmei Feng

As autonomous driving technology continues to advance, end-to-end models have attracted considerable attention owing to their superior generalisation capability. Nevertheless, such learning-based systems entail numerous safety risks…

Robotics · Computer Science 2025-05-22 Hongrui Kou , Zhouhang Lyu , Ziyu Wang , Cheng Wang , Yuxin Zhang

Decision-making in dense traffic scenarios is challenging for automated vehicles (AVs) due to potentially stochastic behaviors of other traffic participants and perception uncertainties (e.g., tracking noise and prediction errors, etc.).…

Robotics · Computer Science 2020-03-06 Lu Zhang , Wenchao Ding , Jing Chen , Shaojie Shen

This paper presents the validation of shared control strategies for critical maneuvers in automated driving systems. Shared control involves collaboration between the driver and automation, allowing both parties to actively engage and…

Human-Computer Interaction · Computer Science 2024-04-08 Mauricio Marcano , Joseba Sarabia , Asier Zubizarreta , Sergio Díaz

IT industry should inculcate effective defect management on a continual basis to deploy nearly a zerodefect product to their customers. Inspection is one of the most imperative and effective strategies of defect management. Nevertheless,…

Software Engineering · Computer Science 2012-10-01 Suma V. , T. R. Gopalakrishnan Nair

While the most visible part of the safety verification process of automated vehicles concerns the planning and control system, it is often overlooked that safety of the latter crucially depends on the fault-tolerance of the preceding…

Robotics · Computer Science 2021-11-25 Cornelius Buerkle , Florian Geissler , Michael Paulitsch , Kay-Ulrich Scholl

This research highlights the rapid development of technology in the industry, particularly Industry 4.0, supported by fundamental technologies such as the Internet of Things (IoT), cloud computing, big data, and data analysis. Despite…

Cryptography and Security · Computer Science 2024-09-17 Joshua Tito Amael , Oskar Natan , Jazi Eko Istiyanto

The construction industry faces significant challenges in optimizing equipment utilization, as underused machinery leads to increased operational costs and project delays. Accurate and timely monitoring of equipment activity is therefore…

Computer Vision and Pattern Recognition · Computer Science 2025-09-16 Xander Küpers , Jeroen Klein Brinke , Rob Bemthuis , Ozlem Durmaz Incel

Automated driving systems are safety-critical cyber-physical systems whose safety of the intended functionality (SOTIF) can not be assumed without proper argumentation based on appropriate evidences. Recent advances in standards and…

Robotics · Computer Science 2023-04-21 Lina Putze , Lukas Westhofen , Tjark Koopmann , Eckard Böde , Christian Neurohr

A framework is proposed to assess the safety of maintenance work zones in a timely manner, show whether there are safety hazards, whether adjustments need to be made and how to adjust it. By means of advanced data acquisition technologies…

Other Computer Science · Computer Science 2019-11-05 Zhepu Xu , Qun Yang

This paper presents a comprehensive hazard analysis, risk assessment, and loss evaluation for an Evasive Minimum Risk Maneuvering (EMRM) system designed for autonomous vehicles. The EMRM system is engineered to enhance collision avoidance…

Currently, practitioners follow a top-down approach in automotive development projects. However, recent studies have shown that this top-down approach is not suitable for the implementation and testing of modern automotive systems.…

Software Engineering · Computer Science 2021-07-13 Carsten Wiecher , Jannik Fischbach , Joel Greenyer , Andreas Vogelsang , Carsten Wolff , Roman Dumitrescu

In this era of advanced manufacturing, it's now more crucial than ever to diagnose machine faults as early as possible to guarantee their safe and efficient operation. With the massive surge in industrial big data and advancement in sensing…

Artificial Intelligence · Computer Science 2025-02-25 Dhiraj Neupane , Mohamed Reda Bouadjenek , Richard Dazeley , Sunil Aryal

Recent years have witnessed impressive robotic manipulation systems driven by advances in imitation learning and generative modeling, such as diffusion- and flow-based approaches. As robot policy performance increases, so does the…

Research on automated vehicles has experienced an explosive growth over the past decade. A main obstacle to their practical realization, however, is a convincing safety concept. This question becomes ever more important as more…

Systems and Control · Computer Science 2018-04-13 Georg Schildbach

Delicate industrial insertion tasks (e.g., PC board assembly) remain challenging for industrial robots. The challenges include low error tolerance, delicacy of the components, and large task variations with respect to the components to be…

Robotics · Computer Science 2022-03-08 Rui Chen , Chenxi Wang , Tianhao Wei , Changliu Liu

We present a tool-supported approach for the synthesis, verification and validation of the control software responsible for the safety of the human-robot interaction in manufacturing processes that use collaborative robots. In human-robot…

Machine learning (ML) components are increasingly integrated into software products, yet their complexity and inherent uncertainty often lead to unintended and hazardous consequences, both for individuals and society at large. Despite these…

Software Engineering · Computer Science 2025-09-15 Yining Hong , Christopher S. Timperley , Christian Kästner

As Autonomous Driving Systems (ADS) progress towards commercial deployment, there is an increasing focus on ensuring their safety and reliability. While considerable research has been conducted on testing methods for detecting faults in…

Software Engineering · Computer Science 2026-01-09 Nathan Shaw , Sanjeetha Pennada , Robert M Hierons , Donghwan Shin

Fault detection and diagnosis of electrical motors are of utmost importance in ensuring the safe and reliable operation of several industrial systems. Detection and diagnosis of faults at the incipient stage allows corrective actions to be…

Systems and Control · Electrical Eng. & Systems 2023-11-28 Sriram Anbalagan , Sai Shashank GP , Deepesh Agarwal , Balasubramaniam Natarajan , Babji Srinivasan