Jin Young Choi

According to our database, Jin Young Choi authored at least 8 papers between 2002 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2010

Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies Through Mathematical Programming.

Spyros A. Reveliotis, Elzbieta Roszkowska, Jin Young Choi

IEEE Trans Autom. Sci. Eng., 2010

2007

Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems.

Spyros A. Reveliotis, Elzbieta Roszkowska, Jin Young Choi

IEEE Trans. Autom. Control., 2007

2006

Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions.

Spyros A. Reveliotis, Jin Young Choi

Proceedings of the Petri Nets and Other Models of Concurrency, 2006

2005

Relative value function approximation for the capacitated re-entrant line scheduling problem.

Jin Young Choi, Spyros A. Reveliotis

IEEE Trans Autom. Sci. Eng., 2005

2004

Relative value function approximation for the capacitated re-entrant line scheduling problem: an experimental investigation.

Jin Young Choi, Spyros A. Reveliotis

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

2003

A generalized stochastic Petri net model for performance analysis and control of capacitated reentrant lines.

Jin Young Choi, Spyros A. Reveliotis

IEEE Trans. Robotics Autom., 2003

On the Optimality of Randomized Deadlock Avoidance Policies.

Spyros A. Reveliotis, Jin Young Choi

Discret. Event Dyn. Syst., 2003

2002

An Analytical Investigation of the Scheduling Problem for Capacitated Re-Entrant Lines.

Jin Young Choi, Spyros A. Reveliotis

Proceedings of the 2002 IEEE International Conference on Robotics and Automation, 2002