中文
相关论文

相关论文: Actuator Security Index for Structured Systems

200 篇论文

This paper presents a secure safety filter design for nonlinear systems under sensor spoofing attacks. Existing approaches primarily focus on linear systems which limits their applications in real-world scenarios. In this work, we extend…

系统与控制 · 电气工程与系统科学 2025-05-13 Xiao Tan , Pio Ong , Paulo Tabuada , Aaron D. Ames

Many autonomous control systems are frequently exposed to attacks, so methods for attack identification are crucial for a safe operation. To preserve the privacy of the subsystems and achieve scalability in large-scale systems,…

系统与控制 · 电气工程与系统科学 2020-10-27 Sarah Braun , Sebastian Albrecht , Sergio Lucia

UASs form a large part of the fighting ability of the advanced military forces. In particular, these systems that carry confidential information are subject to security attacks. Accordingly, an Intrusion Detection System (IDS) has been…

密码学与安全 · 计算机科学 2020-03-12 Reza Fotohi

Complex, interconnected cyber-physical systems (CPS) are increasingly prevalent in domains such as power systems. Cyber-resilient architectures have been proposed to recover compromised cyber components of CPS. Recent works have studied…

系统与控制 · 电气工程与系统科学 2026-03-17 Eman Badr , Abdullah Al Maruf

Torque-controlled actuators are critical components in mechatronic systems that closely interact with their environment, such as legged robots, collaborative manipulators, and exoskeletons. The performance and stability of these actuators…

系统与控制 · 电气工程与系统科学 2025-05-14 Victor Shime , Elisa G. Vergamini , Cícero Zanette , Leonardo F. dos Santos , Lucca Maitan , Andrea Calanca , Thiago Boaventura

With the proliferation of digitization and its usage in critical sectors, it is necessary to include information about the occurrence and assessment of cyber threats in an organization's threat mitigation strategy. This Cyber Threat…

密码学与安全 · 计算机科学 2024-06-21 Alfonso Iacovazzi , Han Wang , Ismail Butun , Shahid Raza

We address the problem of state estimation and attack isolation for general discrete-time nonlinear systems when sensors are corrupted by (potentially unbounded) attack signals. For a large class of nonlinear plants and observers, we…

系统与控制 · 计算机科学 2019-04-10 Tianci Yang , Carlos Murguia , Margreta Kuijper , Dragan Nesic

In this work, we propose and develop a new discrete-event based actuator attack model on the closed-loop system formed by the plant and the supervisor. We assume the actuator attacker partially observes the execution of the closed-loop…

系统与控制 · 计算机科学 2019-02-28 Liyong Lin , Sander Thuijsman , Yuting Zhu , Simon Ware , Rong Su , Michel Reniers

This paper focuses on securely estimating the state of a nonlinear dynamical system from a set of corrupted measurements. In particular, we consider two broad classes of nonlinear systems, and propose a technique which enables us to perform…

系统与控制 · 计算机科学 2016-03-23 Qie Hu , Dariush Fooladivanda , Young Hwan Chang , Claire J. Tomlin

Since it is impossible to predict and identify all the vulnerabilities of a network, and penetration into a system by malicious intruders cannot always be prevented, intrusion detection systems (IDSs) are essential entities for ensuring the…

密码学与安全 · 计算机科学 2021-09-07 Jaydip Sen

IP-based Surveillance systems protect industrial facilities, railways, gas stations, and even one's own home. Therefore, unauthorized access to these systems has serious security implications. In this survey, we analyze the system's (1)…

密码学与安全 · 计算机科学 2019-10-25 Naor Kalbo , Yisroel Mirsky , Asaf Shabtai , Yuval Elovici

Agentic AI systems are increasingly capable of performing professional and personal tasks with limited human involvement. However, tracking these developments is difficult because the AI agent ecosystem is complex, rapidly evolving, and…

计算机与社会 · 计算机科学 2026-05-07 Leon Staufer , Kevin Feng , Kevin Wei , Luke Bailey , Yawen Duan , Mick Yang , A. Pinar Ozisik , Stephen Casper , Noam Kolt

The Internet of Things (IoT) security landscape requires the architectural solutions that can address the technical and operational challenges across the heterogeneous environments. The IoT systems operate in different conditions, and…

密码学与安全 · 计算机科学 2026-02-12 Muhammad Imran

Supply chain security threats pose new challenges to security risk modeling techniques for complex ICT systems such as the IoT. With established techniques drawn from attack trees and reliability analysis providing needed points of…

密码学与安全 · 计算机科学 2020-03-30 Timothy Kieras , Muhammad Junaid Farooq , Quanyan Zhu

The problem of mitigating maliciously injected signals in interconnected systems is dealt with in this paper. We consider the class of covert attacks, as they are stealthy and cannot be detected by conventional means in centralized…

系统与控制 · 电气工程与系统科学 2021-04-15 Angelo Barboni , Thomas Parisini

In this article, a new notion of modal strong structural controllability is introduced and examined for a family of LTI networks. These networks include structured LTI subsystems, whose system matrices have the same zero/nonzero/arbitrary…

最优化与控制 · 数学 2021-08-30 Shima Sadat Mousavi , Anastasios Kouvelas , Karl H. Johansson

In recent years, agentic artificial intelligence (AI) systems are becoming increasingly widespread. These systems allow agents to use various tools, such as web browsers, compilers, and more. However, despite their popularity, agentic AI…

Speculative execution enhances processor performance by predicting intermediate results and executing instructions based on these predictions. However, incorrect predictions can lead to security vulnerabilities, as speculative instructions…

密码学与安全 · 计算机科学 2026-04-01 Xaver Fabian , Marco Guarnieri , Boris Köpf , Jose F. Morales , Marco Patrignani , Jan Reineke , Andres Sanchez

Since the advent of SPECTRE, a number of countermeasures have been proposed and deployed. Rigorously reasoning about their effectiveness, however, requires a well-defined notion of security against speculative execution attacks, which has…

密码学与安全 · 计算机科学 2019-07-25 Marco Guarnieri , Boris Köpf , José F. Morales , Jan Reineke , Andrés Sánchez

The increasing number of attacks against automation systems such as SCADA and their network infrastructure have demonstrated that there is a need to secure those systems. Unfortunately, directly applying existing ICT security mechanisms to…

密码学与安全 · 计算机科学 2019-08-07 Gorby Kabasele Ndonda , Ramin Sadre