Jin Young Choi

According to our database, Jin Young Choi authored at least 9 papers between 2001 and 2007.

Collaborative distances:

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

2007

Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems.

Spyros A. Reveliotis, Elzbieta Roszkowska, Jin Young Choi

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

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

Spiridon Reveliotis, Elzbieta Roszkowska, Jin Young Choi

Proceedings of the IEEE Conference on Automation Science and Engineering, 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

Performance Modeling, Analysis and Control of Capacitated Re-entrant Lines.

Jin Young Choi

PhD thesis, 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

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

2001

On the optimality of randomized deadlock avoidance policies.

Spyros A. Reveliotis, Jin Young Choi

Proceedings of the IEEE International Conference on Systems, 2001