발행물
컨퍼런스
Proceedings of the IEEE International Conference on Robotics & Automation
2001.05
,
Algebraic Deadlock Avoidance Policies for Conjunctive / Disjunctive Resource Allocation Systems
A Colored Petri Net-based Approach to the Design of 300mm Wafer Fab Controllers
Proceedings of the IEEE International Conference on Decision & Control
2000.12
A Polynomial-Complexity Deadlock Avoidance Policy for Sequential Resource Allocation Systems with Multiple Resource Acquisitions and Flexible Routings
Proceedings of the International Conference on Modeling and Analysis of Semiconductor Manufacturing
High-Fidelity Rapid Prototyping of the Real-Time Fab Operations through Discrete Event System Modeling
Proceedings of the Industrial Engineering Research Conference
A Formal Specification Approach to Design Generic Software for Control of High-Fidelity Virtual Factory