English
Related papers

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

200 papers

Digital instrumentation and control (I&C) upgrades are a vital research area for nuclear industry. Despite their performance benefits, deployment of digital I&C in nuclear power plants (NPPs) has been limited. Digital I&C systems exhibit…

Systems and Control · Electrical Eng. & Systems 2020-05-06 Tate Shorthill , Han Bao , Hongbin Zhang , Heng Ban

Upgrading the existing analog instrumentation and control (IC) systems to state-of-the-art digital IC (DIC) systems will greatly benefit existing light-water reactors (LWRs). However, the issue of software common cause failure (CCF) remains…

Systems and Control · Electrical Eng. & Systems 2021-12-20 Hongbin Zhang , Han Bao , Tate Shorthill , Edward Quinn

Digitalization has fundamentally transformed human system interaction in nuclear main control rooms, yet the quantitative mechanisms by which interfaces amplify procedural risks remain insufficiently understood. This study presents a…

Human-Computer Interaction · Computer Science 2026-04-27 Xingyu Xiao , Mingwei Xiao , Hongbo Li , Jingang Liang , Jiejuan Tong , Haitao Wang

Digital instrumentation and control (DIC) systems at nuclear power plants (NPPs) have many advantages over analog systems. They are proven to be more reliable, cheaper, and easier to maintain given obsolescence of analog components.…

Systems and Control · Electrical Eng. & Systems 2022-04-11 Han Bao , Hongbin Zhang , Tate Shorthill , Edward Chen , Svetlana Lawrence

Cyberattacks on industrial control systems (ICS) have been drawing attention in academia. However, this has not raised adequate concerns among some industrial practitioners. Therefore, it is necessary to identify the vulnerable locations…

Cryptography and Security · Computer Science 2023-06-16 He Wen

Accelerator control systems often represent relatively complex and safety-sensitive human-machine interfaces within process control industries. These systems are technically robust and reflect the cumulative integration of solutions built…

Accelerator Physics · Physics 2025-12-18 Rachael Hill , Casey Kovesdi , Torrey Mortenson , Madelyn Polzin , Zachary Spielman , Katya Le Blanc

Safety critical systems are typically subjected to hazard analysis before commissioning to identify and analyse potentially hazardous system states that may arise during operation. Currently, hazard analysis is mainly based on human…

Embedding artificial intelligence into systems introduces significant challenges to modern engineering practices. Hazard analysis tools and processes have not yet been adequately adapted to the new paradigm. This paper describes initial…

Software Engineering · Computer Science 2022-03-30 Nikolas Martelaro , Carol J. Smith , Tamara Zilovic

Cyber-physical systems, such as self-driving cars or autonomous aircraft, must defend against attacks that target sensor hardware. Analyzing system design can help engineers understand how a compromised sensor could impact the system's…

Cryptography and Security · Computer Science 2021-06-04 Jian Xiang , Nathan Fulton , Stephen Chong

Human-robot collaboration (HRC) introduces significant safety challenges, particularly in protecting human operators working alongside collaborative robots (cobots). While current ISO standards emphasize risk assessment and hazard…

Enterprise industrial networks face threats that risk data and operations. However, designing efficient threat detection system is challenging due to data scarcity, especially where privacy is a concern. The complexity of enterprise…

Cryptography and Security · Computer Science 2024-09-09 Prabhat Kumar , A. K. M. Najmul Islam

As of today, robots exhibit impressive agility but also pose potential hazards to humans using/collaborating with them. Consequently, safety is considered the most paramount factor in human-robot interaction (HRI). This paper presents a…

Modern industrial systems require updated approaches to safety management, as the tight interplay between cyber-physical, human, and organizational factors has driven their processes toward increasing complexity. In addition to dealing with…

Systems and Control · Electrical Eng. & Systems 2025-09-09 Francesco Simone , Marco Bortolini , Giovanni Mazzuto , Giulio di Gravio , Riccardo Patriarca

In recent years, there has been considerable effort to modernize existing and new nuclear power plants with digital instrumentation and control systems. However, there has also been considerable concern both by industry and regulatory…

Software Engineering · Computer Science 2022-05-25 Edward Chen , Han Bao , Tate Shorthill , Carl Elks , Nam Dinh

LLM-generated interfaces are increasingly used in high-consequence workflows (e.g., healthcare communication), where how information is presented can impact downstream actions. These interfaces and their content support human interaction…

Human-Computer Interaction · Computer Science 2026-02-17 Blessing Jerry , Lourdes Moreno , Paloma Martínez

Safety assurance is a critical yet challenging aspect when developing self-driving technologies. Hamilton-Jacobi backward-reachability analysis is a formal verification tool for verifying the safety of dynamic systems in the presence of…

Robotics · Computer Science 2021-06-08 Ran Tian , Anjian Li , Masayoshi Tomizuka , Liting Sun

Highway work zones are critical areas where accidents frequently occur, often due to the proximity of workers to heavy machinery and ongoing traffic. With technological advancements in sensor technologies and the Internet of Things,…

Signal Processing · Electrical Eng. & Systems 2025-03-19 Ayenew Yihune Demeke , Moein Younesi Heravi , Israt Sharmin Dola , Youjin Jang , Chau Le , Inbae Jeong , Zhibin Lin , Danling Wang

Machine learning drives Channel State Information (CSI)-based human sensing in modern wireless networks, enabling applications like device-free human activity recognition (HAR) and identification (HID). However, the susceptibility of these…

Machine Learning · Computer Science 2026-04-03 Shreevanth Krishnaa Gopalakrishnan , Stephen Hailes

Modern industrial automatic machines and robotic cells are equipped with highly complex human-machine interfaces (HMIs) that often prevent human operators from an effective use of the automatic systems. In particular, this applies to…

Human-Computer Interaction · Computer Science 2017-06-27 Lorenzo Sabattini , Valeria Villani , Julia N. Czerniak , Alexander Mertens , Cesare Fantuzzi

Interconnected systems such as power systems and chemical processes are often required to satisfy safety properties in the presence of faults and attacks. Verifying safety of these systems, however, is computationally challenging due to…

Systems and Control · Electrical Eng. & Systems 2024-02-15 Luyao Niu , Abdullah Al Maruf , Andrew Clark , J. Sukarno Mertoguno , Radha Poovendran
‹ Prev 1 2 3 10 Next ›