Jin Young Choi

Publication Activity (10 Years)

Years Active: 2001-2010
Publications (10 Years): 0

Publications

Spyros A. Reveliotis, Elzbieta Roszkowska, Jin Young Choi
Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies Through Mathematical Programming. IEEE Trans Autom. Sci. Eng. 7 (2) (2010)
Spiridon Reveliotis, Elzbieta Roszkowska, Jin Young Choi
Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies through Mathematical Programming. CASE (2007)
Spyros A. Reveliotis, Elzbieta Roszkowska, Jin Young Choi
Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems. ICRA (2007)
Spyros A. Reveliotis, Elzbieta Roszkowska, Jin Young Choi
Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems. IEEE Trans. Autom. Control. 52 (12) (2007)
Spyros A. Reveliotis, Jin Young Choi
Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions. ICATPN (2006)
Jin Young Choi, Spyros A. Reveliotis
Relative value function approximation for the capacitated re-entrant line scheduling problem. IEEE Trans Autom. Sci. Eng. 2 (3) (2005)
Jin Young Choi, Spyros A. Reveliotis
Relative value function approximation for the capacitated re-entrant line scheduling problem: an experimental investigation. CDC (2004)
Jin Young Choi, Spyros A. Reveliotis
A generalized stochastic Petri net model for performance analysis and control of capacitated reentrant lines. IEEE Trans. Robotics Autom. 19 (3) (2003)
Spyros A. Reveliotis, Jin Young Choi
On the Optimality of Randomized Deadlock Avoidance Policies. Discret. Event Dyn. Syst. 13 (4) (2003)
Jin Young Choi, Spyros A. Reveliotis
An Analytical Investigation of the Scheduling Problem for Capacitated Re-Entrant Lines. ICRA (2002)
Spyros A. Reveliotis, Jin Young Choi
On the optimality of randomized deadlock avoidance policies. SMC (2001)