2 citations · 4 across the 12 of their papers we have counts for
11 papers · 1 filter
A Uniform Framework for Diagnosis of Discrete-Event Systems with Unreliable Sensors using Linear Temporal Logic
Weijie Dong, Xiang Yin, Shaoyuan Li
In this paper, we investigate the diagnosability verification problem of partially-observed discrete-event systems (DES) subject to unreliable sensors. In this setting, upon the oc…
Fault Diagnosis of Discrete-Event Systems under Non-Deterministic Observations with Output Fairness
Weijie Dong, Shang Gao, Xiang Yin +1
In this paper, we revisit the fault diagnosis problem of discrete-event systems (DES) under non-deterministic observations. Non-deterministic observation is a general observation m…
To Explore or Not to Explore: Regret-Based LTL Planning in Partially-Known Environments
Jianing Zhao, Keyi Zhu, Mingyang Feng +1
In this paper, we investigate the optimal robot path planning problem for high-level specifications described by co-safe linear temporal logic (LTL) formulae. We consider the scena…
Sensor Deception Attacks Against Initial-State Privacy in Supervisory Control Systems
Jingshi Yao, Xiang Yin, Shaoyuan Li
This paper investigates the problem of synthesizing sensor deception attackers against privacy in the context of supervisory control of discrete-event systems (DES). We consider a…
Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information
Xinyi Yu, Weijie Dong, Xiang Yin +1
Online monitoring aims to evaluate or to predict, at runtime, whether or not the behaviors of a system satisfy some desired specification. It plays a key role in safety-critical cy…
A Pricing Rule for Third-Party Platoon Coordination Service Provider
Ting Bai, Alexander Johansson, Shaoyuan Li +1
We model a platooning system including trucks and a third-party service provider that performs platoon coordination, distributes the platooning profit within platoons, and charges…
Optimal Synthesis of Opacity-Enforcing Supervisors for Qualitative and Quantitative Specifications
Yifan Xie, Xiang Yin, Shaoyuan Li
In this paper, we investigate both qualitative and quantitative synthesis of optimal privacy-enforcing supervisors for partially-observed discrete-event systems. We consider a dyna…
A Framework for Current-State Opacity under Dynamic Information Release Mechanism
Junyao Hou, Xiang Yin, Shaoyuan Li
Opacity is an important information-flow security property that characterizes the plausible deniability of a dynamic system for its "secret" against eavesdropping attacks. As an in…
Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks
Shuo Yang, Xiang Yin, Shaoyuan Li +1
In this paper, we investigate the problem of planning an optimal infinite path for a single robot to achieve a linear temporal logic (LTL) task with security guarantee. We assume t…
Opacity Enforcing Supervisory Control using Non-deterministic Supervisors
Yifan Xie, Xiang Yin, Shaoyuan Li
In this paper, we investigate the enforcement of opacity via supervisory control in the context of discrete-event systems. A system is said to be opaque if the intruder, which is m…
Modeling and Analysis of Networked Discrete Event Systems with Multiple Control Channels
Zhaocong Liu, Xiang Yin, Shaoyuan Li
In this paper, we propose a novel framework for modeling and analysis of networked discrete-event systems (DES). We assume that the plant is controlled by a feedback supervisor who…