Synthesis of maximally permissive non-blocking supervisors for partially observed discrete event systems. - Xiang Yin 003; Stéphane Lafortune (CDC, 2014)

A new approach for synthesizing opacity-enforcing supervisors for partially-observed discrete-event systems. - Xiang Yin 003; Stéphane Lafortune (ACC, 2015)

On the relationship between codiagnosability and coobservability under dynamic observations. - Xiang Yin 003; Stéphane Lafortune (ACC, 2015)

Distributed H∞ filtering over multiple-channel sensor networks with Markovian channel switching and time-varying delays. - Zhaojian Li; Xunyuan Yin; Xiang Yin 003; Yi Xie; Changhong Wang (CDC, 2015)

Minimization of sensor activation in decentralized fault diagnosis of discrete event systems. - Xiang Yin 003; Stéphane Lafortune (CDC, 2015)

A general approach for solving dynamic sensor activation problems for a class of properties. - Xiang Yin 003; Stéphane Lafortune (CDC, 2015)

Codiagnosability and coobservability under dynamic observations: Transformation and verification. - Xiang Yin 003; Stéphane Lafortune (Autom., 2015)

On the maximally-permissive range control problem in partially-observed discrete event systems. - Xiang Yin 003; Stéphane Lafortune (CDC, 2016)

On maximal permissiveness in partially-observed discrete event systems: Verification and synthesis. - Xiang Yin 003; Stéphane Lafortune (WODES, 2016)

On two-way observer and its application to the verification of infinite-step and K-step opacity. - Xiang Yin 003; Stéphane Lafortune (WODES, 2016)

Decentralized fault prognosis of discrete event systems with guaranteed performance bound. - Xiang Yin 003; Zhaojian Li (Autom., 2016)

Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems. - Xiang Yin 003; Stéphane Lafortune (IEEE Trans. Autom. Control., 2016)

A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems. - Xiang Yin 003; Stéphane Lafortune (IEEE Trans. Autom. Control., 2016)

Decentralized Supervisory Control With Intersection-Based Architecture. - Xiang Yin 003; Stéphane Lafortune (IEEE Trans. Autom. Control., 2016)

Reliable Decentralized Fault Prognosis of Discrete-Event Systems. - Xiang Yin 003; Zhaojian Li (IEEE Trans. Syst. Man Cybern. Syst., 2016)

Infinite-step opacity of stochastic discrete-event systems. - Xiang Yin 003; Zhaojian Li; Weilin Wang; Shaoyuan Li (ASCC, 2017)

Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures. - Xiang Yin 003 (Autom., 2017)

A new approach for the verification of infinite-step and K-step opacity using two-way observers. - Xiang Yin 003; Stéphane Lafortune (Autom., 2017)

Verification complexity of a class of observational properties for modular discrete events systems. - Xiang Yin 003; Stéphane Lafortune (Autom., 2017)

Cloud Resource Allocation for Cloud-Based Automotive Applications. - Zhaojian Li; Tianshu Chu; Ilya V. Kolmanovsky; Xiang Yin 003; Xunyuan Yin (CoRR, 2017)

Supervisor Synthesis for Mealy Automata With Output Functions: A Model Transformation Approach. - Xiang Yin 003 (IEEE Trans. Autom. Control., 2017)

Synthesis of Maximally-Permissive Supervisors for the Range Control Problem. - Xiang Yin 003; Stéphane Lafortune (IEEE Trans. Autom. Control., 2017)

On the Decidability and Complexity of Diagnosability for Labeled Petri Nets. - Xiang Yin 003; Stéphane Lafortune (IEEE Trans. Autom. Control., 2017)

A Belief-Evolution-Based Approach for Online Control of Fuzzy Discrete-Event Systems Under Partial Observation. - Xiang Yin 003 (IEEE Trans. Fuzzy Syst., 2017)

Verification of Opacity in Networked Supervisory Control Systems with Insecure Control Channels. - Xiang Yin 003; Shaoyuan Li (CDC, 2018)

Mean Payoff Supervisory Control Under Partial Observation. - Yiding Ji; Xiang Yin 003; Stéphane Lafortune (CDC, 2018)

Verification of Coprognosability in Decentralized Fault Prognosis of Labeled Petri Nets. - Wenqing Wu; Xiang Yin 003; Shaoyuan Li (CDC, 2018)

