Dan You

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 36

Top Topics

Greedy Algorithms

Production Process

Top Venues

IEEE Trans. Syst. Man Cybern. Syst.

IEEE Trans. Autom. Control.

Publications

Dan You, Shouguang Wang
Non-Deterministic Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks. IEEE CAA J. Autom. Sinica 11 (1) (2024)
Dan You, Pengcheng Xia, Qiuzhu Chen, Minghui Wu, Suncheng Xiang, Jun Wang
AutoKary2022: A Large-Scale Densely Annotated Dateset for Chromosome Instance Segmentation. CoRR (2023)
ShouGuang Wang, Xin Guo, Oussama Karoui, MengChu Zhou, Dan You, Abdullah Abusorrah
A Refined Siphon-Based Deadlock Prevention Policy for a Class of Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 53 (1) (2023)
Wenli Duo, Shouguang Wang, MengChu Zhou, Dan You, Remigiusz Wisniewski, Grzegorz Bazydlo
Supervisory Control of Cyber-Physical Systems Subject to Actuator Jamming Attacks. ICNSC (2023)
Dan You, Pengcheng Xia, Qiuzhu Chen, Minghui Wu, Suncheng Xiang, Jun Wang
AutoKary2022: A Large-Scale Densely Annotated Dataset for Chromosome Instance Segmentation. ICME (2023)
Ziyan Zhao, Shixin Liu, Mengchu Zhou, Dan You, Xiwang Guo
Heuristic Scheduling of Batch Production Processes Based on Petri Nets and Iterated Greedy Algorithms. IEEE Trans Autom. Sci. Eng. 19 (1) (2022)
Dan You, Oussama Karoui, Shouguang Wang
Computation of Minimal Siphons in Petri Nets Using Problem Partitioning Approaches. IEEE CAA J. Autom. Sinica 9 (2) (2022)
Dan You, ShouGuang Wang, MengChu Zhou, Carla Seatzu
Supervisory Control of Petri Nets in the Presence of Replacement Attacks. IEEE Trans. Autom. Control. 67 (3) (2022)
Dan You, Shouguang Wang, Carla Seatzu
A Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks. IEEE Trans. Syst. Man Cybern. Syst. 52 (4) (2022)
Dan You, Shouguang Wang, Carla Seatzu
Generalized Current-State Opacity With Dynamically Changing Secrets. CoRR (2021)
Shouguang Wang, Wenli Duo, Xin Guo, Xiaoning Jiang, Dan You, Kamel Barkaoui, MengChu Zhou
Computation of an emptiable minimal siphon in a subclass of Petri nets using mixed-integer programming. IEEE CAA J. Autom. Sinica 8 (1) (2021)
Liwei Cao, Xiaoning Jiang, Yumei Zhao, Shouguang Wang, Dan You, Xianli Xu
A Survey of Network Attacks on Cyber-Physical Systems. IEEE Access 8 (2020)
Wenli Duo, Xiaoning Jiang, Oussama Karoui, Xin Guo, Dan You, Shouguang Wang, Yuan Ruan
A Deadlock Prevention Policy for a Class of Multithreaded Software. IEEE Access 8 (2020)
Xin Guo, Shouguang Wang, Dan You, Zhifu Li, Xiaoning Jiang
PR. IEEE Access 7 (2019)
Dan You, ShouGuang Wang, Carla Seatzu
Verification of Fault-predictability in Labeled Petri Nets Using Predictor Graphs. IEEE Trans. Autom. Control. 64 (10) (2019)
Qiaoli Zhuang, Dan You, Wenzhan Dai, Shouguang Wang, Jingiing Du
An iterative Deadlock Prevention Policy Based on siphons. ICNSC (2019)
Dan You, ShouGuang Wang, Carla Seatzu
Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions. Inf. Sci. 501 (2019)
Xiwang Guo, MengChu Zhou, Yaping Fu, Liang Qi, Dan You
Stochastic Dual-objective Disassembly Sequence Planning with Consideration of Learning Effect. ICNSC (2019)
Dan You, Shouguang Wang, Hao Dou, Wenli Duo
A Resource Allocation Approach for Enforcing Liveness on a Class of Petri Nets. IEEE Access 6 (2018)
Shouguang Wang, Dan You, Mengchu Zhou
New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets. Sci. China Inf. Sci. 61 (12) (2018)
Dan You, Shouguang Wang, Wenhui Wu
An Algorithm of Recognizing Unbounded Petri Nets With Semilinear Reachability Sets and Constructing Their Reachability Trees. IEEE Access 6 (2018)
Dan You, Shouguang Wang, Hao Dou, Wenli Duo, Kamel Barkaoui, Carla Seatzu
Liveness Enforcement for a Class of Petri Nets via Resource Allocation. SMC (2018)
Dan You, Shouguang Wang, Wenzhan Dai, Wenhui Wu, Yongshu Jia
An Approach for Enumerating Minimal Siphons in a Subclass of Petri Nets. IEEE Access 6 (2018)
Shouguang Wang, Dan You, Carla Seatzu
A Novel Approach for Constraint Transformation in Petri Nets With Uncontrollable Transitions. IEEE Trans. Syst. Man Cybern. Syst. 48 (8) (2018)
Dan You, Shouguang Wang, Zhiwu Li, Chengying Wang
Computation of an Optimal Transformed Linear Constraint in a Class of Petri Nets With Uncontrollable Transitions. IEEE Access 5 (2017)
Dan You, Shouguang Wang, Wenzhan Dai, Wenhui Wu
PR. SMC (2017)
Dan You, ShouGuang Wang, MengChu Zhou
Computation of strict minimal siphons in a class of Petri nets based on problem decomposition. Inf. Sci. 409 (2017)
ShouGuang Wang, Dan You, MengChu Zhou
A Necessary and Sufficient Condition for a Resource Subset to Generate a Strict Minimal Siphon in S 4PR. IEEE Trans. Autom. Control. 62 (8) (2017)
Dan You, ShouGuang Wang, Carla Seatzu
A new linear constraint transformation approach for Petri nets with uncontrollable transitions. WODES (2016)
Shouguang Wang, Dan You, MengChu Zhou, Carla Seatzu
Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions. IEEE Trans. Autom. Control. 61 (7) (2016)
ShouGuang Wang, Dan You, Chengying Wang
Optimal supervisor synthesis for petri nets with uncontrollable transitions: A bottom-up algorithm. Inf. Sci. 363 (2016)
ShouGuang Wang, MengChu Zhou, Mengdi Gan, Dan You, Yue Li
New reachability trees for unbounded Petri nets. ICRA (2015)
ShouGuang Wang, Dan You, Carla Seatzu, Alessandro Giua
Complete enumeration of minimal siphons in ordinary Petri nets based on problem partitioning. CDC (2015)
Dan You, Shouguang Wang, Mengchu Zhou
PR With ξ-Resources. IEEE Trans. Syst. Man Cybern. Syst. 45 (6) (2015)
ShouGuang Wang, Dan You, MengChu Zhou, Carla Seatzu
Transformation From Legal-marking Set to Admissible-marking Set of Petri Nets With Uncontrollable Transitions. CoRR (2015)
ShouGuang Wang, Dan You, MengChu Zhou
Controllability of complex siphons for deadlock prevention in Systems of Simple Sequential Processes with Resources. ICRA (2015)