2 citations · 4 across the 10 of their papers we have counts for
7 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…
Statistically Consistent Inverse Optimal Control for Linear-Quadratic Tracking with Random Time Horizon
Han Zhang, Axel Ringh, Weihan Jiang +2
The goal of Inverse Optimal Control (IOC) is to identify the underlying objective function based on observed optimal trajectories. It provides a powerful framework to model expert'…
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…