Jin Young Choi

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