中文
相关论文

相关论文: Systems-theoretic Hazard Analysis of Digital Human…

200 篇论文

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,…

系统与控制 · 电气工程与系统科学 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…

密码学与安全 · 计算机科学 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…

人机交互 · 计算机科学 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.…

计算机与社会 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

软件工程 · 计算机科学 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…

机器人学 · 计算机科学 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.…

系统与控制 · 电气工程与系统科学 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…

密码学与安全 · 计算机科学 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…

人机交互 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

机器人学 · 计算机科学 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…

人工智能 · 计算机科学 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…

最优化与控制 · 数学 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…

密码学与安全 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

计算机与社会 · 计算机科学 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…

计算机与社会 · 计算机科学 2025-07-11 Miguel Esparza , Bo Li , Junwei Ma , Ali Mostafavi