2 citations · 3 across the 9 of their papers we have counts for
9 papers
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…
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…