Papers
1
Total Citations
6
H-Index
1
About
Dan You is a leading researcher in discrete event systems and automated manufacturing, whose work centers on deadlock prevention and supervisory control using Petri nets. His most influential contribution, the "Designing Liveness-Enforcing Supervisors for Manufacturing Systems by Using Maximally Good Step Graphs of Petri Nets" (2024, 6 citations), tackles the critical state-space explosion problem that plagues traditional reachability graph methods. By introducing the maximally good step graph (MGSG)—a partial-order technique—You provides a scalable, computationally efficient framework for designing liveness-enforcing supervisors, enabling safer and more reliable operation in complex manufacturing systems. This innovation not only advances theoretical understanding of Petri net behavior but also offers practical solutions for industrial automation. Though early in its citation trajectory, the work has already garnered attention for its elegant approach to a long-standing challenge. You’s research continues to bridge formal methods and real-world applications, making him a rising figure in the control systems community. For students and researchers, his work exemplifies how partial-order reductions can unlock new possibilities in system design.
Research Focus
Key Achievements
Top Papers
- 1