Daniel Yuh Chao

32 papers C 5Journal 20Unranked 7
YearRankTypeTitle / Venue / Authors
2017 J jnl
Proof by model: a new knowledge-based reachability analysis methodology for Petri net.
IMA J. Math. Control. Inf.
Daniel Yuh Chao, Yen-Ping Chi, Tsung-Hsien Yu, Li-Chih Yu, Mike Y. J. Lee
2016 J jnl
Extension of the lower bound of monitor solutions of maximally permissive supervisors to non-α net systems.
Int. J. Syst. Sci.
Wenhui Wu, Daniel Yuh Chao
2016 J jnl
Improvement on 'A merging method for the siphon-based flexible manufacturing systems maximally permissive controllers with simpler structures'.
IMA J. Math. Control. Inf.
Daniel Yuh Chao
2016 J jnl
The fundamental closed-form solution of control-related states of
Int. J. Control
Daniel Yuh Chao, Tsung Hsien Yu
2015 — conf
Closed form formula construction to enumerate control related states of Bottom Left k-net S
ICNSC
Daniel Yuh Chao, Tsung Hsien Yu
2015 J jnl
Enumeration of reachable (forbidden, live and deadlock) states of
IMA J. Math. Control. Inf.
Daniel Yuh Chao
2015 J jnl
Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller.
Int. J. Control
Gaiyun Liu, Daniel Yuh Chao
2015 C conf
MLR: A new concept to launch a partial deadlock avoidance policy for k-th order system of Petri Nets.
IECON
Daniel Yuh Chao, Tsung Hsien Yu
2015 J jnl
On the lower bound of monitor solutions of maximally permissive supervisors for a subclass α-S
Int. J. Syst. Sci.
Daniel Yuh Chao
2015 J jnl
Uniform formulas for compound siphons, complementary siphons and characteristic vectors in deadlock prevention of flexible manufacturing systems.
J. Intell. Manuf.
Daniel Yuh Chao, Yen-Liang Pan
2014 — conf
Closed form formula construction to enumerate control related states of K-th order S
ICNSC
Daniel Yuh Chao, Tsung Hsien Yu, Sou-Chein Wu
2014 — conf
Enumeration of reachable, forbidden, live states of gen-left k-net system (with a non-sharing resource place) of Petri Nets.
CICA
Daniel Yuh Chao, Tsung Hsien Yu
2014 — conf
Enumeration of reachable, forbidden, live, and deadlock states of bottom k-th order system (with a left side non-sharing resource place) of Petri nets.
ICNSC
Daniel Yuh Chao, Tsung Hsien Yu, Chia Chang Liou
2014 J jnl
Recursive solution of number of reachable states of a simple subclass of FMS.
Int. J. Syst. Sci.
Daniel Yuh Chao
2013 C conf
A Best Method to Synthesize Very Large K-th Order Systems without Reachability Analysis (S).
SEKE
Daniel Yuh Chao, Tsung Hsien Yu
2013 — conf
A control policy for γ-nets without reachability analysis and siphon enumeration.
CASE
Wenhui Wu, Daniel Yuh Chao, Fang Yu
2013 J jnl
A merging method for the siphon-based FMS maximally permissive controllers with simpler structures.
IMA J. Math. Control. Inf.
Gai Yun Liu, Daniel Yuh Chao, Murat Uzam
2013 C conf
Enumeration of reachable (forbidden, live, and deadlock) states of top k-th order system (with a non-sharing resource place) of Petri nets.
IECON
Daniel Yuh Chao, Tsung Hsien Yu
2013 — conf
Structure Based Derived Uniform Formula for Siphon, Its Complementary Set and T-Characteristic Vectors.
MIM
Daniel Yuh Chao, Yen-Liang Pan, Wei-Hsiang Liao
2013 J jnl
Structure of weakly 2-dependent siphons.
Int. J. Control
Daniel Yuh Chao, Jiun-Ting Chen
2012 — conf
Enumeration of reachable and other states of simple version of Systems of Simple Sequential Processes with Resources (S3PR).
ISIE
Daniel Yuh Chao, Hung-Yi Chen, Fang Yu
2012 C conf
Singular Formulas for Compound Siphons, Complementary Siphons and Characteristic Vectors for Deadlock Prevention in Cloud Computing.
SEKE
Gaiyun Liu, Daniel Yuh Chao, Yao-Nan Lien
2010 J jnl
Weighted Characteristic P-vector and Deadlock Control of WS
J. Inf. Sci. Eng.
Daniel Yuh Chao
2009 J jnl
Deadlock Control for Weighted Systems of Simple Sequential Processes with Resources Requirement (WS3PR).
J. Inf. Sci. Eng.
Daniel Yuh Chao
2009 C conf
Unfolding of Multirate Data-Flow Graph to Compute Iteration Bound.
ICA3PP
Daniel Yuh Chao
2007 J jnl
A Graphic-Algebraic Computation of Elementary Siphons of BS3PR.
J. Inf. Sci. Eng.
Daniel Yuh Chao
2007 J jnl
An Incremental Approach to Extracting Minimal Bad Siphons.
J. Inf. Sci. Eng.
Daniel Yuh Chao
2007 J jnl
Searching Strick Minimal Siphons for SNC-Based Resource Allocation Systems.
J. Inf. Sci. Eng.
Daniel Yuh Chao
2007 J jnl
Virtual First-Order Structure.
J. Inf. Sci. Eng.
Daniel Yuh Chao
2006 J jnl
Computation of Elementary Siphons in Petri Nets For Deadlock Control.
Comput. J.
Daniel Yuh Chao
2006 J jnl
Knitting Technique with TP-PT Generations for Petri Net Synthesis.
J. Inf. Sci. Eng.
Daniel Yuh Chao
2003 J jnl
Extended Synchronized Choice Nets.
Comput. J.
Daniel Yuh Chao