Daniel Yuh Chao

Publication Activity (10 Years)

Years Active: 2003-2017
Publications (10 Years): 10

Top Topics

Reachability Analysis

Top Venues

IMA J. Math. Control. Inf.

Int. J. Syst. Sci.

Int. J. Control

Publications

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