default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDXiang Yin 0003
Person information
- affiliation: Shanghai Jiao Tong University, Department of Automation, China
- affiliation (PhD 2017): University of Michigan, Department of Electrical Engineering and Computer Science, Ann Arbor, MI, USA
Other persons with the same name
- Xiang Yin — disambiguation page
- Xiang Yin 0001 — University of Virginia, Department of Computer Science, Charlottesville, VA, USA
- Xiang Yin 0002
![[0000-0003-0741-4831]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0003-0741-4831")
— University of Science and Technology of China, National Engineering Laboratory for Speech and Language Information Processing, Hefei, China - Xiang Yin 0004 — Beihang University, School of Computer Science and Engineering, Beijing, China
- Xiang Yin 0005 — Nanjing University of Aeronautics and Astronautics, China
- Xiang Yin 0006 — ByteDance AI Lab, China
- Xiang Yin 0007 — Imperial College London, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j66]Xiang Yin, Bingzhao Gao, Xiao Yu:
Formal synthesis of controllers for safety-critical autonomous systems: Developments and challenges. Annu. Rev. Control. 57: 100940 (2024)- [j65]Jingshi Yao, Shaoyuan Li, Xiang Yin:
Sensor deception attacks against security in supervisory control systems. Autom. 159: 111330 (2024) - [j64]Xinyi Yu, Weijie Dong, Shaoyuan Li, Xiang Yin:
Model predictive monitoring of dynamical systems for signal temporal logic specifications. Autom. 160: 111445 (2024) - [j63]Peng Lv, Zhangcong Xu, Yiding Ji, Shaoyuan Li, Xiang Yin:
Optimal supervisory control of discrete event systems for cyclic tasks. Autom. 164: 111634 (2024) - [j62]Weijie Dong, Kuize Zhang, Shaoyuan Li, Xiang Yin:
On the verification of detectability for timed discrete event systems. Autom. 164: 111644 (2024) - [j61]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: 108861 (2024) - [j60]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: 352-357 (2024) - [j59]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: 616-621 (2024) - [j58]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): 1283-1303 (2024) - [j57]Chuwei Wang, Xinyi Yu, Jianing Zhao, Lars Lindemann, Xiang Yin:
Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks. IEEE Robotics Autom. Lett. 9(10): 8983-8990 (2024) - [j56]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): 145-160 (2024) - [j55]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): 2500-2506 (2024) - [j54]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): 4710-4717 (2024) - [j53]Yifan Xie, Shaoyuan Li, Xiang Yin:
Optimal Synthesis of Opacity-Enforcing Supervisors for Qualitative and Quantitative Specifications. IEEE Trans. Autom. Control. 69(8): 4958-4973 (2024) - [j52]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): 5508-5515 (2024) - [j51]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): 4675-4684 (2024) - [j50]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): 1436-1449 (2024) - [c51]Peng Lv, Guangqing Luo, Zhou He, Xianwei Li, Xiang Yin:
Formal Control Synthesis via Safe Reinforcement Learning Under Real-Time Specifications. ICCA 2024: 478-483 - [c50]Yujin Wang, Zhaoyan Huang, Shiying Dong, Hongqing Chu, Xiang Yin, Bingzhao Gao:
ChatSTL: A Framework of Translation from Natural Language to Signal Temporal Logic Specifications for Autonomous Vehicle Navigation out of Blocked Scenarios. ICCAE 2024: 483-487 - [c49]Yujin Wang, Zhaoyan Huang, Shiying Dong, Hongqing Chu, Xiang Yin, Bingzhao Gao:
Path Planning for Autonomous Vehicle Turning at Intersections with Signal Temporal Logic Specifications. ICCAE 2024: 665-669 - [c48]Ruijia Liu, Shaoyuan Li, Xiang Yin:
NNgTL: Neural Network Guided Optimal Temporal Logic Task Planning for Mobile Robots. ICRA 2024: 10496-10502 - [c47]Siqi Wang, Shaoyuan Li, Li Yin, Xiang Yin:
Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning. ICRA 2024: 10503-10509 - [i41]Siyuan Liu, Xiang Yin, Dimos V. Dimarogonas, Majid Zamani:
On Approximate Opacity of Stochastic Control Systems. CoRR abs/2401.01972 (2024) - [i40]Shuo Yang, Yu Chen, Xiang Yin, Rahul Mangharam:
Learning Local Control Barrier Functions for Safety Control of Hybrid Systems. CoRR abs/2401.14907 (2024) - [i39]Xiang Yin, Bingzhao Gao, Xiao Yu:
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges. CoRR abs/2402.13075 (2024) - [i38]Yu Chen, Xuanyuan Yin, Shaoyuan Li, Xiang Yin:
Optimal Control Synthesis of Markov Decision Processes for Efficiency with Surveillance Tasks. CoRR abs/2403.18632 (2024) - [i37]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 abs/2407.04711 (2024) - [i36]Bingzhuo Zhong, Weijie Dong, Xiang Yin, Majid Zamani:
Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach. CoRR abs/2408.06982 (2024) - [i35]Bohan Cui, Ziyue Ma, Shaoyuan Li, Xiang Yin:
On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications. CoRR abs/2409.06588 (2024) - 2023
- [j49]Junyao Hou, Siyuan Liu, Xiang Yin, Majid Zamani:
Abstraction-Based Verification of Approximate Preopacity for Control Systems. IEEE Control. Syst. Lett. 7: 1087-1092 (2023) - [j48]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: 2017-2022 (2023) - [j47]Shuo Yang, Xiang Yin:
Secure Your Intention: On Notions of Pre-Opacity in Discrete-Event Systems. IEEE Trans. Autom. Control. 68(8): 4754-4766 (2023) - [j46]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): 5287-5300 (2023) - [j45]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): 1466-1478 (2023) - [c46]Feifei Huang, Shaoyuan Li, Xiang Yin:
Synthesis of Failure-Robust Plans for Multi-Robot Systems Under Temporal Logic Specifications. CASE 2023: 1-6 - [c45]Weijie Dong, Shaoyuan Li, Xiang Yin:
Diagnosis of Time-Sensitive Failures in Timed Discrete-Event Systems with Metric Interval Temporal Logics. CDC 2023: 6827-6833 - [c44]Xinyi Yu, Xiang Yin, Lars Lindemann:
Efficient STL Control Synthesis Under Asynchronous Temporal Robustness Constraints. CDC 2023: 6847-6854 - [c43]Xinyi Yu, Chuwei Wang, Dingran Yuan, Shaoyuan Li, Xiang Yin:
Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition. CDC 2023: 7849-7855 - [c42]Junyao Hou, Siyuan Liu, Xiang Yin, Majid Zamani:
Abstraction-Based Synthesis of Controllers for Approximate Opacity. CDC 2023: 7930-7936 - [c41]Bohan Cui, Alessandro Giua, Xiang Yin:
Towards Supervisory Control Theory in Tactical Environments: A Stackelberg Game Approach. CDC 2023: 7937-7943 - [c40]Yu Chen, Chao Shang, Xiaolin Huang, Xiang Yin:
Data-Driven Safe Controller Synthesis for Deterministic Systems: A Posteriori Method With Validation Tests. CDC 2023: 7988-7993 - [c39]Bohan Cui, Keyi Zhu, Shaoyuan Li, Xiang Yin:
Security-Aware Reinforcement Learning under Linear Temporal Logic Specifications. ICRA 2023: 12367-12373 - [i34]Yu Chen, Chao Shang, Xiaolin Huang, Xiang Yin:
Data-Driven Safe Controller Synthesis for Deterministic Systems: A Posteriori Method With Validation Tests. CoRR abs/2304.00729 (2023) - [i33]Xinyi Yu, Xiang Yin, Lars Lindemann:
Efficient STL Control Synthesis under Asynchronous Temporal Robustness Constraints. CoRR abs/2307.12855 (2023) - [i32]Ruijia Liu, Shaoyuan Li, Xiang Yin:
NNgTL: Neural Network Guided Optimal Temporal Logic Task Planning for Mobile Robots. CoRR abs/2309.14050 (2023) - [i31]Dingran Yuan, Xinyi Yu, Shaoyuan Li, Xiang Yin:
Safe-by-Construction Autonomous Vehicle Overtaking using Control Barrier Functions and Model Predictive Control. CoRR abs/2310.06553 (2023) - [i30]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 abs/2310.10861 (2023) - [i29]Chuwei Wang, Xinyi Yu, Jianing Zhao, Lars Lindemann, Xiang Yin:
Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks. CoRR abs/2311.15531 (2023) - [i28]Xinyi Yu, Yiqi Zhao, Xiang Yin, Lars Lindemann:
Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction. CoRR abs/2312.04242 (2023) - [i27]Siqi Wang, Shaoyuan Li, Xiang Yin:
Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning. CoRR abs/2312.05764 (2023) - 2022
- [j44]Siyuan Liu, Ashutosh Trivedi, Xiang Yin, Majid Zamani:
Secure-by-construction synthesis of cyber-physical systems. Annu. Rev. Control. 53: 30-50 (2022) - [j43]Junyao Hou, Xiang Yin, Shaoyuan Li:
A framework for current-state opacity under dynamic information release mechanism. Autom. 140: 110238 (2022) - [j42]Yiding Ji, Xiang Yin, Stéphane Lafortune:
Local Mean Payoff Supervisory Control for Discrete Event Systems. IEEE Trans. Autom. Control. 67(5): 2282-2297 (2022) - [j41]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): 2314-2329 (2022) - [j40]Yifan Xie, Xiang Yin, Shaoyuan Li:
Opacity Enforcing Supervisory Control Using Nondeterministic Supervisors. IEEE Trans. Autom. Control. 67(12): 6567-6582 (2022) - [c38]Weijie Dong, Xiang Yin, Kuize Zhang, Shaoyuan Li:
On the Verification of Detectability for Timed Systems. ACC 2022: 3752-3758 - [c37]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: 4483-4489 - [c36]Feifei Huang, Xiang Yin, Shaoyuan Li:
Failure-Robust Multi-Robot Tasks Planning under Linear Temporal Logic Specifications. ASCC 2022: 1052-1059 - [c35]Xinyi Yu, Weijie Dong, Xiang Yin, Shaoyuan Li:
Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information. CDC 2022: 1553-1559 - [c34]Weijie Dong, Shang Gao, Xiang Yin, Shaoyuan Li:
Fault Diagnosis of Discrete-Event Systems under Non-Deterministic Observations with Output Fairness. CDC 2022: 4256-4262 - [c33]Jingshi Yao, Xiang Yin, Shaoyuan Li:
Sensor Deception Attacks Against Initial-State Privacy in Supervisory Control Systems. CDC 2022: 4839-4845 - [c32]Jiawei Zhao, Xiang Yin, Shaoyuan Li:
Temporal Logic Robot Task Planning with Active Acquisition of Information. ICCA 2022: 1014-1020 - [i26]Siyuan Liu, Ashutosh Trivedi, Xiang Yin, Majid Zamani:
Secure-by-Construction Synthesis of Cyber-Physical Systems. CoRR abs/2202.06677 (2022) - [i25]Xinyi Yu, Weijie Dong, Xiang Yin, Shaoyuan Li:
Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information. CoRR abs/2203.16267 (2022) - [i24]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 abs/2203.17051 (2022) - [i23]Jingshi Yao, Xiang Yin, Shaoyuan Li:
Sensor Deception Attacks Against Initial-State Privacy in Supervisory Control Systems. CoRR abs/2203.17096 (2022) - [i22]Jianing Zhao, Keyi Zhu, Xiang Yin, Shaoyuan Li:
To Explore or Not to Explore: Regret-Based LTL Planning in Partially-Known Environments. CoRR abs/2204.00268 (2022) - [i21]Weijie Dong, Shang Gao, Xiang Yin, Shaoyuan Li:
Fault Diagnosis of Discrete-Event Systems under Non-Deterministic Observations with Output Fairness. CoRR abs/2204.02617 (2022) - [i20]Weijie Dong, Xiang Yin, Shaoyuan Li:
A Uniform Framework for Diagnosis of Discrete-Event Systems with Unreliable Sensors using Linear Temporal Logic. CoRR abs/2204.13057 (2022) - [i19]Jianing Zhao, Xiang Yin, Shaoyuan Li:
A Unified Framework for Verification of Observational Properties for Partially-Observed Discrete-Event Systems. CoRR abs/2205.01392 (2022) - [i18]Xinyi Yu, Weijie Dong, Xiang Yin, Shaoyuan Li:
Model Predictive Monitoring of Dynamic Systems for Signal Temporal Logic Specifications. CoRR abs/2209.12493 (2022) - [i17]Junyao Hou, Siyuan Liu, Xiang Yin, Majid Zamani:
Abstraction-Based Verification of Approximate Pre-Opacity for Control Systems. CoRR abs/2211.04098 (2022) - [i16]Xinyi Yu, Chuwei Wang, Dingran Yuan, Shaoyuan Li, Xiang Yin:
Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition. CoRR abs/2211.08031 (2022) - [i15]Yu Chen, Shuo Yang, Rahul Mangharam, Xiang Yin:
You Don't Know When I Will Arrive: Unpredictable Controller Synthesis for Temporal Logic Tasks. CoRR abs/2211.12803 (2022) - [i14]Yu Chen, Shaoyuan Li, Xiang Yin:
Markov decision processes with maximum entropy rate for Surveillance Tasks. CoRR abs/2211.12805 (2022) - 2021
- [j39]Yiding Ji, Xiang Yin, Stéphane Lafortune:
Optimal supervisory control with mean payoff objectives and under partial observation. Autom. 123: 109359 (2021) - [j38]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: 109273 (2021) - [j37]Yang Liu, Zhaocong Liu, Xiang Yin, Shaoyuan Li:
An improved approach for verifying delayed detectability of discrete-event systems. Autom. 124: 109291 (2021) - [j36]Ziyue Ma, Xiang Yin, Zhiwu Li:
Marking diagnosability verification in labeled Petri nets. Autom. 131: 109713 (2021) - [j35]Ziyue Ma, Xiang Yin, Zhiwu Li:
Verification and enforcement of strong infinite- and k-step opacity using state recognizers. Autom. 133: 109838 (2021) - [j34]Xiang Yin, Majid Zamani, Siyuan Liu:
On Approximate Opacity of Cyber-Physical Systems. IEEE Trans. Autom. Control. 66(4): 1630-1645 (2021) - [j33]Ziyue Ma, Xiang Yin, Zhiwu Li:
Marking Predictability and Prediction in Labeled Petri Nets. IEEE Trans. Autom. Control. 66(8): 3608-3623 (2021) - [j32]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): 884-896 (2021) - [c31]Yingying Liu, Xiang Yin, Shaoyuan Li:
Distributed Sensing and Information Transmission of Discrete-Event Systems with Edge Sensors. CDC 2021: 309-315 - [c30]Zhaocong Liu, Junyao Hou, Xiang Yin, Shaoyuan Li:
Modeling and Analysis of Networked Supervisory Control Systems with Multiple Control Channels. CDC 2021: 316-323 - [c29]Peng Lv, Xiang Yin, Yiding Ji, Shaoyuan Li:
A Game-Theoretical Approach for Optimal Supervisory Control of Discrete Event Systems for Cyclic Tasks. CDC 2021: 324-330 - [c28]Yiding Ji, Xiang Yin, Wei Xiao:
Supervisory Control for Stabilization under Multiple Local Average Payoff Constraints. CDC 2021: 1054-1061 - [c27]Yifan Xie, Xiang Yin, Shaoyuan Li, Majid Zamani:
Secure-by-Construction Controller Synthesis for Stochastic Systems under Linear Temporal Logic Specifications. CDC 2021: 7015-7021 - [i13]Yifan Xie, Xiang Yin, Shaoyuan Li:
Optimal Synthesis of Opacity-Enforcing Supervisors for Qualitative and Quantitative Specifications. CoRR abs/2102.01402 (2021) - [i12]Nan Li, Kaixiang Zhang, Zhaojian Li, Vaibhav Srivastava, Xiang Yin:
Cloud-Assisted Nonlinear Model Predictive Control for Finite-Duration Tasks. CoRR abs/2106.10604 (2021) - 2020
- [j31]Xiang Yin, Shaoyuan Li:
Synthesis of Dynamic Masks for Infinite-Step Opacity. IEEE Trans. Autom. Control. 65(4): 1429-1441 (2020) - [j30]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): 3322-3331 (2020) - [c26]Siyuan Liu, Xiang Yin, Majid Zamani:
On a Notion of Approximate Opacity for Discrete-Time Stochastic Control Systems. ACC 2020: 5413-5418 - [c25]Shuo Yang, Xiang Yin, Shaoyuan Li, Majid Zamani:
Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks. CDC 2020: 4460-4466 - [c24]Ziyue Ma, Xiang Yin, Zhiwu Li:
Marking Diagnosis in Labeled Petri Nets Using Basis Diagnosers. CDC 2020: 4479-4484 - [c23]Jingshi Yao, Xiang Yin, Shaoyuan Li:
On Attack Mitigation in Supervisory Control Systems: A Tolerant Control Approach. CDC 2020: 4504-4510 - [c22]Yuanjiang Yang, Xiang Yin, Shaoyuan Li:
A Distributed Framework for Multi-Robot Task Planning with Temporal Logic Specifications. ICCA 2020: 570-575 - [i11]Zhaocong Liu, Xiang Yin, Shaoyuan Li:
Modeling and Analysis of Networked Discrete Event Systems with Multiple Control Channels. CoRR abs/2004.01876 (2020) - [i10]Yifan Xie, Xiang Yin, Shaoyuan Li:
Opacity Enforcing Supervisory Control using Non-deterministic Supervisors. CoRR abs/2010.10149 (2020) - [i9]Shuo Yang, Xiang Yin:
Secure Your Intention: On Notions of Pre-Opacity in Discrete-Event Systems. CoRR abs/2010.14120 (2020) - [i8]Shuo Yang, Xiang Yin, Shaoyuan Li, Majid Zamani:
Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks. CoRR abs/2010.14160 (2020) - [i7]Junyao Hou, Xiang Yin, Shaoyuan Li:
A Framework for Current-State Opacity under Dynamic Information Release Mechanism. CoRR abs/2012.04874 (2020)
2010 – 2019
- 2019
- [j29]Xiang Yin, Zhaojian Li, Weilin Wang, Shaoyuan Li:
Infinite-step opacity and K-step opacity of stochastic discrete-event systems. Autom. 99: 266-274 (2019) - [j28]Tomás Masopust, Xiang Yin:
Complexity of detectability, opacity and A-diagnosability for modular discrete event systems. Autom. 101: 290-295 (2019) - [j27]Xiang Yin, Stéphane Lafortune:
A general approach for optimizing dynamic sensor activation for discrete event systems. Autom. 105: 376-383 (2019) - [j26]Ting Bai, Shaoyuan Li, Yuanyuan Zou, Xiang Yin:
Block-based minimum input design for the structural controllability of complex networks. Autom. 107: 68-76 (2019) - [j25]Yiding Ji, Xiang Yin, Stéphane Lafortune:
Enforcing opacity by insertion functions under multiple energy constraints. Autom. 108 (2019) - [j24]Xiang Yin, Stéphane Lafortune:
Corrections to "On the Decidability and Complexity of Diagnosability for Labeled Petri Nets". IEEE Trans. Autom. Control. 64(4): 1768 (2019) - [j23]Xiang Yin, Jun Chen, Zhaojian Li, Shaoyuan Li:
Robust Fault Diagnosis of Stochastic Discrete Event Systems. IEEE Trans. Autom. Control. 64(10): 4237-4244 (2019) - [j22]Yiding Ji, Xiang Yin, Stéphane Lafortune:
Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions. IEEE Trans. Autom. Control. 64(10): 4369-4376 (2019) - [j21]Kuize Zhang, Xiang Yin, Majid Zamani:
Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach. IEEE Trans. Autom. Control. 64(12): 5116-5123 (2019) - [j20]Xiang Yin, Zhaojian Li:
Decentralized Fault Prognosis of Discrete-Event Systems Using State-Estimate-Based Protocols. IEEE Trans. Cybern. 49(4): 1302-1313 (2019) - [c21]Zhaocong Liu, Xiang Yin, Shaoyuan Li:
Improved Approaches for Verifying I-Detectability of Discrete-Event Systems. ASCC 2019: 248-253 - [c20]Xiang Yin, Shaoyuan Li:
Supervisory Control for Delayed Detectability of Discrete Event Systems. CASE 2019: 480-485 - [c19]Yiding Ji, Xiang Yin, Stéphane Lafortune:
Supervisory Control under Local Mean Payoff Constraints. CDC 2019: 1043-1049 - [c18]Zhaocong Liu, Xiang Yin, Shaolong Shu, Shaoyuan Li:
Online Supervisory Control of Networked Discrete-Event Systems with Control Delays. CDC 2019: 6706-6711 - [c17]Xiang Yin, Shaoyuan Li:
Opacity of Networked Supervisory Control Systems over Insecure Multiple Channel Networks. CDC 2019: 7641-7646 - [c16]Junyao Hou, Xiang Yin, Shaoyuan Li, Majid Zamani:
Abstraction-Based Synthesis of Opacity-Enforcing Controllers using Alternating Simulation Relations. CDC 2019: 7653-7658 - [c15]Xiang Yin, Majid Zamani:
Towards approximate opacity of cyber-physical system: WIP abstract. ICCPS 2019: 310-311 - [c14]Yuanjiang Yang, Jiawei Zhao, Xiang Yin, Shaoyuan Li:
Formal Synthesis of Warehouse Robotic Systems with Temporal Logic Specifications. CIS/RAM 2019: 469-474 - [i6]Xiang Yin, Majid Zamani:
On Approximate Opacity of Cyber-Physical Systems. CoRR abs/1902.09411 (2019) - [i5]Zhaojian Li, Firas A. Khasawneh, Xiang Yin, Aoxue Li, Ziyou Song:
A New Microscopic Traffic Model Using a Spring-Mass-Damper-Clutch System. CoRR abs/1903.04469 (2019) - 2018
- [j19]Xiang Yin, Zhaojian Li, Weilin Wang:
Trajectory detectability of discrete-event systems. Syst. Control. Lett. 119: 101-107 (2018) - [j18]Xiang Yin:
Verification of Prognosability for Labeled Petri Nets. IEEE Trans. Autom. Control. 63(6): 1738-1744 (2018) - [j17]Xiang Yin, Stéphane Lafortune:
Minimization of Sensor Activation in Decentralized Discrete-Event Systems. IEEE Trans. Autom. Control. 63(11): 3705-3718 (2018) - [j16]Xiang Yin, Stéphane Lafortune:
Synthesis of Maximally Permissive Nonblocking Supervisors for the Lower Bound Containment Problem. IEEE Trans. Autom. Control. 63(12): 4435-4441 (2018) - [j15]Zhaojian Li, Shan Bao, Ilya V. Kolmanovsky, Xiang Yin:
Visual-Manual Distraction Detection Using Driving Performance Indicators With Naturalistic Driving Data. IEEE Trans. Intell. Transp. Syst. 19(8): 2528-2535 (2018) - [j14]Zhaojian Li, Tianshu Chu, Ilya V. Kolmanovsky, Xiang Yin:
Training Drift Counteraction Optimal Control Policies Using Reinforcement Learning: An Adaptive Cruise Control Example. IEEE Trans. Intell. Transp. Syst. 19(9): 2903-2912 (2018) - [c13]Yiding Ji, Xiang Yin, Stéphane Lafortune:
Mean Payoff Supervisory Control Under Partial Observation. CDC 2018: 3981-3987 - [c12]Wenqing Wu, Xiang Yin, Shaoyuan Li:
Verification of Coprognosability in Decentralized Fault Prognosis of Labeled Petri Nets. CDC 2018: 4845-4850 - [c11]Xiang Yin, Shaoyuan Li:
Verification of Opacity in Networked Supervisory Control Systems with Insecure Control Channels. CDC 2018: 4851-4856 - [i4]Tomás Masopust, Xiang Yin:
Deciding Detectability for Labeled Petri Nets. CoRR abs/1802.02087 (2018) - [i3]Kuize Zhang, Xiang Yin, Majid Zamani:
Opacity of nondeterministic transition systems: A (bi)simulation relation approach. CoRR abs/1802.03321 (2018) - 2017
- [j13]Xiang Yin:
Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures. Autom. 80: 127-134 (2017) - [j12]Xiang Yin, Stéphane Lafortune:
A new approach for the verification of infinite-step and K-step opacity using two-way observers. Autom. 80: 162-171 (2017) - [j11]Xiang Yin, Stéphane Lafortune:
Verification complexity of a class of observational properties for modular discrete events systems. Autom. 83: 199-205 (2017) - [j10]Xiang Yin:
Supervisor Synthesis for Mealy Automata With Output Functions: A Model Transformation Approach. IEEE Trans. Autom. Control. 62(5): 2576-2581 (2017) - [j9]Xiang Yin, Stéphane Lafortune:
Synthesis of Maximally-Permissive Supervisors for the Range Control Problem. IEEE Trans. Autom. Control. 62(8): 3914-3929 (2017) - [j8]Xiang Yin, Stéphane Lafortune:
On the Decidability and Complexity of Diagnosability for Labeled Petri Nets. IEEE Trans. Autom. Control. 62(11): 5931-5938 (2017) - [j7]Xiang Yin:
A Belief-Evolution-Based Approach for Online Control of Fuzzy Discrete-Event Systems Under Partial Observation. IEEE Trans. Fuzzy Syst. 25(6): 1830-1836 (2017) - [c10]Xiang Yin, Zhaojian Li, Weilin Wang, Shaoyuan Li:
Infinite-step opacity of stochastic discrete-event systems. ASCC 2017: 102-107 - [i2]Zhaojian Li, Tianshu Chu, Ilya V. Kolmanovsky, Xiang Yin, Xunyuan Yin:
Cloud Resource Allocation for Cloud-Based Automotive Applications. CoRR abs/1701.04537 (2017) - [i1]Tomás Masopust, Xiang Yin:
Complexity of Detectability, Opacity and A-Diagnosability for Modular Discrete Event Systems. CoRR abs/1710.02877 (2017) - 2016
- [j6]Xiang Yin, Zhaojian Li:
Decentralized fault prognosis of discrete event systems with guaranteed performance bound. Autom. 69: 375-379 (2016) - [j5]Xiang Yin, Stéphane Lafortune:
Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems. IEEE Trans. Autom. Control. 61(5): 1239-1254 (2016) - [j4]Xiang Yin, Stéphane Lafortune:
A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems. IEEE Trans. Autom. Control. 61(8): 2140-2154 (2016) - [j3]Xiang Yin, Stéphane Lafortune:
Decentralized Supervisory Control With Intersection-Based Architecture. IEEE Trans. Autom. Control. 61(11): 3644-3650 (2016) - [j2]Xiang Yin, Zhaojian Li:
Reliable Decentralized Fault Prognosis of Discrete-Event Systems. IEEE Trans. Syst. Man Cybern. Syst. 46(11): 1598-1603 (2016) - [c9]Xiang Yin, Stéphane Lafortune:
On the maximally-permissive range control problem in partially-observed discrete event systems. CDC 2016: 3923-3928 - [c8]Xiang Yin, Stéphane Lafortune:
On maximal permissiveness in partially-observed discrete event systems: Verification and synthesis. WODES 2016: 1-7 - [c7]Xiang Yin, Stéphane Lafortune:
On two-way observer and its application to the verification of infinite-step and K-step opacity. WODES 2016: 361-366 - 2015
- [j1]Xiang Yin, Stéphane Lafortune:
Codiagnosability and coobservability under dynamic observations: Transformation and verification. Autom. 61: 241-252 (2015) - [c6]Xiang Yin, Stéphane Lafortune:
A new approach for synthesizing opacity-enforcing supervisors for partially-observed discrete-event systems. ACC 2015: 377-383 - [c5]Xiang Yin, Stéphane Lafortune:
On the relationship between codiagnosability and coobservability under dynamic observations. ACC 2015: 390-395 - [c4]Xiang Yin, Stéphane Lafortune:
Minimization of sensor activation in decentralized fault diagnosis of discrete event systems. CDC 2015: 1014-1019 - [c3]Xiang Yin, Stéphane Lafortune:
A general approach for solving dynamic sensor activation problems for a class of properties. CDC 2015: 3610-3615 - [c2]Zhaojian Li, Xunyuan Yin, Xiang Yin, Yi Xie, Changhong Wang:
Distributed H∞ filtering over multiple-channel sensor networks with Markovian channel switching and time-varying delays. CDC 2015: 7410-7415 - 2014
- [c1]Xiang Yin, Stéphane Lafortune:
Synthesis of maximally permissive non-blocking supervisors for partially observed discrete event systems. CDC 2014: 5156-5162
Coauthor Index
[j65] [j64] [j63] [j62] [j59] [j58] [j56] [j54] [j53] [j50] [c48] [c47] [i38] [i35] [c46] [c45] [c43] [c39] [i32] [i31] [i27] [j43] [j41] [j40] [c38] [c37] [c36] [c35] [c34] [c33] [c32] [i25] [i24] [i23] [i22] [i21] [i20] [i19] [i18] [i16] [i14] [j37] [j32] [c31] [c30] [c29] [c27] [i13] [j31] [c25] [c23] [c22] [i11] [i10] [i8] [i7] [j29] [j26] [j23] [c21] [c20] [c18] [c17] [c16] [c14] [c12] [c11] [c10]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-18 20:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
