14 citations · 44 across the 22 of their papers we have counts for
23 papers
Communication-aware Synthesis of Safe Controllers for Discrete-Time Linear Multi-Agent Systems with Distributed k-Hop Observation
Yihan Liu, Teng Yan, Meiqi Tian +1
This paper studies communication-aware safe control for discrete-time linear multi-agent systems under limited information exchange. The main challenge lies in the coupling between…
Control Synthesis against LTL Specifications with Long-Run Visit Proportion Objectives
Zhiyuan Huang, Zhao Tong, Jiakai Li +2
This paper investigates the path-planning problem for systems required to satisfy a linear temporal logic (LTL) specification while achieving a desired long-run visit proportion. F…
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
This paper studies communication-aware safe control for discrete-time linear multi-agent systems under limited information exchange. The main challenge lies in the coupling between…
Hierarchical Control for Continuous-time Systems via General Approximate Alternating Simulation Relations
Zhiyuan Huang, Shuo Li, Murat Arcak +2
This paper introduces a general approximate alternating simulation relation (\emph{-gAAS relation}) for continuous-time systems, which relaxes existing simulation rela…
PiCo: Active Manifold Canonicalization for Robust Robotic Visual Anomaly Detection
Teng Yan, Binkai Liu, Shuai Liu +2
Industrial deployment of robotic visual anomaly detection (VAD) is fundamentally constrained by passive perception under diverse 6-DoF pose configurations and unstable operating co…
Agile-VLA: Few-Shot Industrial Pose Rectification via Implicit Affordance Anchoring
Teng Yan, Zhengyang Pei, Chengyu Shi +8
Deploying Vision-Language-Action (VLA) models on resource-constrained edge platforms encounters a fundamental conflict between high-latency semantic inference and the high-frequenc…
Automatic Generation of Safety-compliant Linear Temporal Logic via Large Language Model: A Self-supervised Framework
Junle Li, Siqi Chen, Jiakai Li +2
Converting high-level tasks described by natural language into formal specifications like Linear Temporal Logic (LTL) is a key step towards providing formal safety guarantees over…
Symbolic Control for Autonomous Docking of Marine Surface Vessels
Elizabeth Dietrich, Emir Cem Gezer, Bingzhuo Zhong +4
We develop a hierarchical control architecture for autonomous docking maneuvers of a dynamic positioning vessel and provide formal safety guarantees. At the upper-level, we treat t…
Transfer Learning for Control Systems via Neural Simulation Relations
Alireza Nadali, Bingzhuo Zhong, Ashutosh Trivedi +1
Transfer learning is an umbrella term for machine learning approaches that leverage knowledge gained from solving one problem (the source domain) to improve speed, efficiency, and…
Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach
Bingzhuo Zhong, Weijie Dong, Xiang Yin +1
Diagnosability is a system theoretical property characterizing whether fault occurrences in a system can always be detected within a finite time. In this paper, we investigate the…
Controlled Invariant Sets for Gaussian Process State Space Models
Paul Griffioen, Bingzhuo Zhong, Murat Arcak +2
We compute probabilistic controlled invariant sets for nonlinear systems using Gaussian process state space models, which are data-driven models that account for unmodeled and unkn…
Secure-by-Construction Synthesis for Control Systems
Bingzhuo Zhong, Siyuan Liu, Marco Caccamo +1
In this paper, we present the synthesis of secure-by-construction controllers that address safety and security properties simultaneously in cyber-physical systems. Our focus is on…
Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach
Bingzhuo Zhong, Majid Zamani, Marco Caccamo
In this paper, we provide a direct data-driven approach to synthesize safety controllers for unknown linear systems affected by unknown-but-bounded disturbances, in which identifyi…
Sandboxing (AI-based) Unverified Controllers in Stochastic Games: An Abstraction-based Approach with Safe-visor Architecture
Bingzhuo Zhong, Hongpeng Cao, Majid Zamani +1
In this paper, we propose a construction scheme for a Safe-visor architecture for sandboxing unverified controllers, e.g., artificial intelligence-based (a.k.a. AI-based) controlle…
Formal Synthesis of Controllers for Uncertain Linear Systems against -Regular Properties: A Set-based Approach
Bingzhuo Zhong, Majid Zamani, Marco Caccamo
In this paper, we present how to synthesize controllers to enforce -regular properties over linear control systems affected by bounded disturbances. In particular, these control…
Sandboxing Controllers for Stochastic Cyber-Physical Systems
Bingzhuo Zhong, Majid Zamani, Marco Caccamo
Current cyber-physical systems (CPS) are expected to accomplish complex tasks. To achieve this goal, high performance, but unverified controllers (e.g. deep neural network, black-b…
Automata-based Controller Synthesis for Stochastic Systems: A Game Framework via Approximate Probabilistic Relations
Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani +1
In this work, we propose an abstraction and refinement methodology for the controller synthesis of discrete-time stochastic systems to enforce complex logical properties expressed…
Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems
Bingzhuo Zhong, Abolfazl Lavaei, Hongpeng Cao +2
High performance but unverified controllers, e.g., artificial intelligence-based (a.k.a. AI-based) controllers, are widely employed in cyber-physical systems (CPSs) to accomplish c…