An Analytical Investigation of the Scheduling Problem for Capacitated Re-Entrant Lines. - Jin Young Choi 001; Spyros A. Reveliotis (ICRA, 2002)

On the Optimality of Randomized Deadlock Avoidance Policies. - Spyros A. Reveliotis; Jin Young Choi 001 (Discret. Event Dyn. Syst., 2003)

A generalized stochastic Petri net model for performance analysis and control of capacitated reentrant lines. - Jin Young Choi 001; Spyros A. Reveliotis (IEEE Trans. Robotics Autom., 2003)

Relative value function approximation for the capacitated re-entrant line scheduling problem: an experimental investigation. - Jin Young Choi 001; Spyros A. Reveliotis (CDC, 2004)

Performance Modeling, Analysis and Control of Capacitated Re-entrant Lines. - Jin Young Choi 001 (2004)

Relative value function approximation for the capacitated re-entrant line scheduling problem. - Jin Young Choi 001; Spyros A. Reveliotis (IEEE Trans Autom. Sci. Eng., 2005)

Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions. - Spyros A. Reveliotis; Jin Young Choi 001 (ICATPN, 2006)

Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems. - Spyros A. Reveliotis; Elzbieta Roszkowska; Jin Young Choi 001 (IEEE Trans. Autom. Control., 2007)

Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies Through Mathematical Programming. - Spyros A. Reveliotis; Elzbieta Roszkowska; Jin Young Choi 001 (IEEE Trans Autom. Sci. Eng., 2010)