Seong-Jin PARK

Schedulability Analysis of Periodic and Sporadic Tasks Using a Timed Discrete Event Model with Memorable Events
Jung-Min YANG Seong-Jin PARK 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2008/10/01
Vol. E91-A  No. 10  pp. 3076-3079
Type of Manuscript:  LETTER
Category: Systems and Control
Keyword: 
timed discrete event model, memorable event, supervisory control, schedulability, 
 Summary | Full Text:PDF
On Algebraic Properties of Delay-Nonconflicting Languages in Supervisory Control under Communication Delays
Jung-Min YANG Seong-Jin PARK 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2008/08/01
Vol. E91-A  No. 8  pp. 2237-2239
Type of Manuscript:  LETTER
Category: Systems and Control
Keyword: 
delay-nonconflicting languages, discrete event systems, supervisors, communication delays, 
 Summary | Full Text:PDF
Robust Supervisory Control of Uncertain Timed Discrete Event Systems Based on Activity Models and Eligible Time Bounds
Seong-Jin PARK 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/03/01
Vol. E88-A  No. 3  pp. 782-786
Type of Manuscript:  LETTER
Category: Systems and Control
Keyword: 
robust supervisors, timed DESs, eligible time bounds, 
 Summary | Full Text:PDF
On Robust and Nonblocking Supervisor for Nondeterministic Discrete Event Systems
Seong-Jin PARK Jong-Tae LIM 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/02/01
Vol. E86-D  No. 2  pp. 330-333
Type of Manuscript:  LETTER
Category: Theory of Automata, Formal Language Theory
Keyword: 
nondeterministic DESs, robust supervisor, nonblocking characteristics, 
 Summary | Full Text:PDF
Decentralized Supervisory Control of Discrete Event Systems with Model Uncertainty
Seong-Jin PARK Jong-Tae LIM 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/12/25
Vol. E83-D  No. 12  pp. 2174-2177
Type of Manuscript:  LETTER
Category: Theory of Automata, Formal Language Theory
Keyword: 
discrete event systems, decentralized supervisory control, model uncertainty, 
 Summary | Full Text:PDF
Fault-Tolerant Robust Supervisor for Timed Discrete Event Systems: A Case Study on Spot Welding Processes
Seong-Jin PARK Jong-Tae LIM 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/12/25
Vol. E83-D  No. 12  pp. 2178-2182
Type of Manuscript:  LETTER
Category: Theory of Automata, Formal Language Theory
Keyword: 
timed DESs, fault-tolerance, robust supervisor, spot welding processes, 
 Summary | Full Text:PDF
Nonblocking Supervisory Control of Nondeterministic Systems Based on Multiple Deterministic Model Approach
Seong-Jin PARK Jong-Tae LIM 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/05/25
Vol. E83-D  No. 5  pp. 1177-1180
Type of Manuscript:  LETTER
Category: Theory of Automata, Formal Language Theory
Keyword: 
nondeterministic DESs, nonblocking supervisor, multiple deterministic model, 
 Summary | Full Text:PDF