Deciding Detectability for Labeled Petri Nets. - Tomás Masopust; Xiang Yin 003 (CoRR, 2018)

Trajectory detectability of discrete-event systems. - Xiang Yin 003; Zhaojian Li; Weilin Wang (Syst. Control. Lett., 2018)

Verification of Prognosability for Labeled Petri Nets. - Xiang Yin 003 (IEEE Trans. Autom. Control., 2018)

Minimization of Sensor Activation in Decentralized Discrete-Event Systems. - Xiang Yin 003; Stéphane Lafortune (IEEE Trans. Autom. Control., 2018)

Synthesis of Maximally Permissive Nonblocking Supervisors for the Lower Bound Containment Problem. - Xiang Yin 003; Stéphane Lafortune (IEEE Trans. Autom. Control., 2018)

Visual-Manual Distraction Detection Using Driving Performance Indicators With Naturalistic Driving Data. - Zhaojian Li; Shan Bao; Ilya V. Kolmanovsky; Xiang Yin 003 (IEEE Trans. Intell. Transp. Syst., 2018)

Training Drift Counteraction Optimal Control Policies Using Reinforcement Learning: An Adaptive Cruise Control Example. - Zhaojian Li; Tianshu Chu; Ilya V. Kolmanovsky; Xiang Yin 003 (IEEE Trans. Intell. Transp. Syst., 2018)

Improved Approaches for Verifying I-Detectability of Discrete-Event Systems. - Zhaocong Liu; Xiang Yin 003; Shaoyuan Li (ASCC, 2019)

Supervisory Control for Delayed Detectability of Discrete Event Systems. - Xiang Yin 003; Shaoyuan Li (CASE, 2019)

Opacity of Networked Supervisory Control Systems over Insecure Multiple Channel Networks. - Xiang Yin 003; Shaoyuan Li (CDC, 2019)

Abstraction-Based Synthesis of Opacity-Enforcing Controllers using Alternating Simulation Relations. - Junyao Hou; Xiang Yin 003; Shaoyuan Li; Majid Zamani 001 (CDC, 2019)

Supervisory Control under Local Mean Payoff Constraints. - Yiding Ji; Xiang Yin 003; Stéphane Lafortune (CDC, 2019)

Online Supervisory Control of Networked Discrete-Event Systems with Control Delays. - Zhaocong Liu; Xiang Yin 003; Shaolong Shu; Shaoyuan Li (CDC, 2019)

Towards approximate opacity of cyber-physical system: WIP abstract. - Xiang Yin 003; Majid Zamani 001 (ICCPS, 2019)

Formal Synthesis of Warehouse Robotic Systems with Temporal Logic Specifications. - Yuanjiang Yang; Jiawei Zhao; Xiang Yin 003; Shaoyuan Li (CIS/RAM, 2019)

Block-based minimum input design for the structural controllability of complex networks. - Ting Bai; Shaoyuan Li; Yuanyuan Zou 001; Xiang Yin 003 (Autom., 2019)

Enforcing opacity by insertion functions under multiple energy constraints. - Yiding Ji; Xiang Yin 003; Stéphane Lafortune (Autom., 2019)

Complexity of detectability, opacity and A-diagnosability for modular discrete event systems. - Tomás Masopust; Xiang Yin 003 (Autom., 2019)

A general approach for optimizing dynamic sensor activation for discrete event systems. - Xiang Yin 003; Stéphane Lafortune (Autom., 2019)

Infinite-step opacity and K-step opacity of stochastic discrete-event systems. - Xiang Yin 003; Zhaojian Li; Weilin Wang; Shaoyuan Li (Autom., 2019)

On Approximate Opacity of Cyber-Physical Systems. - Xiang Yin 003; Majid Zamani 001 (CoRR, 2019)

Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions. - Yiding Ji; Xiang Yin 003; Stéphane Lafortune (IEEE Trans. Autom. Control., 2019)

Robust Fault Diagnosis of Stochastic Discrete Event Systems. - Xiang Yin 003; Jun Chen 002; Zhaojian Li; Shaoyuan Li (IEEE Trans. Autom. Control., 2019)

