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 modelmemorable eventsupervisory controlschedulability
 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 languagesdiscrete event systemssupervisorscommunication 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 supervisorstimed DESseligible 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 DESsrobust supervisornonblocking 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 systemsdecentralized supervisory controlmodel 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 DESsfault-tolerancerobust supervisorspot 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 DESsnonblocking supervisormultiple deterministic model
 Summary | Full Text:PDF