2 citations · 11 across the 26 of their papers we have counts for
24 papers · 1 filter
Decentralized Decision-Making for Finite-State Systems over Finite Alphabets is Undecidable
Xiang Yin
This paper investigates decentralized decision-making for finite-state transition systems, i.e., discrete-event systems, under finite communication alphabet constraints. We conside…
NNgTL: Neural Network Guided Optimal Temporal Logic Task Planning for Mobile Robots
Ruijia Liu, Shaoyuan Li, Xiang Yin
In this work, we investigate task planning for mobile robots under linear temporal logic (LTL) specifications. This problem is particularly challenging when robots navigate in cont…
Efficient STL Control Synthesis under Asynchronous Temporal Robustness Constraints
Xinyi Yu, Xiang Yin, Lars Lindemann
In time-critical systems, such as air traffic control systems, it is crucial to design control policies that are robust to timing uncertainty. Recently, the notion of Asynchronous…
Data-Driven Safe Controller Synthesis for Deterministic Systems: A Posteriori Method With Validation Tests
Yu Chen, Chao Shang, Xiaolin Huang +1
In this work, we investigate the data-driven safe control synthesis problem for unknown dynamic systems. We first formulate the safety synthesis problem as a robust convex program…
Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition
Xinyi Yu, Chuwei Wang, Dingran Yuan +2
In this paper, we investigate the problem of Model Predictive Control (MPC) of dynamic systems for high-level specifications described by Signal Temporal Logic (STL) formulae. Rece…
You Don't Know When I Will Arrive: Unpredictable Controller Synthesis for Temporal Logic Tasks
Yu Chen, Shuo Yang, Rahul Mangharam +1
In this paper, we investigate the problem of synthesizing controllers for temporal logic specifications under security constraint. We assume that there exists a passive intruder (e…
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…
You Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event Systems
Bohan Cui, Xiang Yin, Shaoyuan Li +1
In this paper, we investigate a class of information-flow security properties called opacity in partial-observed discrete-event systems. Roughly speaking, a system is said to be op…
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…
Cloud-Assisted Nonlinear Model Predictive Control for Finite-Duration Tasks
Nan Li, Kaixiang Zhang, Zhaojian Li +2
Cloud computing creates new possibilities for control applications by offering powerful computation and storage capabilities. In this paper, we propose a novel cloud-assisted model…
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…
Secure Your Intention: On Notions of Pre-Opacity in Discrete-Event Systems
Shuo Yang, Xiang Yin
This paper investigates an important informationflow security property called opacity in partially-observed discrete-event systems. We consider the presence of a passive intruder (…
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…
Estimation and Verification of Partially-Observed Discrete-Event Systems
Xiang Yin
This article considers state estimation and veri cation problems for an important class of man-made cyber-physical systems called Discrete-Event Systems (DES).
A New Microscopic Traffic Model Using a Spring-Mass-Damper-Clutch System
Zhaojian Li, Firas Khasawneh, Xiang Yin +2
Microscopic traffic models describe how cars interact with their neighbors in an uninterrupted traffic flow and are frequently used for reference in advanced vehicle control design…
On Approximate Opacity of Cyber-Physical Systems
Xiang Yin, Majid Zamani
Opacity is an important information-flow security property in the analysis of cyber-physical systems. It captures the plausible deniability of the system's secret behavior in the p…
Complexity of Detectability, Opacity and A-Diagnosability for Modular Discrete Event Systems
Tomáš Masopust, Xiang Yin
We study the complexity of deciding whether a modular discrete event system is detectable (resp. opaque, A-diagnosable). Detectability arises in the state estimation of discrete ev…
Cloud Resource Allocation for Cloud-Based Automotive Applications
Zhaojian Li, Tianshu Chu, Ilya V. Kolmanovsky +2
There is a rapidly growing interest in the use of cloud computing for automotive vehicles to facilitate computation and data intensive tasks. Efficient utilization of on-demand clo…