Corrections to "On the Decidability and Complexity of Diagnosability for Labeled Petri Nets". - Xiang Yin 003; Stéphane Lafortune (IEEE Trans. Autom. Control., 2019)

Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach. - Kuize Zhang; Xiang Yin 003; Majid Zamani 001 (IEEE Trans. Autom. Control., 2019)

Decentralized Fault Prognosis of Discrete-Event Systems Using State-Estimate-Based Protocols. - Xiang Yin 003; Zhaojian Li (IEEE Trans. Cybern., 2019)

On a Notion of Approximate Opacity for Discrete-Time Stochastic Control Systems. - Siyuan Liu 002; Xiang Yin 003; Majid Zamani 001 (ACC, 2020)

Marking Diagnosis in Labeled Petri Nets Using Basis Diagnosers. - Ziyue Ma; Xiang Yin 003; Zhiwu Li 001 (CDC, 2020)

Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks. - Shuo Yang 007; Xiang Yin 003; Shaoyuan Li; Majid Zamani 001 (CDC, 2020)

On Attack Mitigation in Supervisory Control Systems: A Tolerant Control Approach. - Jingshi Yao; Xiang Yin 003; Shaoyuan Li (CDC, 2020)

A Distributed Framework for Multi-Robot Task Planning with Temporal Logic Specifications. - Yuanjiang Yang; Xiang Yin 003; Shaoyuan Li (ICCA, 2020)

Modeling and Analysis of Networked Discrete Event Systems with Multiple Control Channels. - Zhaocong Liu; Xiang Yin 003; Shaoyuan Li (CoRR, 2020)

Opacity Enforcing Supervisory Control using Non-deterministic Supervisors. - Yifan Xie; Xiang Yin 003; Shaoyuan Li (CoRR, 2020)

Synthesis of Dynamic Masks for Infinite-Step Opacity. - Xiang Yin 003; Shaoyuan Li (IEEE Trans. Autom. Control., 2020)

A New Microscopic Traffic Model Using a Spring-Mass-Damper-Clutch System. - Zhaojian Li; Firas A. Khasawneh; Xiang Yin 003; Aoxue Li; Ziyou Song (IEEE Trans. Intell. Transp. Syst., 2020)

Supervisory Control for Stabilization under Multiple Local Average Payoff Constraints. - Yiding Ji; Xiang Yin 003; Wei Xiao 003 (CDC, 2021)

Modeling and Analysis of Networked Supervisory Control Systems with Multiple Control Channels. - Zhaocong Liu; Junyao Hou; Xiang Yin 003; Shaoyuan Li (CDC, 2021)

Distributed Sensing and Information Transmission of Discrete-Event Systems with Edge Sensors. - Yingying Liu; Xiang Yin 003; Shaoyuan Li (CDC, 2021)

A Game-Theoretical Approach for Optimal Supervisory Control of Discrete Event Systems for Cyclic Tasks. - Peng Lv 002; Xiang Yin 003; Yiding Ji; Shaoyuan Li (CDC, 2021)

Secure-by-Construction Controller Synthesis for Stochastic Systems under Linear Temporal Logic Specifications. - Yifan Xie; Xiang Yin 003; Shaoyuan Li; Majid Zamani 001 (CDC, 2021)

Optimal supervisory control with mean payoff objectives and under partial observation. - Yiding Ji; Xiang Yin 003; Stéphane Lafortune (Autom., 2021)

An improved approach for verifying delayed detectability of discrete-event systems. - Yang Liu 040; Zhaocong Liu; Xiang Yin 003; Shaoyuan Li (Autom., 2021)

Marking diagnosability verification in labeled Petri nets. - Ziyue Ma; Xiang Yin 003; Zhiwu Li 001 (Autom., 2021)

Verification and enforcement of strong infinite- and k-step opacity using state recognizers. - Ziyue Ma; Xiang Yin 003; Zhiwu Li 001 (Autom., 2021)

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]". - Xiang Yin 003; Stéphane Lafortune (Autom., 2021)

Marking Predictability and Prediction in Labeled Petri Nets. - Ziyue Ma; Xiang Yin 003; Zhiwu Li 001 (IEEE Trans. Autom. Control., 2021)

On Approximate Opacity of Cyber-Physical Systems. - Xiang Yin 003; Majid Zamani 001; Siyuan Liu 002 (IEEE Trans. Autom. Control., 2021)

