Dan You

According to our database, Dan You authored at least 36 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Non-Deterministic Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks.

Dan You, Shouguang Wang

IEEE CAA J. Autom. Sinica, January, 2024

2023

A Refined Siphon-Based Deadlock Prevention Policy for a Class of Petri Nets.

ShouGuang Wang, Xin Guo, Oussama Karoui, MengChu Zhou, Dan You, Abdullah Abusorrah

IEEE Trans. Syst. Man Cybern. Syst., 2023

AutoKary2022: A Large-Scale Densely Annotated Dateset for Chromosome Instance Segmentation.

Dan You, Pengcheng Xia, Qiuzhu Chen, Minghui Wu, Suncheng Xiang, Jun Wang

CoRR, 2023

Supervisory Control of Cyber-Physical Systems Subject to Actuator Jamming Attacks.

Wenli Duo, Shouguang Wang, MengChu Zhou, Dan You, Remigiusz Wisniewski, Grzegorz Bazydlo

Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2023

AutoKary2022: A Large-Scale Densely Annotated Dataset for Chromosome Instance Segmentation.

Dan You, Pengcheng Xia, Qiuzhu Chen, Minghui Wu, Suncheng Xiang, Jun Wang

Proceedings of the IEEE International Conference on Multimedia and Expo, 2023

2022

A Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks.

Dan You, Shouguang Wang, Carla Seatzu

IEEE Trans. Syst. Man Cybern. Syst., 2022

Heuristic Scheduling of Batch Production Processes Based on Petri Nets and Iterated Greedy Algorithms.

Ziyan Zhao, Shixin Liu, Mengchu Zhou, Dan You, Xiwang Guo

IEEE Trans Autom. Sci. Eng., 2022

Supervisory Control of Petri Nets in the Presence of Replacement Attacks.

Dan You, ShouGuang Wang, MengChu Zhou, Carla Seatzu

IEEE Trans. Autom. Control., 2022

Computation of Minimal Siphons in Petri Nets Using Problem Partitioning Approaches.

Dan You, Oussama Karoui, Shouguang Wang

IEEE CAA J. Autom. Sinica, 2022

2021

Computation of an emptiable minimal siphon in a subclass of Petri nets using mixed-integer programming.

Shouguang Wang, Wenli Duo, Xin Guo, Xiaoning Jiang, Dan You, Kamel Barkaoui, MengChu Zhou

IEEE CAA J. Autom. Sinica, 2021

Generalized Current-State Opacity With Dynamically Changing Secrets.

Dan You, Shouguang Wang, Carla Seatzu

CoRR, 2021

2020

A Deadlock Prevention Policy for a Class of Multithreaded Software.

Wenli Duo, Xiaoning Jiang, Oussama Karoui, Xin Guo, Dan You, Shouguang Wang, Yuan Ruan

IEEE Access, 2020

A Survey of Network Attacks on Cyber-Physical Systems.

Liwei Cao, Xiaoning Jiang, Yumei Zhao, Shouguang Wang, Dan You, Xianli Xu

IEEE Access, 2020

2019

Verification of Fault-predictability in Labeled Petri Nets Using Predictor Graphs.

Dan You, ShouGuang Wang, Carla Seatzu

IEEE Trans. Autom. Control., 2019

Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions.

Dan You, ShouGuang Wang, Carla Seatzu

Inf. Sci., 2019

A Siphon-Based Deadlock Prevention Strategy for S³PR.

Xin Guo, Shouguang Wang, Dan You, Zhifu Li, Xiaoning Jiang

IEEE Access, 2019

An iterative Deadlock Prevention Policy Based on siphons.

Qiaoli Zhuang, Dan You, Wenzhan Dai, Shouguang Wang, Jingiing Du

Proceedings of the 16th IEEE International Conference on Networking, Sensing and Control, 2019

Stochastic Dual-objective Disassembly Sequence Planning with Consideration of Learning Effect.

Xiwang Guo, MengChu Zhou, Yaping Fu, Liang Qi, Dan You

Proceedings of the 16th IEEE International Conference on Networking, Sensing and Control, 2019

2018

A Novel Approach for Constraint Transformation in Petri Nets With Uncontrollable Transitions.

Shouguang Wang, Dan You, Carla Seatzu

IEEE Trans. Syst. Man Cybern. Syst., 2018

New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets.

Shouguang Wang, Dan You, Mengchu Zhou

Sci. China Inf. Sci., 2018

An Algorithm of Recognizing Unbounded Petri Nets With Semilinear Reachability Sets and Constructing Their Reachability Trees.

Dan You, Shouguang Wang, Wenhui Wu

IEEE Access, 2018

An Approach for Enumerating Minimal Siphons in a Subclass of Petri Nets.

Dan You, Shouguang Wang, Wenzhan Dai, Wenhui Wu, Yongshu Jia

IEEE Access, 2018

A Resource Allocation Approach for Enforcing Liveness on a Class of Petri Nets.

Dan You, Shouguang Wang, Hao Dou, Wenli Duo

IEEE Access, 2018

Liveness Enforcement for a Class of Petri Nets via Resource Allocation.

Dan You, Shouguang Wang, Hao Dou, Wenli Duo, Kamel Barkaoui, Carla Seatzu

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

2017

A Necessary and Sufficient Condition for a Resource Subset to Generate a Strict Minimal Siphon in S 4PR.

ShouGuang Wang, Dan You, MengChu Zhou

IEEE Trans. Autom. Control., 2017

Computation of strict minimal siphons in a class of Petri nets based on problem decomposition.

Dan You, ShouGuang Wang, MengChu Zhou

Inf. Sci., 2017

Computation of an Optimal Transformed Linear Constraint in a Class of Petri Nets With Uncontrollable Transitions.

Dan You, Shouguang Wang, Zhiwu Li, Chengying Wang

IEEE Access, 2017

Approach for minimal-siphon computation in S⁴PR.

Dan You, Shouguang Wang, Wenzhan Dai, Wenhui Wu

Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017

2016

Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions.

Shouguang Wang, Dan You, MengChu Zhou, Carla Seatzu

IEEE Trans. Autom. Control., 2016

Optimal supervisor synthesis for petri nets with uncontrollable transitions: A bottom-up algorithm.

ShouGuang Wang, Dan You, Chengying Wang

Inf. Sci., 2016

A new linear constraint transformation approach for Petri nets with uncontrollable transitions.

Dan You, ShouGuang Wang, Carla Seatzu

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

2015

Synthesis of Monitor-Based Liveness-Enforcing Supervisors for 𝕊³ PR With ξ-Resources.

Dan You, Shouguang Wang, Mengchu Zhou

IEEE Trans. Syst. Man Cybern. Syst., 2015

Transformation From Legal-marking Set to Admissible-marking Set of Petri Nets With Uncontrollable Transitions.

ShouGuang Wang, Dan You, MengChu Zhou, Carla Seatzu

CoRR, 2015

New reachability trees for unbounded Petri nets.

ShouGuang Wang, MengChu Zhou, Mengdi Gan, Dan You, Yue Li

Proceedings of the IEEE International Conference on Robotics and Automation, 2015

Controllability of complex siphons for deadlock prevention in Systems of Simple Sequential Processes with Resources.

ShouGuang Wang, Dan You, MengChu Zhou

Proceedings of the IEEE International Conference on Robotics and Automation, 2015

Complete enumeration of minimal siphons in ordinary Petri nets based on problem partitioning.

ShouGuang Wang, Dan You, Carla Seatzu, Alessandro Giua

Proceedings of the 54th IEEE Conference on Decision and Control, 2015