5 citations · 6 across the 16 of their papers we have counts for
17 papers
Zonotope-Based Active Exposure of Stealthy Deception Attacks in Sensor-Fusion Systems
Meiqi Tian, Shuo Li, Bingzhuo Zhong
This paper investigates the stealthy attack detection for sensor-fusion cyber-physical systems with unknown-but-bounded noises through the control channel. The detection framework…
Existential Opacity for Discrete-Event Systems with State Observations
Zhiyuan Huang, Zhao Tong, Jiakai Li +1
Opacity is a fundamental system property for confidentiality in discrete-event systems (DES). Classical opacity is typically defined under event-based observations, requiring that…
SafeBuild-Bench: A Temporal-Robust Construction Safety Benchmark with Graph-Enhanced Data Mining
Yi Cui, Zilin Wang, Yijie Xu +5
Construction-safety models must handle concrete deployment risks, such as a worker standing near a scaffold edge without guardrails, rather than only recognize common objects in cu…
Lure-and-Reveal: An Exposure Framework for Stealthy Deception Attack in Multi-sensor Uncertain Systems
Meiqi Tian, Yihan Liu, Bingzhuo Zhong
Multi-sensor integration via error-state Kalman filter (KF) is widely employed for precise state estimation in cyber-physical systems (CPSs). However, this integration exposes the…
Bridging Discrete Planning and Continuous Execution for Redundant Robot
Teng Yan, Yue Yu, Yihan Liu +1
Voxel-grid reinforcement learning is widely adopted for path planning in redundant manipulators due to its simplicity and reproducibility. However, direct execution through point-w…
Communication-Aware Synthesis of Safety Controller for Networked Control Systems
Yihan Liu, Meiqi Tian, Teng Yan +1
Networked control systems (NCS) are widely used in safety-critical applications, but they are often analyzed under the assumption of ideal communication channels. This work focuses…