Opacity of Networked Supervisory Control Systems Over Insecure Communication Channels. - Shuo Yang 007; Junyao Hou; Xiang Yin 003; Shaoyuan Li (IEEE Trans. Control. Netw. Syst., 2021)

On the Verification of Detectability for Timed Systems. - Weijie Dong; Xiang Yin 003; Kuize Zhang; Shaoyuan Li (ACC, 2022)

To Transmit or Not to Transmit: Optimal Sensor Scheduling for Remote State Estimation of Discrete-Event Systems. - Yingying Liu; Xiang Yin 003; Shaoyuan Li (ACC, 2022)

Failure-Robust Multi-Robot Tasks Planning under Linear Temporal Logic Specifications. - Feifei Huang; Xiang Yin 003; Shaoyuan Li (ASCC, 2022)

Fault Diagnosis of Discrete-Event Systems under Non-Deterministic Observations with Output Fairness. - Weijie Dong; Shang Gao; Xiang Yin 003; Shaoyuan Li (CDC, 2022)

Sensor Deception Attacks Against Initial-State Privacy in Supervisory Control Systems. - Jingshi Yao; Xiang Yin 003; Shaoyuan Li (CDC, 2022)

Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information. - Xinyi Yu; Weijie Dong; Xiang Yin 003; Shaoyuan Li (CDC, 2022)

Temporal Logic Robot Task Planning with Active Acquisition of Information. - Jiawei Zhao; Xiang Yin 003; Shaoyuan Li (ICCA, 2022)

Secure-by-construction synthesis of cyber-physical systems. - Siyuan Liu 002; Ashutosh Trivedi 001; Xiang Yin 003; Majid Zamani 001 (Annu. Rev. Control., 2022)

A framework for current-state opacity under dynamic information release mechanism. - Junyao Hou; Xiang Yin 003; Shaoyuan Li (Autom., 2022)

You Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event Systems. - Bohan Cui; Xiang Yin 003; Shaoyuan Li; Alessandro Giua (CoRR, 2022)

To Explore or Not to Explore: Regret-Based LTL Planning in Partially-Known Environments. - Jianing Zhao; Keyi Zhu; Xiang Yin 003; Shaoyuan Li (CoRR, 2022)

Model Predictive Monitoring of Dynamic Systems for Signal Temporal Logic Specifications. - Xinyi Yu; Weijie Dong; Xiang Yin 003; Shaoyuan Li (CoRR, 2022)

Abstraction-Based Verification of Approximate Pre-Opacity for Control Systems. - Junyao Hou; Siyuan Liu 002; Xiang Yin 003; Majid Zamani 001 (CoRR, 2022)

You Don't Know When I Will Arrive: Unpredictable Controller Synthesis for Temporal Logic Tasks. - Yu Chen 072; Shuo Yang 007; Rahul Mangharam; Xiang Yin 003 (CoRR, 2022)

Markov decision processes with maximum entropy rate for Surveillance Tasks. - Yu Chen 072; Shaoyuan Li; Xiang Yin 003 (CoRR, 2022)

Local Mean Payoff Supervisory Control for Discrete Event Systems. - Yiding Ji; Xiang Yin 003; Stéphane Lafortune (IEEE Trans. Autom. Control., 2022)

Online Supervisory Control of Networked Discrete Event Systems With Control Delays. - Zhaocong Liu; Xiang Yin 003; Shaolong Shu; Feng Lin 001; Shaoyuan Li (IEEE Trans. Autom. Control., 2022)

Opacity Enforcing Supervisory Control Using Nondeterministic Supervisors. - Yifan Xie; Xiang Yin 003; Shaoyuan Li (IEEE Trans. Autom. Control., 2022)

Synthesis of Failure-Robust Plans for Multi-Robot Systems Under Temporal Logic Specifications. - Feifei Huang; Shaoyuan Li; Xiang Yin 003 (CASE, 2023)

Data-Driven Safe Controller Synthesis for Deterministic Systems: A Posteriori Method With Validation Tests. - Yu Chen 072; Chao Shang 002; Xiaolin Huang; Xiang Yin 003 (CDC, 2023)

Towards Supervisory Control Theory in Tactical Environments: A Stackelberg Game Approach. - Bohan Cui; Alessandro Giua; Xiang Yin 003 (CDC, 2023)

