Xiang Yin

198 papers A* 3A 4C 5Journal 131Unranked 55
YearRankTypeTitle / Venue / Authors
2026 J jnl
Counting Time Temporal Logic for Multi-Robot Path Planning in Finite Horizons.
IEEE Trans Autom. Sci. Eng.
Peng Lv, Shaoyuan Li, Cristian Mahulea, Bruno Denis, Gregory Faraut, Xiang Yin
2026 J jnl
On the Computation and Approximation of Backward Reachable Sets for Max-Plus Linear Systems using Polyhedras.
CoRR
Yuda Li, Shaoyuan Li, Xiang Yin
2026 J jnl
Signal temporal logic control synthesis among uncontrollable dynamic agents with conformal prediction.
Autom.
Xinyi Yu, Yiqi Zhao, Xiang Yin, Lars Lindemann
2026 J jnl
Stability Verification for Switched Systems using Neural Multiple Lyapunov Functions.
CoRR
Junyue Huang, Shaoyuan Li, Xiang Yin
2025 J jnl
A Stackelberg Game Approach for Signal Temporal Logic Control Synthesis with Uncontrollable Agents.
CoRR
Bohan Cui, Xinyi Yu, Alessandro Giua, Xiang Yin
2025 — conf
An Innovation-Based Approach to Adaptive Data-Driven Predictive Control.
ECC
Yibo Wang, Hao Ye, Dexian Huang, Xiang Yin, Chao Shang
2025 J jnl
Attack-Resilient Supervisory Control of Discrete Event Systems Under Dynamic-Event-Protection Mechanisms.
IEEE Control. Syst. Lett.
Bohan Cui, Alessandro Giua, Xiang Yin
2025 A conf
Automated Manipulation of Magnetic Microswarms for Temporal Logic Cargo Delivery Tasks in Complex Environments.
IROS
Naifu Zhang, Tao Luo, Chongjie Jiang, Xiang Yin, Xiao Yu, Rongrong Ji
2025 — conf
Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis.
CDC
Yu Chen, Shaoyuan Li, Xiang Yin
2025 J jnl
Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis.
CoRR
Yu Chen, Shaoyuan Li, Xiang Yin
2025 J jnl
Decentralized fault diagnosis of discrete-event systems with unreliable sensors using linear temporal logic.
Sci. China Inf. Sci.
Weijie Dong, Shaoyuan Li, Xiang Yin
2025 J jnl
Distributionally Robust Control Synthesis for Stochastic Systems with Safety and Reach-Avoid Specifications.
CoRR
Yu Chen, Yuda Li, Shaoyuan Li, Xiang Yin
2025 J jnl
Enforcing Opacity in Discrete Event Systems via Delayed Observations.
IEEE Control. Syst. Lett.
Jiwei Wang, Simone Baldi, Wenwu Yu, Xiang Yin
2025 A conf
MaxAuc: A Max-Plus-Based Auction Approach for Multi-Robot Allocations for Time-Ordered Temporal Logic Tasks.
IROS
Mengjie Wei, Yuda Li, Siqi Wang, Shaoyuan Li, Xiang Yin
2025 J jnl
MetaFruit meets foundation models: Leveraging a comprehensive multi-fruit dataset for advancing agricultural foundation models.
Comput. Electron. Agric.
Jiajia Li, Kyle Lammers, Xunyuan Yin, Xiang Yin, Long He, Jun Sheng, Renfu Lu, Zhaojian Li
2025 J jnl
No-regret path planning for temporal logic tasks in partially-known environments.
Int. J. Robotics Res.
Jianing Zhao, Keyi Zhu, Mingyang Feng, Shaoyuan Li, Xiang Yin
2025 J jnl
On Approximate Opacity of Stochastic Control Systems.
IEEE Trans. Autom. Control.
Siyuan Liu, Xiang Yin, Dimos V. Dimarogonas, Majid Zamani
2025 J jnl
On Prediction-Based Properties of Discrete-Event Systems: Notions, Applications and Supervisor Synthesis.
CoRR
Bohan Cui, Yu Chen, Alessandro Giua, Xiang Yin
2025 J jnl
On the Construction of Barrier Certificate: A Dynamic Programming Perspective.
CoRR
Yu Chen, Shaoyuan Li, Xiang Yin
2025 A conf
Online Synthesis of Control Barrier Functions with Local Occupancy Grid Maps for Safe Navigation in Unknown Environments.
IROS
Yuepeng Zhang, Yu Chen, Yuda Li, Shaoyuan Li, Xiang Yin
2025 J jnl
Online Synthesis of Control Barrier Functions with Local Occupancy Grid Maps for Safe Navigation in Unknown Environments.
CoRR
Yuepeng Zhang, Yu Chen, Yuda Li, Shaoyuan Li, Xiang Yin
2025 J jnl
Protect Your Knowledge: Epistemic Property Enforcement of Discrete-Event Systems With Asymmetric Information.
IEEE Control. Syst. Lett.
Shaowen Miao, Bohan Cui, Yiding Ji, Xiang Yin
2025 A conf
RRT*former: Environment-Aware Sampling-Based Motion Planning using Transformer.
IROS
Mingyang Feng, Shaoyuan Li, Xiang Yin
2025 J jnl
RRT*former: Environment-Aware Sampling-Based Motion Planning using Transformer.
CoRR
Mingyang Feng, Shaoyuan Li, Xiang Yin
2025 — conf
Regret-Optimal Supervisory Control of Partially-Known Discrete-Event Systems.
CDC
Jianing Zhao, Bohan Cui, Dimos V. Dimarogonas, Rupak Majumdar, Xiang Yin
2025 J jnl
Robust Temporal Logic Task Planning for Multirobot Systems Under Permanent Robot Failures.
IEEE Trans. Control. Syst. Technol.
Bohan Cui, Feifei Huang, Shaoyuan Li, Xiang Yin
2025 J jnl
SAGAS: Semantic-Aware Graph-Assisted Stitching for Offline Temporal Logic Planning.
CoRR
Ruijia Liu, Ancheng Hou, Shaoyuan Li, Xiang Yin
2025 — conf
Stability Verification for Switched Systems using Neural Multiple Lyapunov Functions.
CDC
Junyue Huang, Shaoyuan Li, Xiang Yin
2025 J jnl
Task and Motion Planning of Dynamic Systems using Hyperproperties for Signal Temporal Logics.
CoRR
Jianing Zhao, Bowen Ye, Xinyi Yu, Rupak Majumdar, Xiang Yin
2025 J jnl
VH-Diffuser: Variable Horizon Diffusion Planner for Time-Aware Goal-Conditioned Trajectory Planning.
CoRR
Ruijia Liu, Ancheng Hou, Shaoyuan Li, Xiang Yin
2024 J jnl
A Unified Framework for Verification of Observational Properties for Partially-Observed Discrete-Event Systems.
IEEE Trans. Autom. Control.
Jianing Zhao, Shaoyuan Li, Xiang Yin
2024 J jnl
A Uniform Framework for Diagnosis of Discrete-Event Systems With Unreliable Sensors Using Linear Temporal Logic.
IEEE Trans. Autom. Control.
Weijie Dong, Xiang Yin, Shaoyuan Li
2024 — conf
ChatSTL: A Framework of Translation from Natural Language to Signal Temporal Logic Specifications for Autonomous Vehicle Navigation out of Blocked Scenarios.
ICCAE
Yujin Wang, Zhaoyan Huang, Shiying Dong, Hongqing Chu, Xiang Yin, Bingzhao Gao
2024 J jnl
Distributed Fault Diagnosis in Discrete Event Systems With Transmission Delay Impairments.
IEEE Trans. Autom. Control.
Jiwei Wang, Simone Baldi, Wenwu Yu, Xiang Yin
2024 — conf
Fault Diagnosis and Prognosis in Partially-Observed Discrete Event Systems with Delayed Observations.
CDC
Jiwei Wang, Simone Baldi, Wenwu Yu, Xiang Yin
2024 — conf
Formal Control Synthesis via Safe Reinforcement Learning Under Real-Time Specifications.
ICCA
Peng Lv, Guangqing Luo, Zhou He, Xianwei Li, Xiang Yin
2024 J jnl
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges.
CoRR
Xiang Yin, Bingzhao Gao, Xiao Yu
2024 J jnl
Formal synthesis of controllers for safety-critical autonomous systems: Developments and challenges.
Annu. Rev. Control.
Xiang Yin, Bingzhao Gao, Xiao Yu
2024 J jnl
Learning Local Control Barrier Functions for Safety Control of Hybrid Systems.
CoRR
Shuo Yang, Yu Chen, Xiang Yin, Rahul Mangharam
2024 J jnl
MetaFruit Meets Foundation Models: Leveraging a Comprehensive Multi-Fruit Dataset for Advancing Agricultural Foundation Models.
CoRR
Jiajia Li, Kyle Lammers, Xunyuan Yin, Xiang Yin, Long He, Renfu Lu, Zhaojian Li
2024 J jnl
Model predictive monitoring of dynamical systems for signal temporal logic specifications.
Autom.
Xinyi Yu, Weijie Dong, Shaoyuan Li, Xiang Yin
2024 — conf
Multi-Agent Path Planning for Finite Horizon Tasks with Counting Time Temporal Logics.
CASE
Peng Lv, Shaoyuan Li, Xiang Yin
2024 A* conf
NNgTL: Neural Network Guided Optimal Temporal Logic Task Planning for Mobile Robots.
ICRA
Ruijia Liu, Shaoyuan Li, Xiang Yin
2024 J jnl
On Approximate Opacity of Stochastic Control Systems.
CoRR
Siyuan Liu, Xiang Yin, Dimos V. Dimarogonas, Majid Zamani
2024 J jnl
On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications.
CoRR
Bohan Cui, Ziyue Ma, Shaoyuan Li, Xiang Yin
2024 J jnl
On the verification of detectability for timed discrete event systems.
Autom.
Weijie Dong, Kuize Zhang, Shaoyuan Li, Xiang Yin
2024 J jnl
Opacity Enforcement via Greedy Privately-and-Publicly Known Insertion Functions.
IEEE Trans. Autom. Control.
Rongjian Liu, Jianquan Lu, Yang Liu, Xiang Yin, Christoforos N. Hadjicostis
2024 — conf
Optimal Control Synthesis of Markov Decision Processes for Efficiency with Surveillance Tasks.
CDC
Yu Chen, Xuanyuan Yin, Hao Ye, Shaoyuan Li, Xiang Yin
2024 J jnl
Optimal Control Synthesis of Markov Decision Processes for Efficiency with Surveillance Tasks.
CoRR
Yu Chen, Xuanyuan Yin, Shaoyuan Li, Xiang Yin
2024 J jnl
Optimal Deceptive Strategy Synthesis for Autonomous Systems Under Asymmetric Information.
IEEE Trans. Intell. Veh.
Peng Lv, Shaoyuan Li, Xiang Yin
2024 J jnl
Optimal Synthesis of Opacity-Enforcing Supervisors for Qualitative and Quantitative Specifications.
IEEE Trans. Autom. Control.
Yifan Xie, Shaoyuan Li, Xiang Yin
2024 J jnl
Optimal supervisory control of discrete event systems for cyclic tasks.
Autom.
Peng Lv, Zhangcong Xu, Yiding Ji, Shaoyuan Li, Xiang Yin
2024 — conf
Path Planning for Autonomous Vehicle Turning at Intersections with Signal Temporal Logic Specifications.
ICCAE
Yujin Wang, Zhaoyan Huang, Shiying Dong, Hongqing Chu, Xiang Yin, Bingzhao Gao
2024 — conf
Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints.
CASE
Bowen Ye, Jianing Zhao, Shaoyuan Li, Xiang Yin
2024 J jnl
Robust Learning and Control of Time-Delay Nonlinear Systems With Deep Recurrent Koopman Operators.
IEEE Trans. Ind. Informatics
Minghao Han, Zhaojian Li, Xiang Yin, Xunyuan Yin
2024 J jnl
SPARC: Prediction-Based Safe Control for Coupled Controllable and Uncontrollable Agents with Conformal Predictions.
CoRR
Shuqi Wang, Shaoyuan Li, Xiang Yin
2024 J jnl
Safe-by-construction autonomous vehicle overtaking using control barrier functions and model predictive control.
Int. J. Syst. Sci.
Dingran Yuan, Xinyi Yu, Shaoyuan Li, Xiang Yin
2024 J jnl
Security-Based Path Planning of Multi-Robot Systems by Partially Observed Petri Nets and Integer Linear Programming.
IEEE Control. Syst. Lett.
Zhou He, Jiaxing Yuan, Ning Ran, Xiang Yin
2024 — conf
Self-Triggered Model Predictive Control for Signal Temporal Logic Tasks.
CASE
Junyue Huang, Chuwei Wang, Xinyi Yu, Xiang Yin
2024 J jnl
Sensor deception attacks against security in supervisory control systems.
Autom.
Jingshi Yao, Shaoyuan Li, Xiang Yin
2024 J jnl
Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks.
IEEE Robotics Autom. Lett.
Chuwei Wang, Xinyi Yu, Jianing Zhao, Lars Lindemann, Xiang Yin
2024 J jnl
SoybeanNet: Transformer-based convolutional neural network for soybean pod counting from Unmanned Aerial Vehicle (UAV) images.
Comput. Electron. Agric.
Jiajia Li, Raju Thada Magar, Dong Chen, Feng Lin, Dechun Wang, Xiang Yin, Weichao Zhuang, Zhaojian Li
2024 A* conf
Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning.
ICRA
Siqi Wang, Shaoyuan Li, Li Yin, Xiang Yin
2024 J jnl
Temporal Logic Task Planning for Autonomous Systems With Active Acquisition of Information.
IEEE Trans. Intell. Veh.
Shuaiyi Li, Mengjie Wei, Shaoyuan Li, Xiang Yin
2024 J jnl
Tractable Reinforcement Learning for Signal Temporal Logic Tasks With Counterfactual Experience Replay.
IEEE Control. Syst. Lett.
Siqi Wang, Xunyuan Yin, Shaoyuan Li, Xiang Yin
2024 — conf
Uncertainty-Aware Reactive Control for Signal Temporal Logic with Unknown Obstacles.
ASCC
Chen Chen, Shaoyuan Li, Xiang Yin
2024 — conf
Verification of Approximate Prognosability via Barrier Certificates.
CDC
Weijie Dong, Bingzhuo Zhong, Xiang Yin, Majid Zamani
2024 — conf
Verification of Diagnosability for Cyber-Physical Systems via Hybrid Barrier Certificates.
ADHS
Bingzhuo Zhong, Weijie Dong, Xiang Yin, Majid Zamani
2024 J jnl
Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach.
CoRR
Bingzhuo Zhong, Weijie Dong, Xiang Yin, Majid Zamani
2023 — conf
Abstraction-Based Synthesis of Controllers for Approximate Opacity.
CDC
Junyao Hou, Siyuan Liu, Xiang Yin, Majid Zamani
2023 J jnl
Abstraction-Based Verification of Approximate Preopacity for Control Systems.
IEEE Control. Syst. Lett.
Junyao Hou, Siyuan Liu, Xiang Yin, Majid Zamani
2023 J jnl
Cloud-Assisted Nonlinear Model Predictive Control for Finite-Duration Tasks.
IEEE Trans. Autom. Control.
Nan Li, Kaixiang Zhang, Zhaojian Li, Vaibhav Srivastava, Xiang Yin
2023 — conf
Data-Driven Safe Controller Synthesis for Deterministic Systems: A Posteriori Method With Validation Tests.
CDC
Yu Chen, Chao Shang, Xiaolin Huang, Xiang Yin
2023 J jnl
Data-Driven Safe Controller Synthesis for Deterministic Systems: A Posteriori Method With Validation Tests.
CoRR
Yu Chen, Chao Shang, Xiaolin Huang, Xiang Yin
2023 — conf
Diagnosis of Time-Sensitive Failures in Timed Discrete-Event Systems with Metric Interval Temporal Logics.
CDC
Weijie Dong, Shaoyuan Li, Xiang Yin
2023 — conf
Efficient STL Control Synthesis Under Asynchronous Temporal Robustness Constraints.
CDC
Xinyi Yu, Xiang Yin, Lars Lindemann
2023 J jnl
Efficient STL Control Synthesis under Asynchronous Temporal Robustness Constraints.
CoRR
Xinyi Yu, Xiang Yin, Lars Lindemann
2023 — conf
Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition.
CDC
Xinyi Yu, Chuwei Wang, Dingran Yuan, Shaoyuan Li, Xiang Yin
2023 J jnl
NNgTL: Neural Network Guided Optimal Temporal Logic Task Planning for Mobile Robots.
CoRR
Ruijia Liu, Shaoyuan Li, Xiang Yin
2023 J jnl
Resource Provision for Cloud-Enabled Automotive Vehicles With a Hierarchical Model.
IEEE Trans. Syst. Man Cybern. Syst.
Kaixiang Zhang, Zhaojian Li, Xiang Yin, Liang Han
2023 J jnl
Safe-by-Construction Autonomous Vehicle Overtaking using Control Barrier Functions and Model Predictive Control.
CoRR
Dingran Yuan, Xinyi Yu, Shaoyuan Li, Xiang Yin
2023 J jnl
Secure Your Intention: On Notions of Pre-Opacity in Discrete-Event Systems.
IEEE Trans. Autom. Control.
Shuo Yang, Xiang Yin
2023 A* conf
Security-Aware Reinforcement Learning under Linear Temporal Logic Specifications.
ICRA
Bohan Cui, Keyi Zhu, Shaoyuan Li, Xiang Yin
2023 J jnl
Security-Preserving Multi-Robot Path Planning for Boolean Specification Tasks Using Labeled Petri Nets.
IEEE Control. Syst. Lett.
Weijie Shi, Zhou He, Ziyue Ma, Ning Ran, Xiang Yin
2023 J jnl
Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction.
CoRR
Xinyi Yu, Yiqi Zhao, Xiang Yin, Lars Lindemann
2023 J jnl
Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks.
CoRR
Chuwei Wang, Xinyi Yu, Jianing Zhao, Lars Lindemann, Xiang Yin
2023 J jnl
SoybeanNet: Transformer-Based Convolutional Neural Network for Soybean Pod Counting from Unmanned Aerial Vehicle (UAV) Images.
CoRR
Jiajia Li, Raju Thada Magar, Dong Chen, Feng Lin, Dechun Wang, Xiang Yin, Weichao Zhuang, Zhaojian Li
2023 — conf
Synthesis of Failure-Robust Plans for Multi-Robot Systems Under Temporal Logic Specifications.
CASE
Feifei Huang, Shaoyuan Li, Xiang Yin
2023 J jnl
Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning.
CoRR
Siqi Wang, Shaoyuan Li, Xiang Yin
2023 — conf
Towards Supervisory Control Theory in Tactical Environments: A Stackelberg Game Approach.
CDC
Bohan Cui, Alessandro Giua, Xiang Yin
2022 J jnl
A Unified Framework for Verification of Observational Properties for Partially-Observed Discrete-Event Systems.
CoRR
Jianing Zhao, Xiang Yin, Shaoyuan Li
2022 J jnl
A Uniform Framework for Diagnosis of Discrete-Event Systems with Unreliable Sensors using Linear Temporal Logic.
CoRR
Weijie Dong, Xiang Yin, Shaoyuan Li
2022 J jnl
A framework for current-state opacity under dynamic information release mechanism.
Autom.
Junyao Hou, Xiang Yin, Shaoyuan Li
2022 J jnl
Abstraction-Based Verification of Approximate Pre-Opacity for Control Systems.
CoRR
Junyao Hou, Siyuan Liu, Xiang Yin, Majid Zamani
2022 — conf
Failure-Robust Multi-Robot Tasks Planning under Linear Temporal Logic Specifications.
ASCC
Feifei Huang, Xiang Yin, Shaoyuan Li
2022 — conf
Fault Diagnosis of Discrete-Event Systems under Non-Deterministic Observations with Output Fairness.
CDC
Weijie Dong, Shang Gao, Xiang Yin, Shaoyuan Li
2022 J jnl
Fault Diagnosis of Discrete-Event Systems under Non-Deterministic Observations with Output Fairness.
CoRR
Weijie Dong, Shang Gao, Xiang Yin, Shaoyuan Li
2022 J jnl
Local Mean Payoff Supervisory Control for Discrete Event Systems.
IEEE Trans. Autom. Control.
Yiding Ji, Xiang Yin, Stéphane Lafortune
2022 J jnl
Markov decision processes with maximum entropy rate for Surveillance Tasks.
CoRR
Yu Chen, Shaoyuan Li, Xiang Yin
2022 J jnl
Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition.
CoRR
Xinyi Yu, Chuwei Wang, Dingran Yuan, Shaoyuan Li, Xiang Yin
2022 J jnl
Model Predictive Monitoring of Dynamic Systems for Signal Temporal Logic Specifications.
CoRR
Xinyi Yu, Weijie Dong, Xiang Yin, Shaoyuan Li
2022 C conf
On the Verification of Detectability for Timed Systems.
ACC
Weijie Dong, Xiang Yin, Kuize Zhang, Shaoyuan Li
2022 — conf
Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information.
CDC
Xinyi Yu, Weijie Dong, Xiang Yin, Shaoyuan Li
2022 J jnl
Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information.
CoRR
Xinyi Yu, Weijie Dong, Xiang Yin, Shaoyuan Li
2022 J jnl
Online Supervisory Control of Networked Discrete Event Systems With Control Delays.
IEEE Trans. Autom. Control.
Zhaocong Liu, Xiang Yin, Shaolong Shu, Feng Lin, Shaoyuan Li
2022 J jnl
Opacity Enforcing Supervisory Control Using Nondeterministic Supervisors.
IEEE Trans. Autom. Control.
Yifan Xie, Xiang Yin, Shaoyuan Li
2022 J jnl
Secure-by-Construction Synthesis of Cyber-Physical Systems.
CoRR
Siyuan Liu, Ashutosh Trivedi, Xiang Yin, Majid Zamani
2022 J jnl
Secure-by-construction synthesis of cyber-physical systems.
Annu. Rev. Control.
Siyuan Liu, Ashutosh Trivedi, Xiang Yin, Majid Zamani
2022 — conf
Sensor Deception Attacks Against Initial-State Privacy in Supervisory Control Systems.
CDC
Jingshi Yao, Xiang Yin, Shaoyuan Li
2022 J jnl
Sensor Deception Attacks Against Initial-State Privacy in Supervisory Control Systems.
CoRR
Jingshi Yao, Xiang Yin, Shaoyuan Li
2022 — conf
Temporal Logic Robot Task Planning with Active Acquisition of Information.
ICCA
Jiawei Zhao, Xiang Yin, Shaoyuan Li
2022 J jnl
To Explore or Not to Explore: Regret-Based LTL Planning in Partially-Known Environments.
CoRR
Jianing Zhao, Keyi Zhu, Xiang Yin, Shaoyuan Li
2022 C conf
To Transmit or Not to Transmit: Optimal Sensor Scheduling for Remote State Estimation of Discrete-Event Systems.
ACC
Yingying Liu, Xiang Yin, Shaoyuan Li
2022 J jnl
You Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event Systems.
CoRR
Bohan Cui, Xiang Yin, Shaoyuan Li, Alessandro Giua
2022 J jnl
You Don't Know When I Will Arrive: Unpredictable Controller Synthesis for Temporal Logic Tasks.
CoRR
Yu Chen, Shuo Yang, Rahul Mangharam, Xiang Yin
2021 — conf
A Game-Theoretical Approach for Optimal Supervisory Control of Discrete Event Systems for Cyclic Tasks.
CDC
Peng Lv, Xiang Yin, Yiding Ji, Shaoyuan Li
2021 J jnl
An improved approach for verifying delayed detectability of discrete-event systems.
Autom.
Yang Liu, Zhaocong Liu, Xiang Yin, Shaoyuan Li
2021 J jnl
Authors' Reply to "Comments on "A new approach for the verification of infinite-step and K-step opacity using two-way observers" [Automatica, 2017(80)162-171]".
Autom.
Xiang Yin, Stéphane Lafortune
2021 J jnl
Cloud-Assisted Nonlinear Model Predictive Control for Finite-Duration Tasks.
CoRR
Nan Li, Kaixiang Zhang, Zhaojian Li, Vaibhav Srivastava, Xiang Yin
2021 — conf
Distributed Sensing and Information Transmission of Discrete-Event Systems with Edge Sensors.
CDC
Yingying Liu, Xiang Yin, Shaoyuan Li
2021 J jnl
Marking Predictability and Prediction in Labeled Petri Nets.
IEEE Trans. Autom. Control.
Ziyue Ma, Xiang Yin, ZhiWu Li
2021 J jnl
Marking diagnosability verification in labeled Petri nets.
Autom.
Ziyue Ma, Xiang Yin, ZhiWu Li
2021 — conf
Modeling and Analysis of Networked Supervisory Control Systems with Multiple Control Channels.
CDC
Zhaocong Liu, Junyao Hou, Xiang Yin, Shaoyuan Li
2021 J jnl
On Approximate Opacity of Cyber-Physical Systems.
IEEE Trans. Autom. Control.
Xiang Yin, Majid Zamani, Siyuan Liu
2021 J jnl
Opacity of Networked Supervisory Control Systems Over Insecure Communication Channels.
IEEE Trans. Control. Netw. Syst.
Shuo Yang, Junyao Hou, Xiang Yin, Shaoyuan Li
2021 J jnl
Optimal Synthesis of Opacity-Enforcing Supervisors for Qualitative and Quantitative Specifications.
CoRR
Yifan Xie, Xiang Yin, Shaoyuan Li
2021 J jnl
Optimal supervisory control with mean payoff objectives and under partial observation.
Autom.
Yiding Ji, Xiang Yin, Stéphane Lafortune
2021 — conf
Secure-by-Construction Controller Synthesis for Stochastic Systems under Linear Temporal Logic Specifications.
CDC
Yifan Xie, Xiang Yin, Shaoyuan Li, Majid Zamani
2021 — conf
Supervisory Control for Stabilization under Multiple Local Average Payoff Constraints.
CDC
Yiding Ji, Xiang Yin, Wei Xiao
2021 J jnl
Verification and enforcement of strong infinite- and k-step opacity using state recognizers.
Autom.
Ziyue Ma, Xiang Yin, ZhiWu Li
2020 — conf
A Distributed Framework for Multi-Robot Task Planning with Temporal Logic Specifications.
ICCA
Yuanjiang Yang, Xiang Yin, Shaoyuan Li
2020 J jnl
A Framework for Current-State Opacity under Dynamic Information Release Mechanism.
CoRR
Junyao Hou, Xiang Yin, Shaoyuan Li
2020 J jnl
A New Microscopic Traffic Model Using a Spring-Mass-Damper-Clutch System.
IEEE Trans. Intell. Transp. Syst.
Zhaojian Li, Firas A. Khasawneh, Xiang Yin, Aoxue Li, Ziyou Song
2020 — conf
Marking Diagnosis in Labeled Petri Nets Using Basis Diagnosers.
CDC
Ziyue Ma, Xiang Yin, ZhiWu Li
2020 J jnl
Modeling and Analysis of Networked Discrete Event Systems with Multiple Control Channels.
CoRR
Zhaocong Liu, Xiang Yin, Shaoyuan Li
2020 — conf
On Attack Mitigation in Supervisory Control Systems: A Tolerant Control Approach.
CDC
Jingshi Yao, Xiang Yin, Shaoyuan Li
2020 C conf
On a Notion of Approximate Opacity for Discrete-Time Stochastic Control Systems.
ACC
Siyuan Liu, Xiang Yin, Majid Zamani
2020 J jnl
Opacity Enforcing Supervisory Control using Non-deterministic Supervisors.
CoRR
Yifan Xie, Xiang Yin, Shaoyuan Li
2020 J jnl
Secure Your Intention: On Notions of Pre-Opacity in Discrete-Event Systems.
CoRR
Shuo Yang, Xiang Yin
2020 — conf
Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks.
CDC
Shuo Yang, Xiang Yin, Shaoyuan Li, Majid Zamani
2020 J jnl
Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks.
CoRR
Shuo Yang, Xiang Yin, Shaoyuan Li, Majid Zamani
2020 J jnl
Synthesis of Dynamic Masks for Infinite-Step Opacity.
IEEE Trans. Autom. Control.
Xiang Yin, Shaoyuan Li
2019 J jnl
A New Microscopic Traffic Model Using a Spring-Mass-Damper-Clutch System.
CoRR
Zhaojian Li, Firas A. Khasawneh, Xiang Yin, Aoxue Li, Ziyou Song
2019 J jnl
A general approach for optimizing dynamic sensor activation for discrete event systems.
Autom.
Xiang Yin, Stéphane Lafortune
2019 — conf
Abstraction-Based Synthesis of Opacity-Enforcing Controllers using Alternating Simulation Relations.
CDC
Junyao Hou, Xiang Yin, Shaoyuan Li, Majid Zamani
2019 J jnl
Block-based minimum input design for the structural controllability of complex networks.
Autom.
Ting Bai, Shaoyuan Li, Yuanyuan Zou, Xiang Yin
2019 J jnl
Complexity of detectability, opacity and A-diagnosability for modular discrete event systems.
Autom.
Tomás Masopust, Xiang Yin
2019 J jnl
Corrections to "On the Decidability and Complexity of Diagnosability for Labeled Petri Nets".
IEEE Trans. Autom. Control.
Xiang Yin, Stéphane Lafortune
2019 J jnl
Decentralized Fault Prognosis of Discrete-Event Systems Using State-Estimate-Based Protocols.
IEEE Trans. Cybern.
Xiang Yin, Zhaojian Li
2019 J jnl
Enforcing opacity by insertion functions under multiple energy constraints.
Autom.
Yiding Ji, Xiang Yin, Stéphane Lafortune
2019 — conf
Formal Synthesis of Warehouse Robotic Systems with Temporal Logic Specifications.
CIS/RAM
Yuanjiang Yang, Jiawei Zhao, Xiang Yin, Shaoyuan Li
2019 — conf
Improved Approaches for Verifying I-Detectability of Discrete-Event Systems.
ASCC
Zhaocong Liu, Xiang Yin, Shaoyuan Li
2019 J jnl
Infinite-step opacity and K-step opacity of stochastic discrete-event systems.
Autom.
Xiang Yin, Zhaojian Li, Weilin Wang, Shaoyuan Li
2019 J jnl
On Approximate Opacity of Cyber-Physical Systems.
CoRR
Xiang Yin, Majid Zamani
2019 — conf
Online Supervisory Control of Networked Discrete-Event Systems with Control Delays.
CDC
Zhaocong Liu, Xiang Yin, Shaolong Shu, Shaoyuan Li
2019 J jnl
Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions.
IEEE Trans. Autom. Control.
Yiding Ji, Xiang Yin, Stéphane Lafortune
2019 — conf
Opacity of Networked Supervisory Control Systems over Insecure Multiple Channel Networks.
CDC
Xiang Yin, Shaoyuan Li
2019 J jnl
Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach.
IEEE Trans. Autom. Control.
Kuize Zhang, Xiang Yin, Majid Zamani
2019 J jnl
Robust Fault Diagnosis of Stochastic Discrete Event Systems.
IEEE Trans. Autom. Control.
Xiang Yin, Jun Chen, Zhaojian Li, Shaoyuan Li
2019 — conf
Supervisory Control for Delayed Detectability of Discrete Event Systems.
CASE
Xiang Yin, Shaoyuan Li
2019 — conf
Supervisory Control under Local Mean Payoff Constraints.
CDC
Yiding Ji, Xiang Yin, Stéphane Lafortune
2019 — conf
Towards approximate opacity of cyber-physical system: WIP abstract.
ICCPS
Xiang Yin, Majid Zamani
2018 J jnl
Deciding Detectability for Labeled Petri Nets.
CoRR
Tomás Masopust, Xiang Yin
2018 — conf
Mean Payoff Supervisory Control Under Partial Observation.
CDC
Yiding Ji, Xiang Yin, Stéphane Lafortune
2018 J jnl
Minimization of Sensor Activation in Decentralized Discrete-Event Systems.
IEEE Trans. Autom. Control.
Xiang Yin, Stéphane Lafortune
2018 J jnl
Opacity of nondeterministic transition systems: A (bi)simulation relation approach.
CoRR
Kuize Zhang, Xiang Yin, Majid Zamani
2018 J jnl
Synthesis of Maximally Permissive Nonblocking Supervisors for the Lower Bound Containment Problem.
IEEE Trans. Autom. Control.
Xiang Yin, Stéphane Lafortune
2018 J jnl
Training Drift Counteraction Optimal Control Policies Using Reinforcement Learning: An Adaptive Cruise Control Example.
IEEE Trans. Intell. Transp. Syst.
Zhaojian Li, Tianshu Chu, Ilya V. Kolmanovsky, Xiang Yin
2018 J jnl
Trajectory detectability of discrete-event systems.
Syst. Control. Lett.
Xiang Yin, Zhaojian Li, Weilin Wang
2018 — conf
Verification of Coprognosability in Decentralized Fault Prognosis of Labeled Petri Nets.
CDC
Wenqing Wu, Xiang Yin, Shaoyuan Li
2018 — conf
Verification of Opacity in Networked Supervisory Control Systems with Insecure Control Channels.
CDC
Xiang Yin, Shaoyuan Li
2018 J jnl
Verification of Prognosability for Labeled Petri Nets.
IEEE Trans. Autom. Control.
Xiang Yin
2018 J jnl
Visual-Manual Distraction Detection Using Driving Performance Indicators With Naturalistic Driving Data.
IEEE Trans. Intell. Transp. Syst.
Zhaojian Li, Shan Bao, Ilya V. Kolmanovsky, Xiang Yin
2017 J jnl
A Belief-Evolution-Based Approach for Online Control of Fuzzy Discrete-Event Systems Under Partial Observation.
IEEE Trans. Fuzzy Syst.
Xiang Yin
2017 J jnl
A new approach for the verification of infinite-step and K-step opacity using two-way observers.
Autom.
Xiang Yin, Stéphane Lafortune
2017 J jnl
Cloud Resource Allocation for Cloud-Based Automotive Applications.
CoRR
Zhaojian Li, Tianshu Chu, Ilya V. Kolmanovsky, Xiang Yin, Xunyuan Yin
2017 J jnl
Complexity of Detectability, Opacity and A-Diagnosability for Modular Discrete Event Systems.
CoRR
Tomás Masopust, Xiang Yin
2017 — conf
Infinite-step opacity of stochastic discrete-event systems.
ASCC
Xiang Yin, Zhaojian Li, Weilin Wang, Shaoyuan Li
2017 J jnl
Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures.
Autom.
Xiang Yin
2017 J jnl
On the Decidability and Complexity of Diagnosability for Labeled Petri Nets.
IEEE Trans. Autom. Control.
Xiang Yin, Stéphane Lafortune
2017 J jnl
Supervisor Synthesis for Mealy Automata With Output Functions: A Model Transformation Approach.
IEEE Trans. Autom. Control.
Xiang Yin
2017 J jnl
Synthesis of Maximally-Permissive Supervisors for the Range Control Problem.
IEEE Trans. Autom. Control.
Xiang Yin, Stéphane Lafortune
2017 J jnl
Verification complexity of a class of observational properties for modular discrete events systems.
Autom.
Xiang Yin, Stéphane Lafortune
2016 J jnl
A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems.
IEEE Trans. Autom. Control.
Xiang Yin, Stéphane Lafortune
2016 J jnl
Decentralized Supervisory Control With Intersection-Based Architecture.
IEEE Trans. Autom. Control.
Xiang Yin, Stéphane Lafortune
2016 J jnl
Decentralized fault prognosis of discrete event systems with guaranteed performance bound.
Autom.
Xiang Yin, Zhaojian Li
2016 — conf
On maximal permissiveness in partially-observed discrete event systems: Verification and synthesis.
WODES
Xiang Yin, Stéphane Lafortune
2016 — conf
On the maximally-permissive range control problem in partially-observed discrete event systems.
CDC
Xiang Yin, Stéphane Lafortune
2016 — conf
On two-way observer and its application to the verification of infinite-step and K-step opacity.
WODES
Xiang Yin, Stéphane Lafortune
2016 J jnl
Reliable Decentralized Fault Prognosis of Discrete-Event Systems.
IEEE Trans. Syst. Man Cybern. Syst.
Xiang Yin, Zhaojian Li
2016 J jnl
Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems.
IEEE Trans. Autom. Control.
Xiang Yin, Stéphane Lafortune
2015 — conf
A general approach for solving dynamic sensor activation problems for a class of properties.
CDC
Xiang Yin, Stéphane Lafortune
2015 C conf
A new approach for synthesizing opacity-enforcing supervisors for partially-observed discrete-event systems.
ACC
Xiang Yin, Stéphane Lafortune
2015 J jnl
Codiagnosability and coobservability under dynamic observations: Transformation and verification.
Autom.
Xiang Yin, Stéphane Lafortune
2015 — conf
Distributed H∞ filtering over multiple-channel sensor networks with Markovian channel switching and time-varying delays.
CDC
Zhaojian Li, Xunyuan Yin, Xiang Yin, Yi Xie, Changhong Wang
2015 — conf
Minimization of sensor activation in decentralized fault diagnosis of discrete event systems.
CDC
Xiang Yin, Stéphane Lafortune
2015 C conf
On the relationship between codiagnosability and coobservability under dynamic observations.
ACC
Xiang Yin, Stéphane Lafortune
2014 — conf
Synthesis of maximally permissive non-blocking supervisors for partially observed discrete event systems.
CDC
Xiang Yin, Stéphane Lafortune