Xiang Yin

ORCID

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 132

Top Venues

CoRR

IEEE Trans. Autom. Control.

CDC

Autom.

Publications

Jiwei Wang, Simone Baldi, Wenwu Yu, Xiang Yin
Distributed Fault Diagnosis in Discrete Event Systems With Transmission Delay Impairments. IEEE Trans. Autom. Control. 69 (8) (2024)
Siyuan Liu, Xiang Yin, Dimos V. Dimarogonas, Majid Zamani
On Approximate Opacity of Stochastic Control Systems. CoRR (2024)
Dingran Yuan, Xinyi Yu, Shaoyuan Li, Xiang Yin
Safe-by-construction autonomous vehicle overtaking using control barrier functions and model predictive control. Int. J. Syst. Sci. 55 (7) (2024)
Rongjian Liu, Jianquan Lu, Yang Liu, Xiang Yin, Christoforos N. Hadjicostis
Opacity Enforcement via Greedy Privately-and-Publicly Known Insertion Functions. IEEE Trans. Autom. Control. 69 (4) (2024)
Minghao Han, Zhaojian Li, Xiang Yin, Xunyuan Yin
Robust Learning and Control of Time-Delay Nonlinear Systems With Deep Recurrent Koopman Operators. IEEE Trans. Ind. Informatics 20 (3) (2024)
Shuo Yang, Yu Chen, Xiang Yin, Rahul Mangharam
Learning Local Control Barrier Functions for Safety Control of Hybrid Systems. CoRR (2024)
Jingshi Yao, Shaoyuan Li, Xiang Yin
Sensor deception attacks against security in supervisory control systems. Autom. 159 (2024)
Jiajia Li, Raju Thada Magar, Dong Chen, Feng Lin, Dechun Wang, Xiang Yin, Weichao Zhuang, Zhaojian Li
SoybeanNet: Transformer-based convolutional neural network for soybean pod counting from Unmanned Aerial Vehicle (UAV) images. Comput. Electron. Agric. 220 (2024)
Peng Lv, Zhangcong Xu, Yiding Ji, Shaoyuan Li, Xiang Yin
Optimal supervisory control of discrete event systems for cyclic tasks. Autom. 164 (2024)
Xiang Yin, Bingzhao Gao, Xiao Yu
Formal synthesis of controllers for safety-critical autonomous systems: Developments and challenges. Annu. Rev. Control. 57 (2024)
Jianing Zhao, Shaoyuan Li, Xiang Yin
A Unified Framework for Verification of Observational Properties for Partially-Observed Discrete-Event Systems. IEEE Trans. Autom. Control. 69 (7) (2024)
Peng Lv, Guangqing Luo, Zhou He, Xianwei Li, Xiang Yin
Formal Control Synthesis via Safe Reinforcement Learning Under Real-Time Specifications. ICCA (2024)
Siqi Wang, Shaoyuan Li, Li Yin, Xiang Yin
Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning. ICRA (2024)
Yifan Xie, Shaoyuan Li, Xiang Yin
Optimal Synthesis of Opacity-Enforcing Supervisors for Qualitative and Quantitative Specifications. IEEE Trans. Autom. Control. 69 (8) (2024)
Peng Lv, Shaoyuan Li, Xiang Yin
A Game-Theoretical Approach for Optimal Supervisory Control of Discrete Event Systems under Energy Constraints. CoRR (2024)
Shuaiyi Li, Mengjie Wei, Shaoyuan Li, Xiang Yin
Temporal Logic Task Planning for Autonomous Systems With Active Acquisition of Information. IEEE Trans. Intell. Veh. 9 (1) (2024)
Yu Chen, Xuanyuan Yin, Shaoyuan Li, Xiang Yin
Optimal Control Synthesis of Markov Decision Processes for Efficiency with Surveillance Tasks. CoRR (2024)
Weijie Dong, Kuize Zhang, Shaoyuan Li, Xiang Yin
On the verification of detectability for timed discrete event systems. Autom. 164 (2024)
Zhou He, Jiaxing Yuan, Ning Ran, Xiang Yin
Security-Based Path Planning of Multi-Robot Systems by Partially Observed Petri Nets and Integer Linear Programming. IEEE Control. Syst. Lett. 8 (2024)
Xinyi Yu, Weijie Dong, Shaoyuan Li, Xiang Yin
Model predictive monitoring of dynamical systems for signal temporal logic specifications. Autom. 160 (2024)
Siqi Wang, Xunyuan Yin, Shaoyuan Li, Xiang Yin
Tractable Reinforcement Learning for Signal Temporal Logic Tasks With Counterfactual Experience Replay. IEEE Control. Syst. Lett. 8 (2024)
Weijie Dong, Xiang Yin, Shaoyuan Li
A Uniform Framework for Diagnosis of Discrete-Event Systems With Unreliable Sensors Using Linear Temporal Logic. IEEE Trans. Autom. Control. 69 (1) (2024)
Ruijia Liu, Shaoyuan Li, Xiang Yin
NNgTL: Neural Network Guided Optimal Temporal Logic Task Planning for Mobile Robots. ICRA (2024)
Jiajia Li, Kyle Lammers, Xunyuan Yin, Xiang Yin, Long He, Renfu Lu, Zhaojian Li
MetaFruit Meets Foundation Models: Leveraging a Comprehensive Multi-Fruit Dataset for Advancing Agricultural Foundation Models. CoRR (2024)
Weijie Shi, Zhou He, Ziyue Ma, Ning Ran, Xiang Yin
Security-Preserving Multi-Robot Path Planning for Boolean Specification Tasks Using Labeled Petri Nets. IEEE Control. Syst. Lett. 7 (2023)
Junyao Hou, Siyuan Liu, Xiang Yin, Majid Zamani
Abstraction-Based Verification of Approximate Preopacity for Control Systems. IEEE Control. Syst. Lett. 7 (2023)
Xinyi Yu, Xiang Yin, Lars Lindemann
Efficient STL Control Synthesis under Asynchronous Temporal Robustness Constraints. CoRR (2023)
Kaixiang Zhang, Zhaojian Li, Xiang Yin, Liang Han
Resource Provision for Cloud-Enabled Automotive Vehicles With a Hierarchical Model. IEEE Trans. Syst. Man Cybern. Syst. 53 (3) (2023)
Shuo Yang, Xiang Yin
Secure Your Intention: On Notions of Pre-Opacity in Discrete-Event Systems. IEEE Trans. Autom. Control. 68 (8) (2023)
Xinyi Yu, Xiang Yin, Lars Lindemann
Efficient STL Control Synthesis Under Asynchronous Temporal Robustness Constraints. CDC (2023)
Siqi Wang, Shaoyuan Li, Xiang Yin
Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning. CoRR (2023)
Nan Li, Kaixiang Zhang, Zhaojian Li, Vaibhav Srivastava, Xiang Yin
Cloud-Assisted Nonlinear Model Predictive Control for Finite-Duration Tasks. IEEE Trans. Autom. Control. 68 (9) (2023)
Bohan Cui, Alessandro Giua, Xiang Yin
Towards Supervisory Control Theory in Tactical Environments: A Stackelberg Game Approach. CDC (2023)
Weijie Dong, Shaoyuan Li, Xiang Yin
Diagnosis of Time-Sensitive Failures in Timed Discrete-Event Systems with Metric Interval Temporal Logics. CDC (2023)
Chuwei Wang, Xinyi Yu, Jianing Zhao, Lars Lindemann, Xiang Yin
Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks. CoRR (2023)
Junyao Hou, Siyuan Liu, Xiang Yin, Majid Zamani
Abstraction-Based Synthesis of Controllers for Approximate Opacity. CDC (2023)
Xinyi Yu, Chuwei Wang, Dingran Yuan, Shaoyuan Li, Xiang Yin
Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition. CDC (2023)
Jiajia Li, Raju Thada Magar, Dong Chen, Feng Lin, Dechun Wang, Xiang Yin, Weichao Zhuang, Zhaojian Li
SoybeanNet: Transformer-Based Convolutional Neural Network for Soybean Pod Counting from Unmanned Aerial Vehicle (UAV) Images. CoRR (2023)
Feifei Huang, Shaoyuan Li, Xiang Yin
Synthesis of Failure-Robust Plans for Multi-Robot Systems Under Temporal Logic Specifications. CASE (2023)
Xinyi Yu, Yiqi Zhao, Xiang Yin, Lars Lindemann
Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction. CoRR (2023)
Dingran Yuan, Xinyi Yu, Shaoyuan Li, Xiang Yin
Safe-by-Construction Autonomous Vehicle Overtaking using Control Barrier Functions and Model Predictive Control. CoRR (2023)
Bohan Cui, Keyi Zhu, Shaoyuan Li, Xiang Yin
Security-Aware Reinforcement Learning under Linear Temporal Logic Specifications. ICRA (2023)
Ruijia Liu, Shaoyuan Li, Xiang Yin
NNgTL: Neural Network Guided Optimal Temporal Logic Task Planning for Mobile Robots. CoRR (2023)
Jingshi Yao, Xiang Yin, Shaoyuan Li
Sensor Deception Attacks Against Initial-State Privacy in Supervisory Control Systems. CoRR (2022)
Xinyi Yu, Weijie Dong, Xiang Yin, Shaoyuan Li
Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information. CDC (2022)
Junyao Hou, Xiang Yin, Shaoyuan Li
A framework for current-state opacity under dynamic information release mechanism. Autom. 140 (2022)
Xinyi Yu, Chuwei Wang, Dingran Yuan, Shaoyuan Li, Xiang Yin
Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition. CoRR (2022)
Weijie Dong, Xiang Yin, Kuize Zhang, Shaoyuan Li
On the Verification of Detectability for Timed Systems. ACC (2022)
Yu Chen, Shuo Yang, Rahul Mangharam, Xiang Yin
You Don't Know When I Will Arrive: Unpredictable Controller Synthesis for Temporal Logic Tasks. CoRR (2022)
Jianing Zhao, Xiang Yin, Shaoyuan Li
A Unified Framework for Verification of Observational Properties for Partially-Observed Discrete-Event Systems. CoRR (2022)
Bohan Cui, Xiang Yin, Shaoyuan Li, Alessandro Giua
You Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event Systems. CoRR (2022)
Junyao Hou, Siyuan Liu, Xiang Yin, Majid Zamani
Abstraction-Based Verification of Approximate Pre-Opacity for Control Systems. CoRR (2022)
Weijie Dong, Shang Gao, Xiang Yin, Shaoyuan Li
Fault Diagnosis of Discrete-Event Systems under Non-Deterministic Observations with Output Fairness. CDC (2022)
Xinyi Yu, Weijie Dong, Xiang Yin, Shaoyuan Li
Model Predictive Monitoring of Dynamic Systems for Signal Temporal Logic Specifications. CoRR (2022)
Yu Chen, Shaoyuan Li, Xiang Yin
Markov decision processes with maximum entropy rate for Surveillance Tasks. CoRR (2022)
Zhaocong Liu, Xiang Yin, Shaolong Shu, Feng Lin, Shaoyuan Li
Online Supervisory Control of Networked Discrete Event Systems With Control Delays. IEEE Trans. Autom. Control. 67 (5) (2022)
Xinyi Yu, Weijie Dong, Xiang Yin, Shaoyuan Li
Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information. CoRR (2022)
Yingying Liu, Xiang Yin, Shaoyuan Li
To Transmit or Not to Transmit: Optimal Sensor Scheduling for Remote State Estimation of Discrete-Event Systems. ACC (2022)
Yiding Ji, Xiang Yin, Stéphane Lafortune
Local Mean Payoff Supervisory Control for Discrete Event Systems. IEEE Trans. Autom. Control. 67 (5) (2022)
Siyuan Liu, Ashutosh Trivedi, Xiang Yin, Majid Zamani
Secure-by-construction synthesis of cyber-physical systems. Annu. Rev. Control. 53 (2022)
Weijie Dong, Xiang Yin, Shaoyuan Li
A Uniform Framework for Diagnosis of Discrete-Event Systems with Unreliable Sensors using Linear Temporal Logic. CoRR (2022)
Siyuan Liu, Ashutosh Trivedi, Xiang Yin, Majid Zamani
Secure-by-Construction Synthesis of Cyber-Physical Systems. CoRR (2022)
Jianing Zhao, Keyi Zhu, Xiang Yin, Shaoyuan Li
To Explore or Not to Explore: Regret-Based LTL Planning in Partially-Known Environments. CoRR (2022)
Jiawei Zhao, Xiang Yin, Shaoyuan Li
Temporal Logic Robot Task Planning with Active Acquisition of Information. ICCA (2022)
Yifan Xie, Xiang Yin, Shaoyuan Li
Opacity Enforcing Supervisory Control Using Nondeterministic Supervisors. IEEE Trans. Autom. Control. 67 (12) (2022)
Weijie Dong, Shang Gao, Xiang Yin, Shaoyuan Li
Fault Diagnosis of Discrete-Event Systems under Non-Deterministic Observations with Output Fairness. CoRR (2022)
Feifei Huang, Xiang Yin, Shaoyuan Li
Failure-Robust Multi-Robot Tasks Planning under Linear Temporal Logic Specifications. ASCC (2022)
Jingshi Yao, Xiang Yin, Shaoyuan Li
Sensor Deception Attacks Against Initial-State Privacy in Supervisory Control Systems. CDC (2022)
Ziyue Ma, Xiang Yin, Zhiwu Li
Verification and enforcement of strong infinite- and k-step opacity using state recognizers. Autom. 133 (2021)
Ziyue Ma, Xiang Yin, Zhiwu Li
Marking Predictability and Prediction in Labeled Petri Nets. IEEE Trans. Autom. Control. 66 (8) (2021)
Xiang Yin, Stéphane Lafortune
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. 124 (2021)
Yiding Ji, Xiang Yin, Stéphane Lafortune
Optimal supervisory control with mean payoff objectives and under partial observation. Autom. 123 (2021)
Xiang Yin, Majid Zamani, Siyuan Liu
On Approximate Opacity of Cyber-Physical Systems. IEEE Trans. Autom. Control. 66 (4) (2021)
Yang Liu, Zhaocong Liu, Xiang Yin, Shaoyuan Li
An improved approach for verifying delayed detectability of discrete-event systems. Autom. 124 (2021)
Ziyue Ma, Xiang Yin, Zhiwu Li
Marking diagnosability verification in labeled Petri nets. Autom. 131 (2021)
Shuo Yang, Junyao Hou, Xiang Yin, Shaoyuan Li
Opacity of Networked Supervisory Control Systems Over Insecure Communication Channels. IEEE Trans. Control. Netw. Syst. 8 (2) (2021)
Yiding Ji, Xiang Yin, Wei Xiao
Supervisory Control for Stabilization under Multiple Local Average Payoff Constraints. CDC (2021)
Nan Li, Kaixiang Zhang, Zhaojian Li, Vaibhav Srivastava, Xiang Yin
Cloud-Assisted Nonlinear Model Predictive Control for Finite-Duration Tasks. CoRR (2021)
Yifan Xie, Xiang Yin, Shaoyuan Li, Majid Zamani
Secure-by-Construction Controller Synthesis for Stochastic Systems under Linear Temporal Logic Specifications. CDC (2021)
Junyao Hou, Xiang Yin, Shaoyuan Li
A Framework for Current-State Opacity under Dynamic Information Release Mechanism. CoRR (2020)
Siyuan Liu, Xiang Yin, Majid Zamani
On a Notion of Approximate Opacity for Discrete-Time Stochastic Control Systems. ACC (2020)
Zhaocong Liu, Xiang Yin, Shaoyuan Li
Modeling and Analysis of Networked Discrete Event Systems with Multiple Control Channels. CoRR (2020)
Yifan Xie, Xiang Yin, Shaoyuan Li
Opacity Enforcing Supervisory Control using Non-deterministic Supervisors. CoRR (2020)
Ziyue Ma, Xiang Yin, Zhiwu Li
Marking Diagnosis in Labeled Petri Nets Using Basis Diagnosers. CDC (2020)
Shuo Yang, Xiang Yin, Shaoyuan Li, Majid Zamani
Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks. CDC (2020)
Shuo Yang, Xiang Yin, Shaoyuan Li, Majid Zamani
Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks. CoRR (2020)
Xiang Yin, Shaoyuan Li
Synthesis of Dynamic Masks for Infinite-Step Opacity. IEEE Trans. Autom. Control. 65 (4) (2020)
Zhaojian Li, Firas A. Khasawneh, Xiang Yin, Aoxue Li, Ziyou Song
A New Microscopic Traffic Model Using a Spring-Mass-Damper-Clutch System. IEEE Trans. Intell. Transp. Syst. 21 (8) (2020)
Xiang Yin, Shaoyuan Li
Opacity of Networked Supervisory Control Systems over Insecure Multiple Channel Networks. CDC (2019)
Xiang Yin, Jun Chen, Zhaojian Li, Shaoyuan Li
Robust Fault Diagnosis of Stochastic Discrete Event Systems. IEEE Trans. Autom. Control. 64 (10) (2019)
Yiding Ji, Xiang Yin, Stéphane Lafortune
Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions. IEEE Trans. Autom. Control. 64 (10) (2019)
Xiang Yin, Stéphane Lafortune
Corrections to "On the Decidability and Complexity of Diagnosability for Labeled Petri Nets". IEEE Trans. Autom. Control. 64 (4) (2019)
Xiang Yin, Majid Zamani
On Approximate Opacity of Cyber-Physical Systems. CoRR (2019)
Zhaocong Liu, Xiang Yin, Shaoyuan Li
Improved Approaches for Verifying I-Detectability of Discrete-Event Systems. ASCC (2019)
Yiding Ji, Xiang Yin, Stéphane Lafortune
Supervisory Control under Local Mean Payoff Constraints. CDC (2019)
Zhaocong Liu, Xiang Yin, Shaolong Shu, Shaoyuan Li
Online Supervisory Control of Networked Discrete-Event Systems with Control Delays. CDC (2019)
Yuanjiang Yang, Jiawei Zhao, Xiang Yin, Shaoyuan Li
Formal Synthesis of Warehouse Robotic Systems with Temporal Logic Specifications. CIS/RAM (2019)
Zhaojian Li, Firas A. Khasawneh, Xiang Yin, Aoxue Li, Ziyou Song
A New Microscopic Traffic Model Using a Spring-Mass-Damper-Clutch System. CoRR (2019)
Xiang Yin, Majid Zamani
Towards approximate opacity of cyber-physical system: WIP abstract. ICCPS (2019)
Xiang Yin, Zhaojian Li
Decentralized Fault Prognosis of Discrete-Event Systems Using State-Estimate-Based Protocols. IEEE Trans. Cybern. 49 (4) (2019)

Xiang Yin.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Xiang Yin