Diagnosis of Time-Sensitive Failures in Timed Discrete-Event Systems with Metric Interval Temporal Logics. - Weijie Dong; Shaoyuan Li; Xiang Yin 003 (CDC, 2023)

Abstraction-Based Synthesis of Controllers for Approximate Opacity. - Junyao Hou; Siyuan Liu 002; Xiang Yin 003; Majid Zamani 001 (CDC, 2023)

Efficient STL Control Synthesis Under Asynchronous Temporal Robustness Constraints. - Xinyi Yu; Xiang Yin 003; Lars Lindemann (CDC, 2023)

Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition. - Xinyi Yu; Chuwei Wang; Dingran Yuan; Shaoyuan Li; Xiang Yin 003 (CDC, 2023)

Security-Aware Reinforcement Learning under Linear Temporal Logic Specifications. - Bohan Cui; Keyi Zhu; Shaoyuan Li; Xiang Yin 003 (ICRA, 2023)

Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction. - Xinyi Yu; Yiqi Zhao; Xiang Yin 003; Lars Lindemann (CoRR, 2023)

Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning. - Siqi Wang; Shaoyuan Li; Xiang Yin 003 (CoRR, 2023)

Abstraction-Based Verification of Approximate Preopacity for Control Systems. - Junyao Hou; Siyuan Liu 002; Xiang Yin 003; Majid Zamani 001 (IEEE Control. Syst. Lett., 2023)

Security-Preserving Multi-Robot Path Planning for Boolean Specification Tasks Using Labeled Petri Nets. - Weijie Shi; Zhou He 001; Ziyue Ma; Ning Ran; Xiang Yin 003 (IEEE Control. Syst. Lett., 2023)

Resource Provision for Cloud-Enabled Automotive Vehicles With a Hierarchical Model. - Kaixiang Zhang 001; Zhaojian Li; Xiang Yin 003; Liang Han (IEEE Trans. Syst. Man Cybern. Syst., 2023)

Secure Your Intention: On Notions of Pre-Opacity in Discrete-Event Systems. - Shuo Yang 007; Xiang Yin 003 (IEEE Trans. Autom. Control., 2023)

Cloud-Assisted Nonlinear Model Predictive Control for Finite-Duration Tasks. - Nan Li 015; Kaixiang Zhang 001; Zhaojian Li; Vaibhav Srivastava; Xiang Yin 003 (IEEE Trans. Autom. Control., 2023)

Verification of Diagnosability for Cyber-Physical Systems via Hybrid Barrier Certificates. - Bingzhuo Zhong; Weijie Dong; Xiang Yin 003; Majid Zamani 001 (ADHS, 2024)

Uncertainty-Aware Reactive Control for Signal Temporal Logic with Unknown Obstacles. - Chen Chen; Shaoyuan Li; Xiang Yin 003 (ASCC, 2024)

Multi-Agent Path Planning for Finite Horizon Tasks with Counting Time Temporal Logics. - Peng Lv 002; Shaoyuan Li; Xiang Yin 003 (CASE, 2024)

Self-Triggered Model Predictive Control for Signal Temporal Logic Tasks. - Junyue Huang; Chuwei Wang; Xinyi Yu; Xiang Yin 003 (CASE, 2024)

Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints. - Bowen Ye; Jianing Zhao; Shaoyuan Li; Xiang Yin 003 (CASE, 2024)

Optimal Control Synthesis of Markov Decision Processes for Efficiency with Surveillance Tasks. - Yu Chen 072; Xuanyuan Yin; Hao Ye 001; Shaoyuan Li; Xiang Yin 003 (CDC, 2024)

Verification of Approximate Prognosability via Barrier Certificates. - Weijie Dong; Bingzhuo Zhong; Xiang Yin 003; Majid Zamani 001 (CDC, 2024)

Fault Diagnosis and Prognosis in Partially-Observed Discrete Event Systems with Delayed Observations. - Jiwei Wang; Simone Baldi; Wenwu Yu; Xiang Yin 003 (CDC, 2024)

Formal Control Synthesis via Safe Reinforcement Learning Under Real-Time Specifications. - Peng Lv 002; Guangqing Luo; Zhou He 001; Xianwei Li 001; Xiang Yin 003 (ICCA, 2024)

