default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Xiang Yin 0003
@article{DBLP:journals/cea/LiLYYHSLL25,
author = {Jiajia Li and
Kyle Lammers and
Xunyuan Yin and
Xiang Yin and
Long He and
Jun Sheng and
Renfu Lu and
Zhaojian Li},
title = {MetaFruit meets foundation models: Leveraging a comprehensive multi-fruit
dataset for advancing agricultural foundation models},
journal = {Comput. Electron. Agric.},
volume = {231},
pages = {109908},
year = {2025},
url = {https://doi.org/10.1016/j.compag.2025.109908},
doi = {10.1016/J.COMPAG.2025.109908},
timestamp = {Fri, 07 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cea/LiLYYHSLL25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/DongLY25,
author = {Weijie Dong and
Shaoyuan Li and
Xiang Yin},
title = {Decentralized fault diagnosis of discrete-event systems with unreliable
sensors using linear temporal logic},
journal = {Sci. China Inf. Sci.},
volume = {68},
number = {1},
year = {2025},
url = {https://doi.org/10.1007/s11432-023-4108-8},
doi = {10.1007/S11432-023-4108-8},
timestamp = {Sat, 03 May 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/chinaf/DongLY25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csysl/CuiGY25,
author = {Bohan Cui and
Alessandro Giua and
Xiang Yin},
title = {Attack-Resilient Supervisory Control of Discrete Event Systems Under
Dynamic-Event-Protection Mechanisms},
journal = {{IEEE} Control. Syst. Lett.},
volume = {9},
pages = {1189--1194},
year = {2025},
url = {https://doi.org/10.1109/LCSYS.2025.3578986},
doi = {10.1109/LCSYS.2025.3578986},
timestamp = {Sat, 09 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csysl/CuiGY25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csysl/MiaoCJY25,
author = {Shaowen Miao and
Bohan Cui and
Yiding Ji and
Xiang Yin},
title = {Protect Your Knowledge: Epistemic Property Enforcement of Discrete-Event
Systems With Asymmetric Information},
journal = {{IEEE} Control. Syst. Lett.},
volume = {9},
pages = {1832--1837},
year = {2025},
url = {https://doi.org/10.1109/LCSYS.2025.3578993},
doi = {10.1109/LCSYS.2025.3578993},
timestamp = {Sat, 09 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csysl/MiaoCJY25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/LiuYDZ25,
author = {Siyuan Liu and
Xiang Yin and
Dimos V. Dimarogonas and
Majid Zamani},
title = {On Approximate Opacity of Stochastic Control Systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {70},
number = {6},
pages = {3846--3861},
year = {2025},
url = {https://doi.org/10.1109/TAC.2024.3516202},
doi = {10.1109/TAC.2024.3516202},
timestamp = {Sun, 06 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/LiuYDZ25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/CuiHLY25,
author = {Bohan Cui and
Feifei Huang and
Shaoyuan Li and
Xiang Yin},
title = {Robust Temporal Logic Task Planning for Multirobot Systems Under Permanent
Robot Failures},
journal = {{IEEE} Trans. Control. Syst. Technol.},
volume = {33},
number = {2},
pages = {526--538},
year = {2025},
url = {https://doi.org/10.1109/TCST.2024.3494392},
doi = {10.1109/TCST.2024.3494392},
timestamp = {Tue, 08 Apr 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcst/CuiHLY25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2501-03137,
author = {Yu Chen and
Yuda Li and
Shaoyuan Li and
Xiang Yin},
title = {Distributionally Robust Control Synthesis for Stochastic Systems with
Safety and Reach-Avoid Specifications},
journal = {CoRR},
volume = {abs/2501.03137},
year = {2025},
url = {https://doi.org/10.48550/arXiv.2501.03137},
doi = {10.48550/ARXIV.2501.03137},
eprinttype = {arXiv},
eprint = {2501.03137},
timestamp = {Wed, 19 Feb 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2501-03137.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2502-14585,
author = {Bohan Cui and
Xinyi Yu and
Alessandro Giua and
Xiang Yin},
title = {A Stackelberg Game Approach for Signal Temporal Logic Control Synthesis
with Uncontrollable Agents},
journal = {CoRR},
volume = {abs/2502.14585},
year = {2025},
url = {https://doi.org/10.48550/arXiv.2502.14585},
doi = {10.48550/ARXIV.2502.14585},
eprinttype = {arXiv},
eprint = {2502.14585},
timestamp = {Wed, 19 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2502-14585.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2505-11941,
author = {Yuepeng Zhang and
Yu Chen and
Yuda Li and
Shaoyuan Li and
Xiang Yin},
title = {Online Synthesis of Control Barrier Functions with Local Occupancy
Grid Maps for Safe Navigation in Unknown Environments},
journal = {CoRR},
volume = {abs/2505.11941},
year = {2025},
url = {https://doi.org/10.48550/arXiv.2505.11941},
doi = {10.48550/ARXIV.2505.11941},
eprinttype = {arXiv},
eprint = {2505.11941},
timestamp = {Tue, 24 Jun 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2505-11941.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2507-17222,
author = {Yu Chen and
Shaoyuan Li and
Xiang Yin},
title = {On the Construction of Barrier Certificate: {A} Dynamic Programming
Perspective},
journal = {CoRR},
volume = {abs/2507.17222},
year = {2025},
url = {https://doi.org/10.48550/arXiv.2507.17222},
doi = {10.48550/ARXIV.2507.17222},
eprinttype = {arXiv},
eprint = {2507.17222},
timestamp = {Tue, 19 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2507-17222.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/arc/YinGY24,
author = {Xiang Yin and
Bingzhao Gao and
Xiao Yu},
title = {Formal synthesis of controllers for safety-critical autonomous systems:
Developments and challenges},
journal = {Annu. Rev. Control.},
volume = {57},
pages = {100940},
year = {2024},
url = {https://doi.org/10.1016/j.arcontrol.2024.100940},
doi = {10.1016/J.ARCONTROL.2024.100940},
timestamp = {Tue, 06 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/arc/YinGY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/YaoLY24,
author = {Jingshi Yao and
Shaoyuan Li and
Xiang Yin},
title = {Sensor deception attacks against security in supervisory control systems},
journal = {Autom.},
volume = {159},
pages = {111330},
year = {2024},
url = {https://doi.org/10.1016/j.automatica.2023.111330},
doi = {10.1016/J.AUTOMATICA.2023.111330},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/YaoLY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/YuDLY24,
author = {Xinyi Yu and
Weijie Dong and
Shaoyuan Li and
Xiang Yin},
title = {Model predictive monitoring of dynamical systems for signal temporal
logic specifications},
journal = {Autom.},
volume = {160},
pages = {111445},
year = {2024},
url = {https://doi.org/10.1016/j.automatica.2023.111445},
doi = {10.1016/J.AUTOMATICA.2023.111445},
timestamp = {Thu, 25 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/YuDLY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/LvXJLY24,
author = {Peng Lv and
Zhangcong Xu and
Yiding Ji and
Shaoyuan Li and
Xiang Yin},
title = {Optimal supervisory control of discrete event systems for cyclic tasks},
journal = {Autom.},
volume = {164},
pages = {111634},
year = {2024},
url = {https://doi.org/10.1016/j.automatica.2024.111634},
doi = {10.1016/J.AUTOMATICA.2024.111634},
timestamp = {Fri, 16 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/LvXJLY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/DongZLY24,
author = {Weijie Dong and
Kuize Zhang and
Shaoyuan Li and
Xiang Yin},
title = {On the verification of detectability for timed discrete event systems},
journal = {Autom.},
volume = {164},
pages = {111644},
year = {2024},
url = {https://doi.org/10.1016/j.automatica.2024.111644},
doi = {10.1016/J.AUTOMATICA.2024.111644},
timestamp = {Fri, 26 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/DongZLY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cea/LiMCLWYZL24,
author = {Jiajia Li and
Raju Thada Magar and
Dong Chen and
Feng Lin and
Dechun Wang and
Xiang Yin and
Weichao Zhuang and
Zhaojian Li},
title = {SoybeanNet: Transformer-based convolutional neural network for soybean
pod counting from Unmanned Aerial Vehicle {(UAV)} images},
journal = {Comput. Electron. Agric.},
volume = {220},
pages = {108861},
year = {2024},
url = {https://doi.org/10.1016/j.compag.2024.108861},
doi = {10.1016/J.COMPAG.2024.108861},
timestamp = {Sun, 09 Feb 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cea/LiMCLWYZL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csysl/HeYRY24,
author = {Zhou He and
Jiaxing Yuan and
Ning Ran and
Xiang Yin},
title = {Security-Based Path Planning of Multi-Robot Systems by Partially Observed
Petri Nets and Integer Linear Programming},
journal = {{IEEE} Control. Syst. Lett.},
volume = {8},
pages = {352--357},
year = {2024},
url = {https://doi.org/10.1109/LCSYS.2024.3381182},
doi = {10.1109/LCSYS.2024.3381182},
timestamp = {Sat, 04 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csysl/HeYRY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csysl/WangYLY24,
author = {Siqi Wang and
Xunyuan Yin and
Shaoyuan Li and
Xiang Yin},
title = {Tractable Reinforcement Learning for Signal Temporal Logic Tasks With
Counterfactual Experience Replay},
journal = {{IEEE} Control. Syst. Lett.},
volume = {8},
pages = {616--621},
year = {2024},
url = {https://doi.org/10.1109/LCSYS.2024.3397844},
doi = {10.1109/LCSYS.2024.3397844},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csysl/WangYLY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsysc/YuanYLY24,
author = {Dingran Yuan and
Xinyi Yu and
Shaoyuan Li and
Xiang Yin},
title = {Safe-by-construction autonomous vehicle overtaking using control barrier
functions and model predictive control},
journal = {Int. J. Syst. Sci.},
volume = {55},
number = {7},
pages = {1283--1303},
year = {2024},
url = {https://doi.org/10.1080/00207721.2024.2304665},
doi = {10.1080/00207721.2024.2304665},
timestamp = {Tue, 30 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsysc/YuanYLY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ral/WangYZLY24,
author = {Chuwei Wang and
Xinyi Yu and
Jianing Zhao and
Lars Lindemann and
Xiang Yin},
title = {Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal
Temporal Logic Tasks},
journal = {{IEEE} Robotics Autom. Lett.},
volume = {9},
number = {10},
pages = {8983--8990},
year = {2024},
url = {https://doi.org/10.1109/LRA.2024.3455848},
doi = {10.1109/LRA.2024.3455848},
timestamp = {Fri, 25 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ral/WangYZLY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/DongYL24,
author = {Weijie Dong and
Xiang Yin and
Shaoyuan Li},
title = {A Uniform Framework for Diagnosis of Discrete-Event Systems With Unreliable
Sensors Using Linear Temporal Logic},
journal = {{IEEE} Trans. Autom. Control.},
volume = {69},
number = {1},
pages = {145--160},
year = {2024},
url = {https://doi.org/10.1109/TAC.2023.3266021},
doi = {10.1109/TAC.2023.3266021},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tac/DongYL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/LiuLLYH24,
author = {Rongjian Liu and
Jianquan Lu and
Yang Liu and
Xiang Yin and
Christoforos N. Hadjicostis},
title = {Opacity Enforcement via Greedy Privately-and-Publicly Known Insertion
Functions},
journal = {{IEEE} Trans. Autom. Control.},
volume = {69},
number = {4},
pages = {2500--2506},
year = {2024},
url = {https://doi.org/10.1109/TAC.2023.3307791},
doi = {10.1109/TAC.2023.3307791},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/LiuLLYH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/ZhaoLY24,
author = {Jianing Zhao and
Shaoyuan Li and
Xiang Yin},
title = {A Unified Framework for Verification of Observational Properties for
Partially-Observed Discrete-Event Systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {69},
number = {7},
pages = {4710--4717},
year = {2024},
url = {https://doi.org/10.1109/tac.2024.3355378},
doi = {10.1109/TAC.2024.3355378},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tac/ZhaoLY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/XieLY24,
author = {Yifan Xie and
Shaoyuan Li and
Xiang Yin},
title = {Optimal Synthesis of Opacity-Enforcing Supervisors for Qualitative
and Quantitative Specifications},
journal = {{IEEE} Trans. Autom. Control.},
volume = {69},
number = {8},
pages = {4958--4973},
year = {2024},
url = {https://doi.org/10.1109/TAC.2023.3342880},
doi = {10.1109/TAC.2023.3342880},
timestamp = {Thu, 22 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/XieLY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/WangBYY24,
author = {Jiwei Wang and
Simone Baldi and
Wenwu Yu and
Xiang Yin},
title = {Distributed Fault Diagnosis in Discrete Event Systems With Transmission
Delay Impairments},
journal = {{IEEE} Trans. Autom. Control.},
volume = {69},
number = {8},
pages = {5508--5515},
year = {2024},
url = {https://doi.org/10.1109/TAC.2024.3369510},
doi = {10.1109/TAC.2024.3369510},
timestamp = {Thu, 22 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/WangBYY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/HanLYY24,
author = {Minghao Han and
Zhaojian Li and
Xiang Yin and
Xunyuan Yin},
title = {Robust Learning and Control of Time-Delay Nonlinear Systems With Deep
Recurrent Koopman Operators},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {20},
number = {3},
pages = {4675--4684},
year = {2024},
url = {https://doi.org/10.1109/TII.2023.3328432},
doi = {10.1109/TII.2023.3328432},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tii/HanLYY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tiv/LiWLY24,
author = {Shuaiyi Li and
Mengjie Wei and
Shaoyuan Li and
Xiang Yin},
title = {Temporal Logic Task Planning for Autonomous Systems With Active Acquisition
of Information},
journal = {{IEEE} Trans. Intell. Veh.},
volume = {9},
number = {1},
pages = {1436--1449},
year = {2024},
url = {https://doi.org/10.1109/TIV.2023.3327312},
doi = {10.1109/TIV.2023.3327312},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tiv/LiWLY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tiv/LvLY24,
author = {Peng Lv and
Shaoyuan Li and
Xiang Yin},
title = {Optimal Deceptive Strategy Synthesis for Autonomous Systems Under
Asymmetric Information},
journal = {{IEEE} Trans. Intell. Veh.},
volume = {9},
number = {10},
pages = {6108--6121},
year = {2024},
url = {https://doi.org/10.1109/TIV.2024.3362585},
doi = {10.1109/TIV.2024.3362585},
timestamp = {Sun, 06 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tiv/LvLY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/ZhongD0024,
author = {Bingzhuo Zhong and
Weijie Dong and
Xiang Yin and
Majid Zamani},
editor = {Abolfazl Lavaei and
Pavithra Prabhakar and
Luca Zaccarian and
Majid Zamani},
title = {Verification of Diagnosability for Cyber-Physical Systems via Hybrid
Barrier Certificates},
booktitle = {8th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2024, Boulder, CO, USA, July 1-3, 2024},
series = {IFAC-PapersOnLine},
volume = {58},
number = {11},
pages = {81--86},
publisher = {Elsevier},
year = {2024},
url = {https://doi.org/10.1016/j.ifacol.2024.07.429},
doi = {10.1016/J.IFACOL.2024.07.429},
timestamp = {Thu, 21 Aug 2025 15:36:42 +0200},
biburl = {https://dblp.org/rec/conf/adhs/ZhongD0024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ascc/ChenLY24,
author = {Chen Chen and
Shaoyuan Li and
Xiang Yin},
title = {Uncertainty-Aware Reactive Control for Signal Temporal Logic with
Unknown Obstacles},
booktitle = {14th Asian Control Conference, {ASCC} 2024, Dalian, China, July 5-8,
2024},
pages = {350--355},
publisher = {{IEEE}},
year = {2024},
url = {https://ieeexplore.ieee.org/document/10665554},
timestamp = {Wed, 12 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ascc/ChenLY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/0002L024,
author = {Peng Lv and
Shaoyuan Li and
Xiang Yin},
title = {Multi-Agent Path Planning for Finite Horizon Tasks with Counting Time
Temporal Logics},
booktitle = {20th {IEEE} International Conference on Automation Science and Engineering,
{CASE} 2024, Bari, Italy, August 28 - Sept. 1, 2024},
pages = {2025--2030},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/CASE59546.2024.10711490},
doi = {10.1109/CASE59546.2024.10711490},
timestamp = {Thu, 07 Nov 2024 10:23:02 +0100},
biburl = {https://dblp.org/rec/conf/case/0002L024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/HuangWY024,
author = {Junyue Huang and
Chuwei Wang and
Xinyi Yu and
Xiang Yin},
title = {Self-Triggered Model Predictive Control for Signal Temporal Logic
Tasks},
booktitle = {20th {IEEE} International Conference on Automation Science and Engineering,
{CASE} 2024, Bari, Italy, August 28 - Sept. 1, 2024},
pages = {2547--2552},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/CASE59546.2024.10711435},
doi = {10.1109/CASE59546.2024.10711435},
timestamp = {Thu, 07 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/case/HuangWY024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/YeZLY24,
author = {Bowen Ye and
Jianing Zhao and
Shaoyuan Li and
Xiang Yin},
title = {Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning
with Ordering Constraints},
booktitle = {20th {IEEE} International Conference on Automation Science and Engineering,
{CASE} 2024, Bari, Italy, August 28 - Sept. 1, 2024},
pages = {2840--2845},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/CASE59546.2024.10711581},
doi = {10.1109/CASE59546.2024.10711581},
timestamp = {Fri, 08 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/case/YeZLY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/WangBY024,
author = {Jiwei Wang and
Simone Baldi and
Wenwu Yu and
Xiang Yin},
title = {Fault Diagnosis and Prognosis in Partially-Observed Discrete Event
Systems with Delayed Observations},
booktitle = {63rd {IEEE} Conference on Decision and Control, {CDC} 2024, Milan,
Italy, December 16-19, 2024},
pages = {3675--3680},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/CDC56724.2024.10886825},
doi = {10.1109/CDC56724.2024.10886825},
timestamp = {Tue, 04 Mar 2025 09:03:41 +0100},
biburl = {https://dblp.org/rec/conf/cdc/WangBY024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/DongZ0024,
author = {Weijie Dong and
Bingzhuo Zhong and
Xiang Yin and
Majid Zamani},
title = {Verification of Approximate Prognosability via Barrier Certificates},
booktitle = {63rd {IEEE} Conference on Decision and Control, {CDC} 2024, Milan,
Italy, December 16-19, 2024},
pages = {3693--3698},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/CDC56724.2024.10886053},
doi = {10.1109/CDC56724.2024.10886053},
timestamp = {Tue, 04 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/DongZ0024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/0072YYL024,
author = {Yu Chen and
Xuanyuan Yin and
Hao Ye and
Shaoyuan Li and
Xiang Yin},
title = {Optimal Control Synthesis of Markov Decision Processes for Efficiency
with Surveillance Tasks},
booktitle = {63rd {IEEE} Conference on Decision and Control, {CDC} 2024, Milan,
Italy, December 16-19, 2024},
pages = {3699--3704},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/CDC56724.2024.10886343},
doi = {10.1109/CDC56724.2024.10886343},
timestamp = {Wed, 04 Jun 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/0072YYL024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icca/0002LH0Y24,
author = {Peng Lv and
Guangqing Luo and
Zhou He and
Xianwei Li and
Xiang Yin},
title = {Formal Control Synthesis via Safe Reinforcement Learning Under Real-Time
Specifications},
booktitle = {18th {IEEE} International Conference on Control {\&} Automation,
{ICCA} 2024, Reykjav{\'{\i}}k, Iceland, June 18-21, 2024},
pages = {478--483},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/ICCA62789.2024.10591902},
doi = {10.1109/ICCA62789.2024.10591902},
timestamp = {Mon, 19 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icca/0002LH0Y24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccae/WangHDCYG24,
author = {Yujin Wang and
Zhaoyan Huang and
Shiying Dong and
Hongqing Chu and
Xiang Yin and
Bingzhao Gao},
title = {ChatSTL: {A} Framework of Translation from Natural Language to Signal
Temporal Logic Specifications for Autonomous Vehicle Navigation out
of Blocked Scenarios},
booktitle = {16th International Conference on Computer and Automation Engineering,
{ICCAE} 2024, Melbourne, Australia, March 14-16, 2024},
pages = {483--487},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/ICCAE59995.2024.10569281},
doi = {10.1109/ICCAE59995.2024.10569281},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccae/WangHDCYG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccae/WangHDCYG24a,
author = {Yujin Wang and
Zhaoyan Huang and
Shiying Dong and
Hongqing Chu and
Xiang Yin and
Bingzhao Gao},
title = {Path Planning for Autonomous Vehicle Turning at Intersections with
Signal Temporal Logic Specifications},
booktitle = {16th International Conference on Computer and Automation Engineering,
{ICCAE} 2024, Melbourne, Australia, March 14-16, 2024},
pages = {665--669},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/ICCAE59995.2024.10569917},
doi = {10.1109/ICCAE59995.2024.10569917},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccae/WangHDCYG24a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/LiuL024,
author = {Ruijia Liu and
Shaoyuan Li and
Xiang Yin},
title = {NNgTL: Neural Network Guided Optimal Temporal Logic Task Planning
for Mobile Robots},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2024, Yokohama, Japan, May 13-17, 2024},
pages = {10496--10502},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/ICRA57147.2024.10611699},
doi = {10.1109/ICRA57147.2024.10611699},
timestamp = {Mon, 19 Aug 2024 15:58:53 +0200},
biburl = {https://dblp.org/rec/conf/icra/LiuL024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/WangLYY24,
author = {Siqi Wang and
Shaoyuan Li and
Li Yin and
Xiang Yin},
title = {Synthesis of Temporally-Robust Policies for Signal Temporal Logic
Tasks using Reinforcement Learning},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2024, Yokohama, Japan, May 13-17, 2024},
pages = {10503--10509},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/ICRA57147.2024.10610510},
doi = {10.1109/ICRA57147.2024.10610510},
timestamp = {Tue, 20 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/WangLYY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-01972,
author = {Siyuan Liu and
Xiang Yin and
Dimos V. Dimarogonas and
Majid Zamani},
title = {On Approximate Opacity of Stochastic Control Systems},
journal = {CoRR},
volume = {abs/2401.01972},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.01972},
doi = {10.48550/ARXIV.2401.01972},
eprinttype = {arXiv},
eprint = {2401.01972},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-01972.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-14907,
author = {Shuo Yang and
Yu Chen and
Xiang Yin and
Rahul Mangharam},
title = {Learning Local Control Barrier Functions for Safety Control of Hybrid
Systems},
journal = {CoRR},
volume = {abs/2401.14907},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.14907},
doi = {10.48550/ARXIV.2401.14907},
eprinttype = {arXiv},
eprint = {2401.14907},
timestamp = {Thu, 18 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-14907.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-13075,
author = {Xiang Yin and
Bingzhao Gao and
Xiao Yu},
title = {Formal Synthesis of Controllers for Safety-Critical Autonomous Systems:
Developments and Challenges},
journal = {CoRR},
volume = {abs/2402.13075},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.13075},
doi = {10.48550/ARXIV.2402.13075},
eprinttype = {arXiv},
eprint = {2402.13075},
timestamp = {Wed, 07 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-13075.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-18632,
author = {Yu Chen and
Xuanyuan Yin and
Shaoyuan Li and
Xiang Yin},
title = {Optimal Control Synthesis of Markov Decision Processes for Efficiency
with Surveillance Tasks},
journal = {CoRR},
volume = {abs/2403.18632},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.18632},
doi = {10.48550/ARXIV.2403.18632},
eprinttype = {arXiv},
eprint = {2403.18632},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-18632.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-04711,
author = {Jiajia Li and
Kyle Lammers and
Xunyuan Yin and
Xiang Yin and
Long He and
Renfu Lu and
Zhaojian Li},
title = {MetaFruit Meets Foundation Models: Leveraging a Comprehensive Multi-Fruit
Dataset for Advancing Agricultural Foundation Models},
journal = {CoRR},
volume = {abs/2407.04711},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2407.04711},
doi = {10.48550/ARXIV.2407.04711},
eprinttype = {arXiv},
eprint = {2407.04711},
timestamp = {Mon, 12 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2407-04711.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2408-06982,
author = {Bingzhuo Zhong and
Weijie Dong and
Xiang Yin and
Majid Zamani},
title = {Verification of Diagnosability for Cyber-Physical Systems: {A} Hybrid
Barrier Certificate Approach},
journal = {CoRR},
volume = {abs/2408.06982},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2408.06982},
doi = {10.48550/ARXIV.2408.06982},
eprinttype = {arXiv},
eprint = {2408.06982},
timestamp = {Mon, 23 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2408-06982.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2409-06588,
author = {Bohan Cui and
Ziyue Ma and
Shaoyuan Li and
Xiang Yin},
title = {On Epistemic Properties in Discrete-Event Systems: {A} Uniform Framework
and Its Applications},
journal = {CoRR},
volume = {abs/2409.06588},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2409.06588},
doi = {10.48550/ARXIV.2409.06588},
eprinttype = {arXiv},
eprint = {2409.06588},
timestamp = {Sat, 12 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2409-06588.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2410-15660,
author = {Shuqi Wang and
Shaoyuan Li and
Xiang Yin},
title = {{SPARC:} Prediction-Based Safe Control for Coupled Controllable and
Uncontrollable Agents with Conformal Predictions},
journal = {CoRR},
volume = {abs/2410.15660},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2410.15660},
doi = {10.48550/ARXIV.2410.15660},
eprinttype = {arXiv},
eprint = {2410.15660},
timestamp = {Wed, 27 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2410-15660.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csysl/HouLYZ23,
author = {Junyao Hou and
Siyuan Liu and
Xiang Yin and
Majid Zamani},
title = {Abstraction-Based Verification of Approximate Preopacity for Control
Systems},
journal = {{IEEE} Control. Syst. Lett.},
volume = {7},
pages = {1087--1092},
year = {2023},
url = {https://doi.org/10.1109/LCSYS.2022.3230770},
doi = {10.1109/LCSYS.2022.3230770},
timestamp = {Tue, 04 Feb 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csysl/HouLYZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csysl/ShiHMRY23,
author = {Weijie Shi and
Zhou He and
Ziyue Ma and
Ning Ran and
Xiang Yin},
title = {Security-Preserving Multi-Robot Path Planning for Boolean Specification
Tasks Using Labeled Petri Nets},
journal = {{IEEE} Control. Syst. Lett.},
volume = {7},
pages = {2017--2022},
year = {2023},
url = {https://doi.org/10.1109/LCSYS.2023.3284200},
doi = {10.1109/LCSYS.2023.3284200},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csysl/ShiHMRY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/YangY23,
author = {Shuo Yang and
Xiang Yin},
title = {Secure Your Intention: On Notions of Pre-Opacity in Discrete-Event
Systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {68},
number = {8},
pages = {4754--4766},
year = {2023},
url = {https://doi.org/10.1109/TAC.2022.3210148},
doi = {10.1109/TAC.2022.3210148},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/YangY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/LiZLSY23,
author = {Nan Li and
Kaixiang Zhang and
Zhaojian Li and
Vaibhav Srivastava and
Xiang Yin},
title = {Cloud-Assisted Nonlinear Model Predictive Control for Finite-Duration
Tasks},
journal = {{IEEE} Trans. Autom. Control.},
volume = {68},
number = {9},
pages = {5287--5300},
year = {2023},
url = {https://doi.org/10.1109/TAC.2022.3219293},
doi = {10.1109/TAC.2022.3219293},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/LiZLSY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/ZhangLYH23,
author = {Kaixiang Zhang and
Zhaojian Li and
Xiang Yin and
Liang Han},
title = {Resource Provision for Cloud-Enabled Automotive Vehicles With a Hierarchical
Model},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {53},
number = {3},
pages = {1466--1478},
year = {2023},
url = {https://doi.org/10.1109/TSMC.2022.3200452},
doi = {10.1109/TSMC.2022.3200452},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tsmc/ZhangLYH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/HuangLY23,
author = {Feifei Huang and
Shaoyuan Li and
Xiang Yin},
title = {Synthesis of Failure-Robust Plans for Multi-Robot Systems Under Temporal
Logic Specifications},
booktitle = {19th {IEEE} International Conference on Automation Science and Engineering,
{CASE} 2023, Auckland, New Zealand, August 26-30, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CASE56687.2023.10260303},
doi = {10.1109/CASE56687.2023.10260303},
timestamp = {Thu, 05 Oct 2023 18:00:33 +0200},
biburl = {https://dblp.org/rec/conf/case/HuangLY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/DongL023,
author = {Weijie Dong and
Shaoyuan Li and
Xiang Yin},
title = {Diagnosis of Time-Sensitive Failures in Timed Discrete-Event Systems
with Metric Interval Temporal Logics},
booktitle = {62nd {IEEE} Conference on Decision and Control, {CDC} 2023, Singapore,
December 13-15, 2023},
pages = {6827--6833},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CDC49753.2023.10383314},
doi = {10.1109/CDC49753.2023.10383314},
timestamp = {Mon, 29 Jan 2024 17:30:32 +0100},
biburl = {https://dblp.org/rec/conf/cdc/DongL023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/Yu0L23,
author = {Xinyi Yu and
Xiang Yin and
Lars Lindemann},
title = {Efficient {STL} Control Synthesis Under Asynchronous Temporal Robustness
Constraints},
booktitle = {62nd {IEEE} Conference on Decision and Control, {CDC} 2023, Singapore,
December 13-15, 2023},
pages = {6847--6854},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CDC49753.2023.10384038},
doi = {10.1109/CDC49753.2023.10384038},
timestamp = {Mon, 29 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/Yu0L23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/YuWYL023,
author = {Xinyi Yu and
Chuwei Wang and
Dingran Yuan and
Shaoyuan Li and
Xiang Yin},
title = {Model Predictive Control for Signal Temporal Logic Specifications
with Time Interval Decomposition},
booktitle = {62nd {IEEE} Conference on Decision and Control, {CDC} 2023, Singapore,
December 13-15, 2023},
pages = {7849--7855},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CDC49753.2023.10383500},
doi = {10.1109/CDC49753.2023.10383500},
timestamp = {Mon, 29 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/YuWYL023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/HouL0023,
author = {Junyao Hou and
Siyuan Liu and
Xiang Yin and
Majid Zamani},
title = {Abstraction-Based Synthesis of Controllers for Approximate Opacity},
booktitle = {62nd {IEEE} Conference on Decision and Control, {CDC} 2023, Singapore,
December 13-15, 2023},
pages = {7930--7936},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CDC49753.2023.10383482},
doi = {10.1109/CDC49753.2023.10383482},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/HouL0023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/CuiG023,
author = {Bohan Cui and
Alessandro Giua and
Xiang Yin},
title = {Towards Supervisory Control Theory in Tactical Environments: {A} Stackelberg
Game Approach},
booktitle = {62nd {IEEE} Conference on Decision and Control, {CDC} 2023, Singapore,
December 13-15, 2023},
pages = {7937--7943},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CDC49753.2023.10384094},
doi = {10.1109/CDC49753.2023.10384094},
timestamp = {Mon, 29 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/CuiG023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/ChenSHY23,
author = {Yu Chen and
Chao Shang and
Xiaolin Huang and
Xiang Yin},
title = {Data-Driven Safe Controller Synthesis for Deterministic Systems: {A}
Posteriori Method With Validation Tests},
booktitle = {62nd {IEEE} Conference on Decision and Control, {CDC} 2023, Singapore,
December 13-15, 2023},
pages = {7988--7993},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CDC49753.2023.10383978},
doi = {10.1109/CDC49753.2023.10383978},
timestamp = {Wed, 04 Jun 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/ChenSHY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/CuiZLY23,
author = {Bohan Cui and
Keyi Zhu and
Shaoyuan Li and
Xiang Yin},
title = {Security-Aware Reinforcement Learning under Linear Temporal Logic
Specifications},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2023, London, UK, May 29 - June 2, 2023},
pages = {12367--12373},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICRA48891.2023.10160753},
doi = {10.1109/ICRA48891.2023.10160753},
timestamp = {Tue, 08 Aug 2023 10:24:29 +0200},
biburl = {https://dblp.org/rec/conf/icra/CuiZLY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-00729,
author = {Yu Chen and
Chao Shang and
Xiaolin Huang and
Xiang Yin},
title = {Data-Driven Safe Controller Synthesis for Deterministic Systems: {A}
Posteriori Method With Validation Tests},
journal = {CoRR},
volume = {abs/2304.00729},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.00729},
doi = {10.48550/ARXIV.2304.00729},
eprinttype = {arXiv},
eprint = {2304.00729},
timestamp = {Thu, 05 Jun 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-00729.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-12855,
author = {Xinyi Yu and
Xiang Yin and
Lars Lindemann},
title = {Efficient {STL} Control Synthesis under Asynchronous Temporal Robustness
Constraints},
journal = {CoRR},
volume = {abs/2307.12855},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.12855},
doi = {10.48550/ARXIV.2307.12855},
eprinttype = {arXiv},
eprint = {2307.12855},
timestamp = {Tue, 01 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-12855.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-14050,
author = {Ruijia Liu and
Shaoyuan Li and
Xiang Yin},
title = {NNgTL: Neural Network Guided Optimal Temporal Logic Task Planning
for Mobile Robots},
journal = {CoRR},
volume = {abs/2309.14050},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.14050},
doi = {10.48550/ARXIV.2309.14050},
eprinttype = {arXiv},
eprint = {2309.14050},
timestamp = {Wed, 27 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-14050.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-06553,
author = {Dingran Yuan and
Xinyi Yu and
Shaoyuan Li and
Xiang Yin},
title = {Safe-by-Construction Autonomous Vehicle Overtaking using Control Barrier
Functions and Model Predictive Control},
journal = {CoRR},
volume = {abs/2310.06553},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.06553},
doi = {10.48550/ARXIV.2310.06553},
eprinttype = {arXiv},
eprint = {2310.06553},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-06553.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-10861,
author = {Jiajia Li and
Raju Thada Magar and
Dong Chen and
Feng Lin and
Dechun Wang and
Xiang Yin and
Weichao Zhuang and
Zhaojian Li},
title = {SoybeanNet: Transformer-Based Convolutional Neural Network for Soybean
Pod Counting from Unmanned Aerial Vehicle {(UAV)} Images},
journal = {CoRR},
volume = {abs/2310.10861},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.10861},
doi = {10.48550/ARXIV.2310.10861},
eprinttype = {arXiv},
eprint = {2310.10861},
timestamp = {Mon, 10 Feb 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-10861.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-15531,
author = {Chuwei Wang and
Xinyi Yu and
Jianing Zhao and
Lars Lindemann and
Xiang Yin},
title = {Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal
Temporal Logic Tasks},
journal = {CoRR},
volume = {abs/2311.15531},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.15531},
doi = {10.48550/ARXIV.2311.15531},
eprinttype = {arXiv},
eprint = {2311.15531},
timestamp = {Fri, 01 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-15531.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-04242,
author = {Xinyi Yu and
Yiqi Zhao and
Xiang Yin and
Lars Lindemann},
title = {Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic
Agents with Conformal Prediction},
journal = {CoRR},
volume = {abs/2312.04242},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.04242},
doi = {10.48550/ARXIV.2312.04242},
eprinttype = {arXiv},
eprint = {2312.04242},
timestamp = {Mon, 01 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-04242.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-05764,
author = {Siqi Wang and
Shaoyuan Li and
Xiang Yin},
title = {Synthesis of Temporally-Robust Policies for Signal Temporal Logic
Tasks using Reinforcement Learning},
journal = {CoRR},
volume = {abs/2312.05764},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.05764},
doi = {10.48550/ARXIV.2312.05764},
eprinttype = {arXiv},
eprint = {2312.05764},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-05764.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/arc/LiuTYZ22,
author = {Siyuan Liu and
Ashutosh Trivedi and
Xiang Yin and
Majid Zamani},
title = {Secure-by-construction synthesis of cyber-physical systems},
journal = {Annu. Rev. Control.},
volume = {53},
pages = {30--50},
year = {2022},
url = {https://doi.org/10.1016/j.arcontrol.2022.03.004},
doi = {10.1016/J.ARCONTROL.2022.03.004},
timestamp = {Tue, 04 Feb 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/arc/LiuTYZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/HouYL22,
author = {Junyao Hou and
Xiang Yin and
Shaoyuan Li},
title = {A framework for current-state opacity under dynamic information release
mechanism},
journal = {Autom.},
volume = {140},
pages = {110238},
year = {2022},
url = {https://doi.org/10.1016/j.automatica.2022.110238},
doi = {10.1016/J.AUTOMATICA.2022.110238},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/HouYL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/JiYL22,
author = {Yiding Ji and
Xiang Yin and
St{\'{e}}phane Lafortune},
title = {Local Mean Payoff Supervisory Control for Discrete Event Systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {67},
number = {5},
pages = {2282--2297},
year = {2022},
url = {https://doi.org/10.1109/TAC.2021.3075186},
doi = {10.1109/TAC.2021.3075186},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/JiYL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/LiuYSLL22,
author = {Zhaocong Liu and
Xiang Yin and
Shaolong Shu and
Feng Lin and
Shaoyuan Li},
title = {Online Supervisory Control of Networked Discrete Event Systems With
Control Delays},
journal = {{IEEE} Trans. Autom. Control.},
volume = {67},
number = {5},
pages = {2314--2329},
year = {2022},
url = {https://doi.org/10.1109/TAC.2021.3080495},
doi = {10.1109/TAC.2021.3080495},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/LiuYSLL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/XieYL22,
author = {Yifan Xie and
Xiang Yin and
Shaoyuan Li},
title = {Opacity Enforcing Supervisory Control Using Nondeterministic Supervisors},
journal = {{IEEE} Trans. Autom. Control.},
volume = {67},
number = {12},
pages = {6567--6582},
year = {2022},
url = {https://doi.org/10.1109/TAC.2021.3131125},
doi = {10.1109/TAC.2021.3131125},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tac/XieYL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/DongYZL22,
author = {Weijie Dong and
Xiang Yin and
Kuize Zhang and
Shaoyuan Li},
title = {On the Verification of Detectability for Timed Systems},
booktitle = {American Control Conference, {ACC} 2022, Atlanta, GA, USA, June 8-10,
2022},
pages = {3752--3758},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.23919/ACC53348.2022.9867438},
doi = {10.23919/ACC53348.2022.9867438},
timestamp = {Mon, 06 Nov 2023 12:57:51 +0100},
biburl = {https://dblp.org/rec/conf/amcc/DongYZL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/LiuYL22,
author = {Yingying Liu and
Xiang Yin and
Shaoyuan Li},
title = {To Transmit or Not to Transmit: Optimal Sensor Scheduling for Remote
State Estimation of Discrete-Event Systems},
booktitle = {American Control Conference, {ACC} 2022, Atlanta, GA, USA, June 8-10,
2022},
pages = {4483--4489},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.23919/ACC53348.2022.9867563},
doi = {10.23919/ACC53348.2022.9867563},
timestamp = {Mon, 12 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/LiuYL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ascc/Huang0L22,
author = {Feifei Huang and
Xiang Yin and
Shaoyuan Li},
title = {Failure-Robust Multi-Robot Tasks Planning under Linear Temporal Logic
Specifications},
booktitle = {13th Asian Control Conference, {ASCC} 2022, Jeju, Korea, May 4-7,
2022},
pages = {1052--1059},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.23919/ASCC56756.2022.9828362},
doi = {10.23919/ASCC56756.2022.9828362},
timestamp = {Tue, 26 Jul 2022 14:50:43 +0200},
biburl = {https://dblp.org/rec/conf/ascc/Huang0L22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/YuD0L22,
author = {Xinyi Yu and
Weijie Dong and
Xiang Yin and
Shaoyuan Li},
title = {Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications
with Model Information},
booktitle = {61st {IEEE} Conference on Decision and Control, {CDC} 2022, Cancun,
Mexico, December 6-9, 2022},
pages = {1553--1559},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CDC51059.2022.9993114},
doi = {10.1109/CDC51059.2022.9993114},
timestamp = {Wed, 18 Jan 2023 15:37:37 +0100},
biburl = {https://dblp.org/rec/conf/cdc/YuD0L22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/DongG0L22,
author = {Weijie Dong and
Shang Gao and
Xiang Yin and
Shaoyuan Li},
title = {Fault Diagnosis of Discrete-Event Systems under Non-Deterministic
Observations with Output Fairness},
booktitle = {61st {IEEE} Conference on Decision and Control, {CDC} 2022, Cancun,
Mexico, December 6-9, 2022},
pages = {4256--4262},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CDC51059.2022.9992962},
doi = {10.1109/CDC51059.2022.9992962},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/DongG0L22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/Yao0L22,
author = {Jingshi Yao and
Xiang Yin and
Shaoyuan Li},
title = {Sensor Deception Attacks Against Initial-State Privacy in Supervisory
Control Systems},
booktitle = {61st {IEEE} Conference on Decision and Control, {CDC} 2022, Cancun,
Mexico, December 6-9, 2022},
pages = {4839--4845},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CDC51059.2022.9992694},
doi = {10.1109/CDC51059.2022.9992694},
timestamp = {Wed, 18 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/Yao0L22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icca/ZhaoYL22,
author = {Jiawei Zhao and
Xiang Yin and
Shaoyuan Li},
title = {Temporal Logic Robot Task Planning with Active Acquisition of Information},
booktitle = {17th {IEEE} International Conference on Control {\&} Automation,
{ICCA} 2022, Naples, Italy, June 27-30, 2022},
pages = {1014--1020},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICCA54724.2022.9831883},
doi = {10.1109/ICCA54724.2022.9831883},
timestamp = {Wed, 03 Aug 2022 15:28:27 +0200},
biburl = {https://dblp.org/rec/conf/icca/ZhaoYL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-06677,
author = {Siyuan Liu and
Ashutosh Trivedi and
Xiang Yin and
Majid Zamani},
title = {Secure-by-Construction Synthesis of Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/2202.06677},
year = {2022},
url = {https://arxiv.org/abs/2202.06677},
eprinttype = {arXiv},
eprint = {2202.06677},
timestamp = {Tue, 04 Feb 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-06677.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-16267,
author = {Xinyi Yu and
Weijie Dong and
Xiang Yin and
Shaoyuan Li},
title = {Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications
with Model Information},
journal = {CoRR},
volume = {abs/2203.16267},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.16267},
doi = {10.48550/ARXIV.2203.16267},
eprinttype = {arXiv},
eprint = {2203.16267},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-16267.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-17051,
author = {Bohan Cui and
Xiang Yin and
Shaoyuan Li and
Alessandro Giua},
title = {You Don't Know What {I} Know: On Notion of High-Order Opacity in Discrete-Event
Systems},
journal = {CoRR},
volume = {abs/2203.17051},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.17051},
doi = {10.48550/ARXIV.2203.17051},
eprinttype = {arXiv},
eprint = {2203.17051},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-17051.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-17096,
author = {Jingshi Yao and
Xiang Yin and
Shaoyuan Li},
title = {Sensor Deception Attacks Against Initial-State Privacy in Supervisory
Control Systems},
journal = {CoRR},
volume = {abs/2203.17096},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.17096},
doi = {10.48550/ARXIV.2203.17096},
eprinttype = {arXiv},
eprint = {2203.17096},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-17096.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-00268,
author = {Jianing Zhao and
Keyi Zhu and
Xiang Yin and
Shaoyuan Li},
title = {To Explore or Not to Explore: Regret-Based {LTL} Planning in Partially-Known
Environments},
journal = {CoRR},
volume = {abs/2204.00268},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.00268},
doi = {10.48550/ARXIV.2204.00268},
eprinttype = {arXiv},
eprint = {2204.00268},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-00268.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-02617,
author = {Weijie Dong and
Shang Gao and
Xiang Yin and
Shaoyuan Li},
title = {Fault Diagnosis of Discrete-Event Systems under Non-Deterministic
Observations with Output Fairness},
journal = {CoRR},
volume = {abs/2204.02617},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.02617},
doi = {10.48550/ARXIV.2204.02617},
eprinttype = {arXiv},
eprint = {2204.02617},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-02617.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-13057,
author = {Weijie Dong and
Xiang Yin and
Shaoyuan Li},
title = {A Uniform Framework for Diagnosis of Discrete-Event Systems with Unreliable
Sensors using Linear Temporal Logic},
journal = {CoRR},
volume = {abs/2204.13057},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.13057},
doi = {10.48550/ARXIV.2204.13057},
eprinttype = {arXiv},
eprint = {2204.13057},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-13057.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-01392,
author = {Jianing Zhao and
Xiang Yin and
Shaoyuan Li},
title = {A Unified Framework for Verification of Observational Properties for
Partially-Observed Discrete-Event Systems},
journal = {CoRR},
volume = {abs/2205.01392},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.01392},
doi = {10.48550/ARXIV.2205.01392},
eprinttype = {arXiv},
eprint = {2205.01392},
timestamp = {Thu, 05 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-01392.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-12493,
author = {Xinyi Yu and
Weijie Dong and
Xiang Yin and
Shaoyuan Li},
title = {Model Predictive Monitoring of Dynamic Systems for Signal Temporal
Logic Specifications},
journal = {CoRR},
volume = {abs/2209.12493},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.12493},
doi = {10.48550/ARXIV.2209.12493},
eprinttype = {arXiv},
eprint = {2209.12493},
timestamp = {Thu, 06 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-12493.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-04098,
author = {Junyao Hou and
Siyuan Liu and
Xiang Yin and
Majid Zamani},
title = {Abstraction-Based Verification of Approximate Pre-Opacity for Control
Systems},
journal = {CoRR},
volume = {abs/2211.04098},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.04098},
doi = {10.48550/ARXIV.2211.04098},
eprinttype = {arXiv},
eprint = {2211.04098},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-04098.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-08031,
author = {Xinyi Yu and
Chuwei Wang and
Dingran Yuan and
Shaoyuan Li and
Xiang Yin},
title = {Model Predictive Control for Signal Temporal Logic Specifications
with Time Interval Decomposition},
journal = {CoRR},
volume = {abs/2211.08031},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.08031},
doi = {10.48550/ARXIV.2211.08031},
eprinttype = {arXiv},
eprint = {2211.08031},
timestamp = {Wed, 23 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-08031.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-12803,
author = {Yu Chen and
Shuo Yang and
Rahul Mangharam and
Xiang Yin},
title = {You Don't Know When {I} Will Arrive: Unpredictable Controller Synthesis
for Temporal Logic Tasks},
journal = {CoRR},
volume = {abs/2211.12803},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.12803},
doi = {10.48550/ARXIV.2211.12803},
eprinttype = {arXiv},
eprint = {2211.12803},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-12803.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-12805,
author = {Yu Chen and
Shaoyuan Li and
Xiang Yin},
title = {Markov decision processes with maximum entropy rate for Surveillance
Tasks},
journal = {CoRR},
volume = {abs/2211.12805},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.12805},
doi = {10.48550/ARXIV.2211.12805},
eprinttype = {arXiv},
eprint = {2211.12805},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-12805.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/JiYL21,
author = {Yiding Ji and
Xiang Yin and
St{\'{e}}phane Lafortune},
title = {Optimal supervisory control with mean payoff objectives and under
partial observation},
journal = {Autom.},
volume = {123},
pages = {109359},
year = {2021},
url = {https://doi.org/10.1016/j.automatica.2020.109359},
doi = {10.1016/J.AUTOMATICA.2020.109359},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/JiYL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/YinL21,
author = {Xiang Yin and
St{\'{e}}phane Lafortune},
title = {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]"},
journal = {Autom.},
volume = {124},
pages = {109273},
year = {2021},
url = {https://doi.org/10.1016/j.automatica.2020.109273},
doi = {10.1016/J.AUTOMATICA.2020.109273},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/YinL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/LiuLYL21,
author = {Yang Liu and
Zhaocong Liu and
Xiang Yin and
Shaoyuan Li},
title = {An improved approach for verifying delayed detectability of discrete-event
systems},
journal = {Autom.},
volume = {124},
pages = {109291},
year = {2021},
url = {https://doi.org/10.1016/j.automatica.2020.109291},
doi = {10.1016/J.AUTOMATICA.2020.109291},
timestamp = {Sun, 21 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/LiuLYL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/MaYL21,
author = {Ziyue Ma and
Xiang Yin and
Zhiwu Li},
title = {Marking diagnosability verification in labeled Petri nets},
journal = {Autom.},
volume = {131},
pages = {109713},
year = {2021},
url = {https://doi.org/10.1016/j.automatica.2021.109713},
doi = {10.1016/J.AUTOMATICA.2021.109713},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/MaYL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/MaYL21a,
author = {Ziyue Ma and
Xiang Yin and
Zhiwu Li},
title = {Verification and enforcement of strong infinite- and k-step opacity
using state recognizers},
journal = {Autom.},
volume = {133},
pages = {109838},
year = {2021},
url = {https://doi.org/10.1016/j.automatica.2021.109838},
doi = {10.1016/J.AUTOMATICA.2021.109838},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/MaYL21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/YinZL21,
author = {Xiang Yin and
Majid Zamani and
Siyuan Liu},
title = {On Approximate Opacity of Cyber-Physical Systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {66},
number = {4},
pages = {1630--1645},
year = {2021},
url = {https://doi.org/10.1109/TAC.2020.2998733},
doi = {10.1109/TAC.2020.2998733},
timestamp = {Tue, 04 Feb 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tac/YinZL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/MaYL21,
author = {Ziyue Ma and
Xiang Yin and
Zhiwu Li},
title = {Marking Predictability and Prediction in Labeled Petri Nets},
journal = {{IEEE} Trans. Autom. Control.},
volume = {66},
number = {8},
pages = {3608--3623},
year = {2021},
url = {https://doi.org/10.1109/TAC.2020.3024270},
doi = {10.1109/TAC.2020.3024270},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/MaYL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcns/YangHYL21,
author = {Shuo Yang and
Junyao Hou and
Xiang Yin and
Shaoyuan Li},
title = {Opacity of Networked Supervisory Control Systems Over Insecure Communication
Channels},
journal = {{IEEE} Trans. Control. Netw. Syst.},
volume = {8},
number = {2},
pages = {884--896},
year = {2021},
url = {https://doi.org/10.1109/TCNS.2021.3050131},
doi = {10.1109/TCNS.2021.3050131},
timestamp = {Mon, 15 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcns/YangHYL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/LiuYL21,
author = {Yingying Liu and
Xiang Yin and
Shaoyuan Li},
title = {Distributed Sensing and Information Transmission of Discrete-Event
Systems with Edge Sensors},
booktitle = {2021 60th {IEEE} Conference on Decision and Control (CDC), Austin,
TX, USA, December 14-17, 2021},
pages = {309--315},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CDC45484.2021.9683006},
doi = {10.1109/CDC45484.2021.9683006},
timestamp = {Tue, 17 May 2022 15:53:17 +0200},
biburl = {https://dblp.org/rec/conf/cdc/LiuYL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/LiuHYL21,
author = {Zhaocong Liu and
Junyao Hou and
Xiang Yin and
Shaoyuan Li},
title = {Modeling and Analysis of Networked Supervisory Control Systems with
Multiple Control Channels},
booktitle = {2021 60th {IEEE} Conference on Decision and Control (CDC), Austin,
TX, USA, December 14-17, 2021},
pages = {316--323},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CDC45484.2021.9683430},
doi = {10.1109/CDC45484.2021.9683430},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/LiuHYL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/LvYJL21,
author = {Peng Lv and
Xiang Yin and
Yiding Ji and
Shaoyuan Li},
title = {A Game-Theoretical Approach for Optimal Supervisory Control of Discrete
Event Systems for Cyclic Tasks},
booktitle = {2021 60th {IEEE} Conference on Decision and Control (CDC), Austin,
TX, USA, December 14-17, 2021},
pages = {324--330},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CDC45484.2021.9683050},
doi = {10.1109/CDC45484.2021.9683050},
timestamp = {Fri, 16 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/LvYJL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/Ji0X21,
author = {Yiding Ji and
Xiang Yin and
Wei Xiao},
title = {Supervisory Control for Stabilization under Multiple Local Average
Payoff Constraints},
booktitle = {2021 60th {IEEE} Conference on Decision and Control (CDC), Austin,
TX, USA, December 14-17, 2021},
pages = {1054--1061},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CDC45484.2021.9683716},
doi = {10.1109/CDC45484.2021.9683716},
timestamp = {Wed, 22 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/Ji0X21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/XieYLZ21,
author = {Yifan Xie and
Xiang Yin and
Shaoyuan Li and
Majid Zamani},
title = {Secure-by-Construction Controller Synthesis for Stochastic Systems
under Linear Temporal Logic Specifications},
booktitle = {2021 60th {IEEE} Conference on Decision and Control (CDC), Austin,
TX, USA, December 14-17, 2021},
pages = {7015--7021},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CDC45484.2021.9683745},
doi = {10.1109/CDC45484.2021.9683745},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/XieYLZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-01402,
author = {Yifan Xie and
Xiang Yin and
Shaoyuan Li},
title = {Optimal Synthesis of Opacity-Enforcing Supervisors for Qualitative
and Quantitative Specifications},
journal = {CoRR},
volume = {abs/2102.01402},
year = {2021},
url = {https://arxiv.org/abs/2102.01402},
eprinttype = {arXiv},
eprint = {2102.01402},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-01402.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-10604,
author = {Nan Li and
Kaixiang Zhang and
Zhaojian Li and
Vaibhav Srivastava and
Xiang Yin},
title = {Cloud-Assisted Nonlinear Model Predictive Control for Finite-Duration
Tasks},
journal = {CoRR},
volume = {abs/2106.10604},
year = {2021},
url = {https://arxiv.org/abs/2106.10604},
eprinttype = {arXiv},
eprint = {2106.10604},
timestamp = {Fri, 22 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-10604.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/0003L20,
author = {Xiang Yin and
Shaoyuan Li},
title = {Synthesis of Dynamic Masks for Infinite-Step Opacity},
journal = {{IEEE} Trans. Autom. Control.},
volume = {65},
number = {4},
pages = {1429--1441},
year = {2020},
url = {https://doi.org/10.1109/TAC.2019.2916940},
doi = {10.1109/TAC.2019.2916940},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tac/0003L20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tits/LiKYLS20,
author = {Zhaojian Li and
Firas A. Khasawneh and
Xiang Yin and
Aoxue Li and
Ziyou Song},
title = {A New Microscopic Traffic Model Using a Spring-Mass-Damper-Clutch
System},
journal = {{IEEE} Trans. Intell. Transp. Syst.},
volume = {21},
number = {8},
pages = {3322--3331},
year = {2020},
url = {https://doi.org/10.1109/TITS.2019.2926146},
doi = {10.1109/TITS.2019.2926146},
timestamp = {Wed, 26 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tits/LiKYLS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/Liu0Z20,
author = {Siyuan Liu and
Xiang Yin and
Majid Zamani},
title = {On a Notion of Approximate Opacity for Discrete-Time Stochastic Control
Systems},
booktitle = {2020 American Control Conference, {ACC} 2020, Denver, CO, USA, July
1-3, 2020},
pages = {5413--5418},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.23919/ACC45564.2020.9147235},
doi = {10.23919/ACC45564.2020.9147235},
timestamp = {Tue, 04 Feb 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amcc/Liu0Z20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/YangYLZ20,
author = {Shuo Yang and
Xiang Yin and
Shaoyuan Li and
Majid Zamani},
title = {Secure-by-Construction Optimal Path Planning for Linear Temporal Logic
Tasks},
booktitle = {59th {IEEE} Conference on Decision and Control, {CDC} 2020, Jeju Island,
South Korea, December 14-18, 2020},
pages = {4460--4466},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/CDC42340.2020.9304153},
doi = {10.1109/CDC42340.2020.9304153},
timestamp = {Mon, 15 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/YangYLZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/MaXL20,
author = {Ziyue Ma and
Xiang Yin and
Zhiwu Li},
title = {Marking Diagnosis in Labeled Petri Nets Using Basis Diagnosers},
booktitle = {59th {IEEE} Conference on Decision and Control, {CDC} 2020, Jeju Island,
South Korea, December 14-18, 2020},
pages = {4479--4484},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/CDC42340.2020.9304261},
doi = {10.1109/CDC42340.2020.9304261},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/MaXL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/YaoYL20,
author = {Jingshi Yao and
Xiang Yin and
Shaoyuan Li},
title = {On Attack Mitigation in Supervisory Control Systems: {A} Tolerant
Control Approach},
booktitle = {59th {IEEE} Conference on Decision and Control, {CDC} 2020, Jeju Island,
South Korea, December 14-18, 2020},
pages = {4504--4510},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/CDC42340.2020.9304130},
doi = {10.1109/CDC42340.2020.9304130},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/YaoYL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icca/YangYL20,
author = {Yuanjiang Yang and
Xiang Yin and
Shaoyuan Li},
title = {A Distributed Framework for Multi-Robot Task Planning with Temporal
Logic Specifications},
booktitle = {16th {IEEE} International Conference on Control {\&} Automation,
{ICCA} 2020, Singapore, October 9-11, 2020},
pages = {570--575},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICCA51439.2020.9264491},
doi = {10.1109/ICCA51439.2020.9264491},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icca/YangYL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-01876,
author = {Zhaocong Liu and
Xiang Yin and
Shaoyuan Li},
title = {Modeling and Analysis of Networked Discrete Event Systems with Multiple
Control Channels},
journal = {CoRR},
volume = {abs/2004.01876},
year = {2020},
url = {https://arxiv.org/abs/2004.01876},
eprinttype = {arXiv},
eprint = {2004.01876},
timestamp = {Wed, 08 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-01876.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-10149,
author = {Yifan Xie and
Xiang Yin and
Shaoyuan Li},
title = {Opacity Enforcing Supervisory Control using Non-deterministic Supervisors},
journal = {CoRR},
volume = {abs/2010.10149},
year = {2020},
url = {https://arxiv.org/abs/2010.10149},
eprinttype = {arXiv},
eprint = {2010.10149},
timestamp = {Tue, 27 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-10149.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-14120,
author = {Shuo Yang and
Xiang Yin},
title = {Secure Your Intention: On Notions of Pre-Opacity in Discrete-Event
Systems},
journal = {CoRR},
volume = {abs/2010.14120},
year = {2020},
url = {https://arxiv.org/abs/2010.14120},
eprinttype = {arXiv},
eprint = {2010.14120},
timestamp = {Mon, 15 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-14120.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-14160,
author = {Shuo Yang and
Xiang Yin and
Shaoyuan Li and
Majid Zamani},
title = {Secure-by-Construction Optimal Path Planning for Linear Temporal Logic
Tasks},
journal = {CoRR},
volume = {abs/2010.14160},
year = {2020},
url = {https://arxiv.org/abs/2010.14160},
eprinttype = {arXiv},
eprint = {2010.14160},
timestamp = {Mon, 15 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-14160.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-04874,
author = {Junyao Hou and
Xiang Yin and
Shaoyuan Li},
title = {A Framework for Current-State Opacity under Dynamic Information Release
Mechanism},
journal = {CoRR},
volume = {abs/2012.04874},
year = {2020},
url = {https://arxiv.org/abs/2012.04874},
eprinttype = {arXiv},
eprint = {2012.04874},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-04874.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/YinLWL19,
author = {Xiang Yin and
Zhaojian Li and
Weilin Wang and
Shaoyuan Li},
title = {Infinite-step opacity and K-step opacity of stochastic discrete-event
systems},
journal = {Autom.},
volume = {99},
pages = {266--274},
year = {2019},
url = {https://doi.org/10.1016/j.automatica.2018.10.049},
doi = {10.1016/J.AUTOMATICA.2018.10.049},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/YinLWL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/MasopustY19,
author = {Tom{\'{a}}s Masopust and
Xiang Yin},
title = {Complexity of detectability, opacity and A-diagnosability for modular
discrete event systems},
journal = {Autom.},
volume = {101},
pages = {290--295},
year = {2019},
url = {https://doi.org/10.1016/j.automatica.2018.12.019},
doi = {10.1016/J.AUTOMATICA.2018.12.019},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/MasopustY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/YinL19,
author = {Xiang Yin and
St{\'{e}}phane Lafortune},
title = {A general approach for optimizing dynamic sensor activation for discrete
event systems},
journal = {Autom.},
volume = {105},
pages = {376--383},
year = {2019},
url = {https://doi.org/10.1016/j.automatica.2019.04.001},
doi = {10.1016/J.AUTOMATICA.2019.04.001},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/YinL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/BaiLZY19,
author = {Ting Bai and
Shaoyuan Li and
Yuanyuan Zou and
Xiang Yin},
title = {Block-based minimum input design for the structural controllability
of complex networks},
journal = {Autom.},
volume = {107},
pages = {68--76},
year = {2019},
url = {https://doi.org/10.1016/j.automatica.2019.05.006},
doi = {10.1016/J.AUTOMATICA.2019.05.006},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/BaiLZY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/JiYL19,
author = {Yiding Ji and
Xiang Yin and
St{\'{e}}phane Lafortune},
title = {Enforcing opacity by insertion functions under multiple energy constraints},
journal = {Autom.},
volume = {108},
year = {2019},
url = {https://doi.org/10.1016/j.automatica.2019.06.028},
doi = {10.1016/J.AUTOMATICA.2019.06.028},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/JiYL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/YinL19,
author = {Xiang Yin and
St{\'{e}}phane Lafortune},
title = {Corrections to "On the Decidability and Complexity of Diagnosability
for Labeled Petri Nets"},
journal = {{IEEE} Trans. Autom. Control.},
volume = {64},
number = {4},
pages = {1768},
year = {2019},
url = {https://doi.org/10.1109/TAC.2019.2897511},
doi = {10.1109/TAC.2019.2897511},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/YinL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/YinCLL19,
author = {Xiang Yin and
Jun Chen and
Zhaojian Li and
Shaoyuan Li},
title = {Robust Fault Diagnosis of Stochastic Discrete Event Systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {64},
number = {10},
pages = {4237--4244},
year = {2019},
url = {https://doi.org/10.1109/TAC.2019.2893873},
doi = {10.1109/TAC.2019.2893873},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tac/YinCLL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/JiYL19,
author = {Yiding Ji and
Xiang Yin and
St{\'{e}}phane Lafortune},
title = {Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions},
journal = {{IEEE} Trans. Autom. Control.},
volume = {64},
number = {10},
pages = {4369--4376},
year = {2019},
url = {https://doi.org/10.1109/TAC.2019.2897553},
doi = {10.1109/TAC.2019.2897553},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tac/JiYL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/ZhangYZ19,
author = {Kuize Zhang and
Xiang Yin and
Majid Zamani},
title = {Opacity of Nondeterministic Transition Systems: {A} (Bi)Simulation
Relation Approach},
journal = {{IEEE} Trans. Autom. Control.},
volume = {64},
number = {12},
pages = {5116--5123},
year = {2019},
url = {https://doi.org/10.1109/TAC.2019.2908726},
doi = {10.1109/TAC.2019.2908726},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tac/ZhangYZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcyb/YinL19,
author = {Xiang Yin and
Zhaojian Li},
title = {Decentralized Fault Prognosis of Discrete-Event Systems Using State-Estimate-Based
Protocols},
journal = {{IEEE} Trans. Cybern.},
volume = {49},
number = {4},
pages = {1302--1313},
year = {2019},
url = {https://doi.org/10.1109/TCYB.2018.2799961},
doi = {10.1109/TCYB.2018.2799961},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcyb/YinL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ascc/Liu0L19,
author = {Zhaocong Liu and
Xiang Yin and
Shaoyuan Li},
title = {Improved Approaches for Verifying I-Detectability of Discrete-Event
Systems},
booktitle = {12th Asian Control Conference, {ASCC} 2019, Kitakyushu-shi, Japan,
June 9-12, 2019},
pages = {248--253},
publisher = {{IEEE}},
year = {2019},
url = {https://ieeexplore.ieee.org/document/8765191},
timestamp = {Sun, 08 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ascc/Liu0L19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/0003L19,
author = {Xiang Yin and
Shaoyuan Li},
title = {Supervisory Control for Delayed Detectability of Discrete Event Systems},
booktitle = {15th {IEEE} International Conference on Automation Science and Engineering,
{CASE} 2019, Vancouver, BC, Canada, August 22-26, 2019},
pages = {480--485},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/COASE.2019.8843286},
doi = {10.1109/COASE.2019.8843286},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/case/0003L19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/Ji0L19,
author = {Yiding Ji and
Xiang Yin and
St{\'{e}}phane Lafortune},
title = {Supervisory Control under Local Mean Payoff Constraints},
booktitle = {58th {IEEE} Conference on Decision and Control, {CDC} 2019, Nice,
France, December 11-13, 2019},
pages = {1043--1049},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CDC40024.2019.9029301},
doi = {10.1109/CDC40024.2019.9029301},
timestamp = {Fri, 04 Mar 2022 13:30:46 +0100},
biburl = {https://dblp.org/rec/conf/cdc/Ji0L19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/Liu0SL19,
author = {Zhaocong Liu and
Xiang Yin and
Shaolong Shu and
Shaoyuan Li},
title = {Online Supervisory Control of Networked Discrete-Event Systems with
Control Delays},
booktitle = {58th {IEEE} Conference on Decision and Control, {CDC} 2019, Nice,
France, December 11-13, 2019},
pages = {6706--6711},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CDC40024.2019.9029935},
doi = {10.1109/CDC40024.2019.9029935},
timestamp = {Mon, 27 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/Liu0SL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/0003L19,
author = {Xiang Yin and
Shaoyuan Li},
title = {Opacity of Networked Supervisory Control Systems over Insecure Multiple
Channel Networks},
booktitle = {58th {IEEE} Conference on Decision and Control, {CDC} 2019, Nice,
France, December 11-13, 2019},
pages = {7641--7646},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CDC40024.2019.9030235},
doi = {10.1109/CDC40024.2019.9030235},
timestamp = {Mon, 27 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/0003L19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/Hou0LZ19,
author = {Junyao Hou and
Xiang Yin and
Shaoyuan Li and
Majid Zamani},
title = {Abstraction-Based Synthesis of Opacity-Enforcing Controllers using
Alternating Simulation Relations},
booktitle = {58th {IEEE} Conference on Decision and Control, {CDC} 2019, Nice,
France, December 11-13, 2019},
pages = {7653--7658},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CDC40024.2019.9029932},
doi = {10.1109/CDC40024.2019.9029932},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/Hou0LZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/YinZ19,
author = {Xiang Yin and
Majid Zamani},
editor = {Xue Liu and
Paulo Tabuada and
Miroslav Pajic and
Linda Bushnell},
title = {Towards approximate opacity of cyber-physical system: {WIP} abstract},
booktitle = {Proceedings of the 10th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2019, Montreal, QC, Canada, April 16-18, 2019},
pages = {310--311},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3302509.3313316},
doi = {10.1145/3302509.3313316},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/YinZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ram/YangZ0L19,
author = {Yuanjiang Yang and
Jiawei Zhao and
Xiang Yin and
Shaoyuan Li},
title = {Formal Synthesis of Warehouse Robotic Systems with Temporal Logic
Specifications},
booktitle = {2019 {IEEE} International Conference on Cybernetics and Intelligent
Systems {(CIS)} and {IEEE} Conference on Robotics, Automation and
Mechatronics (RAM), Bangkok, Thailand, November 18-20, 2019},
pages = {469--474},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CIS-RAM47153.2019.9095786},
doi = {10.1109/CIS-RAM47153.2019.9095786},
timestamp = {Wed, 27 May 2020 13:12:40 +0200},
biburl = {https://dblp.org/rec/conf/ram/YangZ0L19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-09411,
author = {Xiang Yin and
Majid Zamani},
title = {On Approximate Opacity of Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/1902.09411},
year = {2019},
url = {http://arxiv.org/abs/1902.09411},
eprinttype = {arXiv},
eprint = {1902.09411},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-09411.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-04469,
author = {Zhaojian Li and
Firas A. Khasawneh and
Xiang Yin and
Aoxue Li and
Ziyou Song},
title = {A New Microscopic Traffic Model Using a Spring-Mass-Damper-Clutch
System},
journal = {CoRR},
volume = {abs/1903.04469},
year = {2019},
url = {http://arxiv.org/abs/1903.04469},
eprinttype = {arXiv},
eprint = {1903.04469},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-04469.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scl/YinLW18,
author = {Xiang Yin and
Zhaojian Li and
Weilin Wang},
title = {Trajectory detectability of discrete-event systems},
journal = {Syst. Control. Lett.},
volume = {119},
pages = {101--107},
year = {2018},
url = {https://doi.org/10.1016/j.sysconle.2018.07.008},
doi = {10.1016/J.SYSCONLE.2018.07.008},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scl/YinLW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/Yin18,
author = {Xiang Yin},
title = {Verification of Prognosability for Labeled Petri Nets},
journal = {{IEEE} Trans. Autom. Control.},
volume = {63},
number = {6},
pages = {1738--1744},
year = {2018},
url = {https://doi.org/10.1109/TAC.2017.2756096},
doi = {10.1109/TAC.2017.2756096},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/Yin18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/YinL18,
author = {Xiang Yin and
St{\'{e}}phane Lafortune},
title = {Minimization of Sensor Activation in Decentralized Discrete-Event
Systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {63},
number = {11},
pages = {3705--3718},
year = {2018},
url = {https://doi.org/10.1109/TAC.2017.2783048},
doi = {10.1109/TAC.2017.2783048},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/YinL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/YinL18a,
author = {Xiang Yin and
St{\'{e}}phane Lafortune},
title = {Synthesis of Maximally Permissive Nonblocking Supervisors for the
Lower Bound Containment Problem},
journal = {{IEEE} Trans. Autom. Control.},
volume = {63},
number = {12},
pages = {4435--4441},
year = {2018},
url = {https://doi.org/10.1109/TAC.2018.2828098},
doi = {10.1109/TAC.2018.2828098},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tac/YinL18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tits/LiBKY18,
author = {Zhaojian Li and
Shan Bao and
Ilya V. Kolmanovsky and
Xiang Yin},
title = {Visual-Manual Distraction Detection Using Driving Performance Indicators
With Naturalistic Driving Data},
journal = {{IEEE} Trans. Intell. Transp. Syst.},
volume = {19},
number = {8},
pages = {2528--2535},
year = {2018},
url = {https://doi.org/10.1109/TITS.2017.2754467},
doi = {10.1109/TITS.2017.2754467},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tits/LiBKY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tits/LiCK018,
author = {Zhaojian Li and
Tianshu Chu and
Ilya V. Kolmanovsky and
Xiang Yin},
title = {Training Drift Counteraction Optimal Control Policies Using Reinforcement
Learning: An Adaptive Cruise Control Example},
journal = {{IEEE} Trans. Intell. Transp. Syst.},
volume = {19},
number = {9},
pages = {2903--2912},
year = {2018},
url = {https://doi.org/10.1109/TITS.2017.2767083},
doi = {10.1109/TITS.2017.2767083},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tits/LiCK018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/JiYL18,
author = {Yiding Ji and
Xiang Yin and
St{\'{e}}phane Lafortune},
title = {Mean Payoff Supervisory Control Under Partial Observation},
booktitle = {57th {IEEE} Conference on Decision and Control, {CDC} 2018, Miami,
FL, USA, December 17-19, 2018},
pages = {3981--3987},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/CDC.2018.8619193},
doi = {10.1109/CDC.2018.8619193},
timestamp = {Fri, 04 Mar 2022 13:30:11 +0100},
biburl = {https://dblp.org/rec/conf/cdc/JiYL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/Wu0L18,
author = {Wenqing Wu and
Xiang Yin and
Shaoyuan Li},
title = {Verification of Coprognosability in Decentralized Fault Prognosis
of Labeled Petri Nets},
booktitle = {57th {IEEE} Conference on Decision and Control, {CDC} 2018, Miami,
FL, USA, December 17-19, 2018},
pages = {4845--4850},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/CDC.2018.8618895},
doi = {10.1109/CDC.2018.8618895},
timestamp = {Fri, 25 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/Wu0L18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/0003L18,
author = {Xiang Yin and
Shaoyuan Li},
title = {Verification of Opacity in Networked Supervisory Control Systems with
Insecure Control Channels},
booktitle = {57th {IEEE} Conference on Decision and Control, {CDC} 2018, Miami,
FL, USA, December 17-19, 2018},
pages = {4851--4856},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/CDC.2018.8619851},
doi = {10.1109/CDC.2018.8619851},
timestamp = {Fri, 25 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/0003L18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-02087,
author = {Tom{\'{a}}s Masopust and
Xiang Yin},
title = {Deciding Detectability for Labeled Petri Nets},
journal = {CoRR},
volume = {abs/1802.02087},
year = {2018},
url = {http://arxiv.org/abs/1802.02087},
eprinttype = {arXiv},
eprint = {1802.02087},
timestamp = {Sat, 15 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-02087.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-03321,
author = {Kuize Zhang and
Xiang Yin and
Majid Zamani},
title = {Opacity of nondeterministic transition systems: {A} (bi)simulation
relation approach},
journal = {CoRR},
volume = {abs/1802.03321},
year = {2018},
url = {http://arxiv.org/abs/1802.03321},
eprinttype = {arXiv},
eprint = {1802.03321},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-03321.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/Yin17,
author = {Xiang Yin},
title = {Initial-state detectability of stochastic discrete-event systems with
probabilistic sensor failures},
journal = {Autom.},
volume = {80},
pages = {127--134},
year = {2017},
url = {https://doi.org/10.1016/j.automatica.2017.02.032},
doi = {10.1016/J.AUTOMATICA.2017.02.032},
timestamp = {Thu, 04 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/Yin17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/YinL17a,
author = {Xiang Yin and
St{\'{e}}phane Lafortune},
title = {A new approach for the verification of infinite-step and K-step opacity
using two-way observers},
journal = {Autom.},
volume = {80},
pages = {162--171},
year = {2017},
url = {https://doi.org/10.1016/j.automatica.2017.02.037},
doi = {10.1016/J.AUTOMATICA.2017.02.037},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/YinL17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/YinL17b,
author = {Xiang Yin and
St{\'{e}}phane Lafortune},
title = {Verification complexity of a class of observational properties for
modular discrete events systems},
journal = {Autom.},
volume = {83},
pages = {199--205},
year = {2017},
url = {https://doi.org/10.1016/j.automatica.2017.06.013},
doi = {10.1016/J.AUTOMATICA.2017.06.013},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/YinL17b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/Yin17,
author = {Xiang Yin},
title = {Supervisor Synthesis for Mealy Automata With Output Functions: {A}
Model Transformation Approach},
journal = {{IEEE} Trans. Autom. Control.},
volume = {62},
number = {5},
pages = {2576--2581},
year = {2017},
url = {https://doi.org/10.1109/TAC.2016.2601118},
doi = {10.1109/TAC.2016.2601118},
timestamp = {Thu, 03 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/Yin17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/YinL17,
author = {Xiang Yin and
St{\'{e}}phane Lafortune},
title = {Synthesis of Maximally-Permissive Supervisors for the Range Control
Problem},
journal = {{IEEE} Trans. Autom. Control.},
volume = {62},
number = {8},
pages = {3914--3929},
year = {2017},
url = {https://doi.org/10.1109/TAC.2016.2644867},
doi = {10.1109/TAC.2016.2644867},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/YinL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/YinL17a,
author = {Xiang Yin and
St{\'{e}}phane Lafortune},
title = {On the Decidability and Complexity of Diagnosability for Labeled Petri
Nets},
journal = {{IEEE} Trans. Autom. Control.},
volume = {62},
number = {11},
pages = {5931--5938},
year = {2017},
url = {https://doi.org/10.1109/TAC.2017.2699278},
doi = {10.1109/TAC.2017.2699278},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/YinL17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tfs/Yin17,
author = {Xiang Yin},
title = {A Belief-Evolution-Based Approach for Online Control of Fuzzy Discrete-Event
Systems Under Partial Observation},
journal = {{IEEE} Trans. Fuzzy Syst.},
volume = {25},
number = {6},
pages = {1830--1836},
year = {2017},
url = {https://doi.org/10.1109/TFUZZ.2016.2617361},
doi = {10.1109/TFUZZ.2016.2617361},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tfs/Yin17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ascc/YinLWL17,
author = {Xiang Yin and
Zhaojian Li and
Weilin Wang and
Shaoyuan Li},
title = {Infinite-step opacity of stochastic discrete-event systems},
booktitle = {11th Asian Control Conference, {ASCC} 2017, Gold Coast, Australia,
December 17-20, 2017},
pages = {102--107},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ASCC.2017.8287150},
doi = {10.1109/ASCC.2017.8287150},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/ascc/YinLWL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiCKYY17,
author = {Zhaojian Li and
Tianshu Chu and
Ilya V. Kolmanovsky and
Xiang Yin and
Xunyuan Yin},
title = {Cloud Resource Allocation for Cloud-Based Automotive Applications},
journal = {CoRR},
volume = {abs/1701.04537},
year = {2017},
url = {http://arxiv.org/abs/1701.04537},
eprinttype = {arXiv},
eprint = {1701.04537},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiCKYY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-02877,
author = {Tom{\'{a}}s Masopust and
Xiang Yin},
title = {Complexity of Detectability, Opacity and A-Diagnosability for Modular
Discrete Event Systems},
journal = {CoRR},
volume = {abs/1710.02877},
year = {2017},
url = {http://arxiv.org/abs/1710.02877},
eprinttype = {arXiv},
eprint = {1710.02877},
timestamp = {Sat, 15 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-02877.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/YinL16,
author = {Xiang Yin and
Zhaojian Li},
title = {Decentralized fault prognosis of discrete event systems with guaranteed
performance bound},
journal = {Autom.},
volume = {69},
pages = {375--379},
year = {2016},
url = {https://doi.org/10.1016/j.automatica.2016.03.015},
doi = {10.1016/J.AUTOMATICA.2016.03.015},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/YinL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/YinL16,
author = {Xiang Yin and
St{\'{e}}phane Lafortune},
title = {Synthesis of Maximally Permissive Supervisors for Partially-Observed
Discrete-Event Systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {61},
number = {5},
pages = {1239--1254},
year = {2016},
url = {https://doi.org/10.1109/TAC.2015.2460391},
doi = {10.1109/TAC.2015.2460391},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/YinL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/YinL16a,
author = {Xiang Yin and
St{\'{e}}phane Lafortune},
title = {A Uniform Approach for Synthesizing Property-Enforcing Supervisors
for Partially-Observed Discrete-Event Systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {61},
number = {8},
pages = {2140--2154},
year = {2016},
url = {https://doi.org/10.1109/TAC.2015.2484359},
doi = {10.1109/TAC.2015.2484359},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tac/YinL16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/YinL16b,
author = {Xiang Yin and
St{\'{e}}phane Lafortune},
title = {Decentralized Supervisory Control With Intersection-Based Architecture},
journal = {{IEEE} Trans. Autom. Control.},
volume = {61},
number = {11},
pages = {3644--3650},
year = {2016},
url = {https://doi.org/10.1109/TAC.2016.2523424},
doi = {10.1109/TAC.2016.2523424},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/YinL16b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/YinL16,
author = {Xiang Yin and
Zhaojian Li},
title = {Reliable Decentralized Fault Prognosis of Discrete-Event Systems},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {46},
number = {11},
pages = {1598--1603},
year = {2016},
url = {https://doi.org/10.1109/TSMC.2015.2499178},
doi = {10.1109/TSMC.2015.2499178},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/YinL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/YinL16,
author = {Xiang Yin and
St{\'{e}}phane Lafortune},
title = {On the maximally-permissive range control problem in partially-observed
discrete event systems},
booktitle = {55th {IEEE} Conference on Decision and Control, {CDC} 2016, Las Vegas,
NV, USA, December 12-14, 2016},
pages = {3923--3928},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/CDC.2016.7798862},
doi = {10.1109/CDC.2016.7798862},
timestamp = {Fri, 04 Mar 2022 13:29:43 +0100},
biburl = {https://dblp.org/rec/conf/cdc/YinL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/YinL16,
author = {Xiang Yin and
St{\'{e}}phane Lafortune},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {On maximal permissiveness in partially-observed discrete event systems:
Verification and synthesis},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {1--7},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497818},
doi = {10.1109/WODES.2016.7497818},
timestamp = {Fri, 29 Apr 2022 15:37:30 +0200},
biburl = {https://dblp.org/rec/conf/wodes/YinL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/YinL16a,
author = {Xiang Yin and
St{\'{e}}phane Lafortune},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {On two-way observer and its application to the verification of infinite-step
and K-step opacity},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {361--366},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497873},
doi = {10.1109/WODES.2016.7497873},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/YinL16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/YinL15,
author = {Xiang Yin and
St{\'{e}}phane Lafortune},
title = {Codiagnosability and coobservability under dynamic observations: Transformation
and verification},
journal = {Autom.},
volume = {61},
pages = {241--252},
year = {2015},
url = {https://doi.org/10.1016/j.automatica.2015.08.023},
doi = {10.1016/J.AUTOMATICA.2015.08.023},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/YinL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/YinL15,
author = {Xiang Yin and
St{\'{e}}phane Lafortune},
title = {A new approach for synthesizing opacity-enforcing supervisors for
partially-observed discrete-event systems},
booktitle = {American Control Conference, {ACC} 2015, Chicago, IL, USA, July 1-3,
2015},
pages = {377--383},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ACC.2015.7170765},
doi = {10.1109/ACC.2015.7170765},
timestamp = {Fri, 03 Dec 2021 13:03:59 +0100},
biburl = {https://dblp.org/rec/conf/amcc/YinL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/YinL15a,
author = {Xiang Yin and
St{\'{e}}phane Lafortune},
title = {On the relationship between codiagnosability and coobservability under
dynamic observations},
booktitle = {American Control Conference, {ACC} 2015, Chicago, IL, USA, July 1-3,
2015},
pages = {390--395},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ACC.2015.7170767},
doi = {10.1109/ACC.2015.7170767},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/YinL15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/YinL15,
author = {Xiang Yin and
St{\'{e}}phane Lafortune},
title = {Minimization of sensor activation in decentralized fault diagnosis
of discrete event systems},
booktitle = {54th {IEEE} Conference on Decision and Control, {CDC} 2015, Osaka,
Japan, December 15-18, 2015},
pages = {1014--1019},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CDC.2015.7402005},
doi = {10.1109/CDC.2015.7402005},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/YinL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/YinL15a,
author = {Xiang Yin and
St{\'{e}}phane Lafortune},
title = {A general approach for solving dynamic sensor activation problems
for a class of properties},
booktitle = {54th {IEEE} Conference on Decision and Control, {CDC} 2015, Osaka,
Japan, December 15-18, 2015},
pages = {3610--3615},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CDC.2015.7402778},
doi = {10.1109/CDC.2015.7402778},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/YinL15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/LiYYXW15,
author = {Zhaojian Li and
Xunyuan Yin and
Xiang Yin and
Yi Xie and
Changhong Wang},
title = {Distributed H{\(\infty\)} filtering over multiple-channel sensor networks
with Markovian channel switching and time-varying delays},
booktitle = {54th {IEEE} Conference on Decision and Control, {CDC} 2015, Osaka,
Japan, December 15-18, 2015},
pages = {7410--7415},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CDC.2015.7403390},
doi = {10.1109/CDC.2015.7403390},
timestamp = {Thu, 13 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/LiYYXW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/YinL14,
author = {Xiang Yin and
St{\'{e}}phane Lafortune},
title = {Synthesis of maximally permissive non-blocking supervisors for partially
observed discrete event systems},
booktitle = {53rd {IEEE} Conference on Decision and Control, {CDC} 2014, Los Angeles,
CA, USA, December 15-17, 2014},
pages = {5156--5162},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/CDC.2014.7040195},
doi = {10.1109/CDC.2014.7040195},
timestamp = {Fri, 04 Mar 2022 13:29:15 +0100},
biburl = {https://dblp.org/rec/conf/cdc/YinL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2025-08-29 01:05 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:
