English
Related papers

Related papers: Systems-theoretic Hazard Analysis of Digital Human…

200 papers

Reliability has become an increasing concern in modern computing. Integrated circuits (ICs) are the backbone of modern computing devices across industries, including artificial intelligence (AI), consumer electronics, healthcare,…

Systems and Control · Electrical Eng. & Systems 2025-03-28 Shaik Jani Babu , Fan Hu , Linyu Zhu , Sonal Singhal , Xinfei Guo

Industrial Safety deals with the physical integrity of humans, machines and the environment when they interact during production scenarios. Industrial Safety is subject to a rigorous certification process that leads to inflexible settings,…

Temperature sensing and control systems are widely used in the closed-loop control of critical processes such as maintaining the thermal stability of patients, or in alarm systems for detecting temperature-related hazards. However, the…

Cryptography and Security · Computer Science 2019-09-25 Yazhou Tu , Sara Rampazzi , Bin Hao , Angel Rodriguez , Kevin Fu , Xiali Hei

Automated vehicles are pictured as the future of transportation, and facilitating safer driving is only one of the many benefits. However, due to the constantly changing role of the human driver, users are easily confused and have little…

Human-Computer Interaction · Computer Science 2024-06-17 Y. C. Liu , N. Figalova , M. Baumann , K Bengler

We introduce a conceptual framework and provide considerations for the institutional design of AI incident reporting systems, i.e., processes for collecting information about safety- and rights-related events caused by general-purpose AI.…

Computers and Society · Computer Science 2026-04-15 Kevin Wei , Lennart Heim

Neural networks are increasingly used for intrusion detection on industrial control systems (ICS). With neural networks being vulnerable to adversarial examples, attackers who wish to cause damage to an ICS can attempt to hide their attacks…

Cryptography and Security · Computer Science 2021-10-05 Giulio Zizzo , Chris Hankin , Sergio Maffeis , Kevin Jones

Runtime verification or runtime monitoring equips safety-critical cyber-physical systems to augment design assurance measures and ensure operational safety and security. Cyber-physical systems have interaction failures, attack surfaces, and…

Software Engineering · Computer Science 2022-06-23 Smitha Gautham , Georgios Bakirtzis , Alexander Will , Athira V. Jayakumar , Carl R. Elks

Structural inspection in nuclear facilities is vital for maintaining operational safety and integrity. Traditional methods of manual inspection pose significant challenges, including safety risks, high cognitive demands, and potential…

Robotics · Computer Science 2025-08-18 Junyeon Kim , Tianshu Ruan , Cesar Alan Contreras , Manolis Chiou

This paper is concerned with the detection, resilient and fault-tolerant control issues for cyber-physical systems. To this end, the impairment of system dynamics caused by the defined types of cyber-attacks and process faults is analyzed.…

Systems and Control · Electrical Eng. & Systems 2024-09-23 Linlin Li , Steven X. Ding , Liutao Zhou , Maiying Zhong , Kaixiang Peng

Due to the critical importance of Industrial Control Systems (ICS) to the operations of cities and countries, research into the security of critical infrastructure has become increasingly relevant and necessary. As a component of both the…

Cryptography and Security · Computer Science 2021-12-17 Sean O'Toole , Cameron Sewell , Hoda Mehrpouyan

Due to the fundamental transition to a power electronic dominated power system, the increasing diversity of dynamic elements underscores the need to assess their similarity to mature electrical engineering models. This article addresses the…

Human-machine Interface (HMI) is critical for safety during automated driving, as it serves as the only media between the automated system and human users. To enable a transparent HMI, we first need to know how to evaluate it. However, most…

Human-Computer Interaction · Computer Science 2024-06-17 Yuan-Cheng Liu , Nikol Figalova , Juergen Pichen , Philipp Hock , Martin Baumann , Klaus Bengler

Stealthy attacks on Industrial Control Systems can cause significant damage while evading detection. In this paper, instead of focusing on the detection of stealthy attacks, we aim to provide early warnings to operators, in order to avoid…

Cryptography and Security · Computer Science 2021-06-16 Mazen Azzam , Liliana Pasquale , Gregory Provan , Bashar Nuseibeh

Industrial human-robot collaborative systems must be validated thoroughly with regard to safety. The sooner potential hazards for workers can be exposed, the less costly is the implementation of necessary changes. Due to the complexity of…

Robotics · Computer Science 2021-11-30 Tom P. Huck , Christoph Ledermann , Torsten Kröger

Network Intrusion Detection Systems (NIDS) are computer systems which monitor a network with the aim of discerning malicious from benign activity on that network. While a wide range of approaches have met varying levels of success, most…

Artificial Intelligence · Computer Science 2010-07-05 Gianni Tedesco , Uwe Aickelin

Based on the practical scenario where collisions in formation control may lead to agent damage, this paper investigates the integrated problem of distance-based formation control and collision avoidance for multi-agent systems governed by…

Optimization and Control · Mathematics 2026-05-19 Jingyi Zhao , Yongxin Wu , Héctor García de Marina , Yuhu Wu , Yann Le Gorrec

SCADA protocols for Industrial Control Systems (ICS) are vulnerable to network attacks such as session hijacking. Hence, research focuses on network anomaly detection based on meta--data (message sizes, timing, command sequence), or on the…

Cryptography and Security · Computer Science 2017-06-29 Amit Kleinmann , Ori Amichay , Avishai Wool , David Tenenbaum , Ofer Bar , Leonid Lev

Reliability is a serious concern for future extreme-scale high-performance computing (HPC) systems. While the HPC community has developed various resilience solutions, the solution space remains fragmented. There are no formal methods and…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-11-01 Saurabh Hukerikar , Christian Engelmann

The increasing deployment of Artificial Intelligence (AI) and other autonomous algorithmic systems presents the world with new systemic risks. While focus often lies on the function of individual algorithms, a critical and underestimated…

Computers and Society · Computer Science 2026-02-24 Maurice Chiodo , Dennis Müller

Our society is on the verge of a revolution powered by Artificial Intelligence (AI) technologies. With increasing advancements in AI, there is a growing expansion in data centers (DCs) serving as critical infrastructure for this new wave of…

Computers and Society · Computer Science 2025-07-11 Miguel Esparza , Bo Li , Junwei Ma , Ali Mostafavi