ChatSTL: A Framework of Translation from Natural Language to Signal Temporal Logic Specifications for Autonomous Vehicle Navigation out of Blocked Scenarios. - Yujin Wang; Zhaoyan Huang; Shiying Dong; Hongqing Chu; Xiang Yin 003; Bingzhao Gao (ICCAE, 2024)

Path Planning for Autonomous Vehicle Turning at Intersections with Signal Temporal Logic Specifications. - Yujin Wang; Zhaoyan Huang; Shiying Dong; Hongqing Chu; Xiang Yin 003; Bingzhao Gao (ICCAE, 2024)

NNgTL: Neural Network Guided Optimal Temporal Logic Task Planning for Mobile Robots. - Ruijia Liu; Shaoyuan Li; Xiang Yin 003 (ICRA, 2024)

Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning. - Siqi Wang; Shaoyuan Li; Li Yin; Xiang Yin 003 (ICRA, 2024)

Formal synthesis of controllers for safety-critical autonomous systems: Developments and challenges. - Xiang Yin 003; Bingzhao Gao; Xiao Yu 002 (Annu. Rev. Control., 2024)

On the verification of detectability for timed discrete event systems. - Weijie Dong; Kuize Zhang; Shaoyuan Li; Xiang Yin 003 (Autom., 2024)

Optimal supervisory control of discrete event systems for cyclic tasks. - Peng Lv 002; Zhangcong Xu; Yiding Ji; Shaoyuan Li; Xiang Yin 003 (Autom., 2024)

SoybeanNet: Transformer-based convolutional neural network for soybean pod counting from Unmanned Aerial Vehicle (UAV) images. - Jiajia Li; Raju Thada Magar; Dong Chen 016; Feng Lin 001; Dechun Wang; Xiang Yin 003; Weichao Zhuang; Zhaojian Li (Comput. Electron. Agric., 2024)

Learning Local Control Barrier Functions for Safety Control of Hybrid Systems. - Shuo Yang 007; Yu Chen 072; Xiang Yin 003; Rahul Mangharam (CoRR, 2024)

Optimal Control Synthesis of Markov Decision Processes for Efficiency with Surveillance Tasks. - Yu Chen 072; Xuanyuan Yin; Shaoyuan Li; Xiang Yin 003 (CoRR, 2024)

MetaFruit Meets Foundation Models: Leveraging a Comprehensive Multi-Fruit Dataset for Advancing Agricultural Foundation Models. - Jiajia Li; Kyle Lammers; Xunyuan Yin; Xiang Yin 003; Long He; Renfu Lu; Zhaojian Li (CoRR, 2024)

Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach. - Bingzhuo Zhong; Weijie Dong; Xiang Yin 003; Majid Zamani 001 (CoRR, 2024)

On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications. - Bohan Cui; Ziyue Ma; Shaoyuan Li; Xiang Yin 003 (CoRR, 2024)

SPARC: Prediction-Based Safe Control for Coupled Controllable and Uncontrollable Agents with Conformal Predictions. - Shuqi Wang; Shaoyuan Li; Xiang Yin 003 (CoRR, 2024)

Security-Based Path Planning of Multi-Robot Systems by Partially Observed Petri Nets and Integer Linear Programming. - Zhou He 001; Jiaxing Yuan; Ning Ran; Xiang Yin 003 (IEEE Control. Syst. Lett., 2024)

Tractable Reinforcement Learning for Signal Temporal Logic Tasks With Counterfactual Experience Replay. - Siqi Wang; Xunyuan Yin; Shaoyuan Li; Xiang Yin 003 (IEEE Control. Syst. Lett., 2024)

Sensor deception attacks against security in supervisory control systems. - Jingshi Yao; Shaoyuan Li; Xiang Yin 003 (Autom., 2024)

A Uniform Framework for Diagnosis of Discrete-Event Systems With Unreliable Sensors Using Linear Temporal Logic. - Weijie Dong; Xiang Yin 003; Shaoyuan Li (IEEE Trans. Autom. Control., 2024)

Temporal Logic Task Planning for Autonomous Systems With Active Acquisition of Information. - Shuaiyi Li; Mengjie Wei; Shaoyuan Li; Xiang Yin 003 (IEEE Trans. Intell. Veh., 2024)

Model predictive monitoring of dynamical systems for signal temporal logic specifications. - Xinyi Yu; Weijie Dong; Shaoyuan Li; Xiang Yin 003 (Autom., 2024)

