Jing-Yue Lin

According to our database¹, Jing-Yue Lin authored at least 3 papers between 1992 and 1995.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1995

Optimal supervision of discrete event systems in a temporal logic framework.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern., 1995

1994

A Reachability Synthesis Procedure for Discrete Event Systems in a Temporal Logic Framework.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 1994

1992

Verifying a class of nondeterministic discrete event systems in a generalized temporal logic.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern., 1992