Robust Learning and Control of Time-Delay Nonlinear Systems With Deep Recurrent Koopman Operators. - Minghao Han; Zhaojian Li; Xiang Yin 003; Xunyuan Yin (IEEE Trans. Ind. Informatics, 2024)

Opacity Enforcement via Greedy Privately-and-Publicly Known Insertion Functions. - Rongjian Liu; Jianquan Lu; Yang Liu 040; Xiang Yin 003; Christoforos N. Hadjicostis (IEEE Trans. Autom. Control., 2024)

Safe-by-construction autonomous vehicle overtaking using control barrier functions and model predictive control. - Dingran Yuan; Xinyi Yu; Shaoyuan Li; Xiang Yin 003 (Int. J. Syst. Sci., 2024)

A Unified Framework for Verification of Observational Properties for Partially-Observed Discrete-Event Systems. - Jianing Zhao; Shaoyuan Li; Xiang Yin 003 (IEEE Trans. Autom. Control., 2024)

Distributed Fault Diagnosis in Discrete Event Systems With Transmission Delay Impairments. - Jiwei Wang; Simone Baldi; Wenwu Yu; Xiang Yin 003 (IEEE Trans. Autom. Control., 2024)

Optimal Synthesis of Opacity-Enforcing Supervisors for Qualitative and Quantitative Specifications. - Yifan Xie; Shaoyuan Li; Xiang Yin 003 (IEEE Trans. Autom. Control., 2024)

Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks. - Chuwei Wang; Xinyi Yu; Jianing Zhao; Lars Lindemann; Xiang Yin 003 (IEEE Robotics Autom. Lett., 2024)

Optimal Deceptive Strategy Synthesis for Autonomous Systems Under Asymmetric Information. - Peng Lv 002; Shaoyuan Li; Xiang Yin 003 (IEEE Trans. Intell. Veh., 2024)

MetaFruit meets foundation models: Leveraging a comprehensive multi-fruit dataset for advancing agricultural foundation models. - Jiajia Li; Kyle Lammers; Xunyuan Yin; Xiang Yin 003; Long He; Jun Sheng; Renfu Lu; Zhaojian Li (Comput. Electron. Agric., 2025)

Decentralized fault diagnosis of discrete-event systems with unreliable sensors using linear temporal logic. - Weijie Dong; Shaoyuan Li; Xiang Yin 003 (Sci. China Inf. Sci., 2025)

Attack-Resilient Supervisory Control of Discrete Event Systems Under Dynamic-Event-Protection Mechanisms. - Bohan Cui; Alessandro Giua; Xiang Yin 003 (IEEE Control. Syst. Lett., 2025)

Protect Your Knowledge: Epistemic Property Enforcement of Discrete-Event Systems With Asymmetric Information. - Shaowen Miao; Bohan Cui; Yiding Ji; Xiang Yin 003 (IEEE Control. Syst. Lett., 2025)

Distributionally Robust Control Synthesis for Stochastic Systems with Safety and Reach-Avoid Specifications. - Yu Chen 072; Yuda Li; Shaoyuan Li; Xiang Yin 003 (CoRR, 2025)

A Stackelberg Game Approach for Signal Temporal Logic Control Synthesis with Uncontrollable Agents. - Bohan Cui; Xinyi Yu; Alessandro Giua; Xiang Yin 003 (CoRR, 2025)

Robust Temporal Logic Task Planning for Multirobot Systems Under Permanent Robot Failures. - Bohan Cui; Feifei Huang; Shaoyuan Li; Xiang Yin 003 (IEEE Trans. Control. Syst. Technol., 2025)

Online Synthesis of Control Barrier Functions with Local Occupancy Grid Maps for Safe Navigation in Unknown Environments. - Yuepeng Zhang; Yu Chen 072; Yuda Li; Shaoyuan Li; Xiang Yin 003 (CoRR, 2025)

On Approximate Opacity of Stochastic Control Systems. - Siyuan Liu 002; Xiang Yin 003; Dimos V. Dimarogonas; Majid Zamani 001 (IEEE Trans. Autom. Control., 2025)

On the Construction of Barrier Certificate: A Dynamic Programming Perspective. - Yu Chen 072; Shaoyuan Li; Xiang Yin 003 (CoRR, 2025)