YUH CHAO
Name YUH CHAO
Research Expertise Automation, Petri nets, data flow scheculing, control of discrete systems
Teaching Field 自動工廠及數值流程圖之排程、派翠網路
Job Title Professor
Year Paper Title
2014 Daniel Yuh Chao*, 2014.12, 'Controllability of Weakly Dependent Siphons under Elementary-Siphon Control, ' Transactions of the Institute of Measurement and Control,.(SCI)(*為通訊作者)(本論著未刊登但已被接受), vol. 406318, Dec. 2014
2014 趙玉*, 2014.11, 'Further Reduction of Minimal First-Met Bad Markings (FBM) for A Fast Maximally Permissive Controller Synthesizer, ' International Journal of Control,.(SCI)(*為通訊作者)(本論著未刊登但已被接受), vol. 406033, Nov. 2014
2014 Daniel Yuh Chao*, 2014.11, 'Closed-Form Solution of Controller Synthesis for Infinitely Large Systems of Resource Sharing Systems of A Subclass of Petri Nets, ' Transactio​ns of the Institute of Measuremen​t and Control,.(SCI)(*為通訊作者)(本論著未刊登但已被接受), vol. 406009, Nov. 2014
2014 W.H.Wu*; D.Y.Chao;S.G.Wang, 2014.10, 'Extension of the Lower Bound of Monitor Solutions of Maximally Permissive Supervisors to Non-α Net Systems, ' International Journal of Systems Science,.(SCI)(*為通訊作者)(本論著未刊登但已被接受), vol. 405797, Oct. 2014
2014 趙玉*, 2014.07, 'Revision on ”Maximally permissive deadlock prevention via an Invariant Controlled Method”, ' International Journal of Production Research, pp.0.(SCI)(*為通訊作者)(本論著未刊登但已被接受), vol. 404669, Jul. 2014
2014 Danieel Yuh Chao*, 2014.07, 'Improvement on 'Structure of Weakly 2-Dependent Siphons', ' Internatio​nal Journal of Control,.(SCI)(*為通訊作者)(本論著未刊登但已被接受), vol. 404583, Jul. 2014
2014 趙玉*, 2014.06, 'Improvement on "A Merging Method for the Siphon-Based FMS Maximally Permissive Controllers with Simpler Structures", ' IMA Journal of Mathematical Control and Information,.(SCI)(*為通訊作者)(本論著未刊登但已被接受), vol. 404337, Jun. 2014
2014 Daniel Yuh Chao*;Tsung Hsien. Yu, 2014.05, 'Computation of control related states of bottom k-th order system (with a non-sharing resource place) of Petri nets, ' Transactions of the Institute of Measurement and Control,.(SCI)(*為通訊作者)(本論著未刊登但已被接受), vol. 404152, May. 2014
2014 Daniel Yuh Chao*, 2014.05, 'Enumeration of Reachable (forbidden, live, and deadlock) States of K-th order system of Petri Nets, ' ima journal of mathematical control and information,.(SCI)(*為通訊作者)(本論著未刊登但已被接受), vol. 403936, May. 2014
2014 Daniel Yuh Chao*, 2014, 'Recursive Solution of Number of Reachable States of A Simple Subclass of FMS, ' International Journal of Systems Science, Vol.45, No.3, pp.702-710.(SCI)(*為通訊作者), vol. 378515, 2014
2013 Chao, Daniel Yuh;Jiun-Ting Chen*, 2013.09, 'Structure Of Weakly 2-Dependent Siphons, ' International Journal of Control, Vol.86, No.9, pp.1518-1533.(SCI)(*為通訊作者), vol. 370798, Sep. 2013
2013 Daniel Yuh Chao*;Jiun-Ting Chen;Murat Uzam, 2013.08, 'Reaching Most States Via Refining Controller Regions for Supervisors of Two Well-Known S3PR, ' International Journal of Production Research, Vol.51, No.15, pp.4421-4430.(SCI)(*為通訊作者), vol. 402428, Aug. 2013
2013 Gai Yun Liu*;Daniel Yuh Chao;Fang Yu, 2013.08, 'Control policy for a subclass of Petri nets without reachability analysis, ' IET Control Theory and Applications, Vol.7, No.8, pp.1131 - 1141.(SCI)(*為通訊作者), vol. 402426, Aug. 2013
2013 Gaiyun Liu*;Daniel Y. Chao;Murat Uzam, 2013.08, 'Maximally permissive deadlock prevention via an invariant controlled method, ' International Journal of Production Research, Vol.51, No.15, pp.4431-4442.(SCI)(*為通訊作者), vol. 378506, Aug. 2013
2013 Liang Hong;Daniel Yuh Chao, 2013.08, 'Controllability of Weakly Dependent Control and Mixture Siphons in S3PR, ' International Journal of Systems Science, Vol.44, No.8, pp.1377-1385.(SCI), vol. 355355, Aug. 2013
2013 GaiYun Liu*;Daniel Yuh Chao;Murat Uzam, 2013.08, 'A Merging Method for the Siphon-Based FMS Maximally Permissive Controllers with Simpler Structures, ' IMA Journal of Mathematical Control and Information,.(*為通訊作者), vol. 402425, Aug. 2013
2013 趙玉*, 2013.04, 'On the Lower Bounds of Monitor Solutions of Maximally Permis-, ' International Journal of Systems Science,.(SCI)(*為通訊作者), vol. 402422, Apr. 2013
2013 趙玉*, 2013.03, 'Uniform Formulas for Compound Siphons, Complementary Siphons and Characteristic Vectors in Deadlock Prevention of Flexible Manufacturing Systems, '.(*為通訊作者), vol. 402423, Mar. 2013
2012 Chao, Daniel Yuh*;Yao-Nan Lien;Jiun-Ting Chen;Yu-Ying Shih, 2012.08, 'Improvement of set-covering Weighted Control Model of S3PR, ' Advanced Materials Research, Vol.0, No.0, pp.0.(EI)(*為通訊作者)(本論著未刊登但已被接受), vol. 370799, Aug. 2012
2012 Liang Hong*;Daniel Yuh Chao, 2012.07, 'Enumeration of Reachable States for Arbitrary Marked Graphs, ' IET CONTROL THEORY AND APPLICATIONS, Vol.6, No.10, pp.1536 -1543.(SCI)(*為通訊作者), vol. 370824, Jul. 2012
2012 Chao, Daniel Yuh;Johannes K. Chiang*, 2012.06, 'Application of critical-siphon Theory to Fastest Deadlock Controller for A Class of Flexible Manufacturing Systems, ' Advanced Materials Research, Vol.0, No.0, pp.0.(EI)(*為通訊作者)(本論著未刊登但已被接受), vol. 370797, Jun. 2012
2012 Daniel Y. Chao*;Jiun-Ting Chen;Fang Yu, 2012.02, 'A novel liveness condition for S3PGR2, ' Transactions of the Institute of Measurement and Control, Vol.35, No.2, pp.131-137.(SCI)(*為通訊作者), vol. 370864, Feb. 2012
2012 Daniel Yuh Chao*;Jiun-Ting Chen, 2012.01, 'Segment theory to compute elementary siphons in Petri nets for deadlock control, ' Journal of the Chinese Institute of Industrial Engineers, Vol.28, No.8, pp.573-585.(EI, TSCI)(*為通訊作者), vol. 346618, Jan. 2012
2011 Daniel Y. Chao*, 2011.08, 'A New Optimal Control Policy for A Well-Known S3PR (systems of simple sequential processes with resources, ' International Journal of Production Research, Vol.50, No.22, pp.6259-6271.(SCI)(*為通訊作者)(本論著未刊登但已被接受), vol. 346607, Aug. 2011
2011 Daniel Y. Chao;K.C . WOO*, 2011.08, 'An Integrated Approach for Supervisory Control of A Subclass of Petri Nets, ' Transactions of the Institute of Measurement and Control, Vol.35, No.2, pp.117-130.(SCI)(*為通訊作者), vol. 345374, Aug. 2011
2011 Daniel Yuh Chao*, 2011.08, 'comments on Enhancement of an efficient liveness-enforcing supervisor for flexible manufacture systems, ' International Journal of Advanced Manufacturing Technology., Vol.60, No.5, pp.625-629.(SCI)(*為通訊作者), vol. 345100, Aug. 2011
2011 趙玉, 2011.07, 'Enumeration of lost states of a suboptimal control model of a well-known S(3)PR, ' IET CONTROL THEORY AND APPLICATIONS, Vol.5, No.11, pp.1277-1286.(SCI), vol. 345088, Jul. 2011
2011 趙玉*;Jiun-Ting Chen1,;Mike Y.J. Lee1,;Kuo-Chiang Wu2, 2011.05, 'Controllability of Strongly and Weakly Dependent Siphons under Disturbanceless Control, ' Intelligent Control and Automation,.(*為通訊作者)(本論著未刊登但已被接受), vol. 346636, May. 2011
2011 Daniel Y. Chao, 2011.05, 'Formal Theory of State Loss of Siphon-based Deadlock Prevention, ' IET Control Theory & Applications, Vol.5, No.8, pp.1013-1021.(SCI), vol. 331207, May. 2011
2011 Daniel Y. Chao*, 2011.04, 'Improvement of Suboptimal Siphon- and FBM-Based Control Model of a Well-Known S3PR, ' IEEE Transactions on Automation Science and Engineering, Vol.8, No.2, pp.404-411.(SCI)(*為通訊作者), vol. 322727, Apr. 2011
2011 Daniel Y. Chao*, 2011.02, 'α-siphons of A Suboptimal Control Model of A Subclass of Petri Nets, ' Intelligent Control&Automation, Vol.2, No.1, pp.24-30.(*為通訊作者), vol. 328871, Feb. 2011
2011 趙玉, 2011.02, 'A Modification of Deadlock Prevention Policy of S3PR Based on Elementary Siphons, ' Transactions of the Institute of Measurement and Control, Vol.33, No.1, pp.93-115.(SCI), vol. 263335, Feb. 2011
2011 GuanJun Liu*;ChangJun Jiang;D. Y. Chao, 2011.01, 'Necessary and Sufficient Condition for the Liveness of Normal Nets, ' The Computer Journalm doi: 10.1093/comjnl/bxp118, Vol.54, No.1, pp.157-163.(SCI)(*為通訊作者), vol. 299941, Jan. 2011
2010 趙玉*;GuanJun Liu, 2010.12, 'A Simple Suboptimal Siphon-Based Control Model of A Well-Known S3PR, ' Asian Journal of Control, Vol.33, No.1, pp.93-115.(SCI)(*為通訊作者), vol. 317772, Dec. 2010
2010 趙玉, 2010.12, 'Fewer Monitors and More Efficient Controllability for Deadlock Control in S3PGR2 (systems of simple sequential processes with general resource requirements), ' Comp. J. doi: 10.1093/comjnl/bxq007, Vol.53, No.10, pp.1783-1798.(SCI), vol. 304505, Dec. 2010
2010 D. Y. Chao*;Shih, Yu-Ying;, 2010.12, 'Sequence of Control in S3PMR, ' Computer Journal, doi: 10.1093/comjnl/bxp081, Vol.53, No.10, pp.1691-1703.(SCI)(*為通訊作者), vol. 286599, Dec. 2010
2010 趙玉, 2010.11, 'Minimal Strict Siphons Extraction for S3PMR, ' Journal of the Chinese Institute of Engineers (JCIE)., Vol.33, No.7, pp.995-1004.(SCI, THCI), vol. 288712, Nov. 2010
2010 Daniel Y. Chao;Ting-Yu Chen*;Jiun-Ting Chen;Kuo-Chiang Wu, 2010.09, 'A Best Deadlock Control for S3PMR to Reach All States, ' Asian Journal of Control, Vol.14, No.1, pp.278-283.(SCI)(*為通訊作者)(本論著未刊登但已被接受), vol. 320445, Sep. 2010
2010 趙玉, 2010.07, 'Conservative Control Policy for Weakly Dependent Siphons in S3PR Based on Elementary Siphons, ' IET Control Theory & Applications, Vol.4, No.7, pp.1298 - 1302.(SCI), vol. 288730, Jul. 2010
2010 趙玉, 2010.07, 'Weighted Characteristic P-vector and Deadlock Control of WS3PR, ' Journal of Information Science and Engineering, Vol.26, No.3, pp.1121-1136.(SCI), vol. 277078, Jul. 2010
2010 D. Y. Chao*, 2010.05, 'A Modified Definition of Characteristic P-Vector for Elementary Siphons in A Class of Petri Nets, ' IET Control Theory & Applications, Vol.4, No.5, pp.841-853.(SCI)(*為通訊作者), vol. 281238, May. 2010
2010 趙玉, 2010.05, 'Improved Controllability Test for Dependent Siphons in S3PR Based on Elementary Siphons, ' Asian Journal of Control, Vol.12, No.3, pp.377-391.(SCI), vol. 304504, May. 2010
2010 趙玉, 2010.01, 'Technical Note - Reaching More States for Control of FMS, ' International Journal of Production Research, Vol.48, No.4, pp.1217-1220.(SCI), vol. 239431, Jan. 2010
2009 趙玉, 2009.11, 'Direct Minimal Empty Siphon Computation Using MIP, ' Int J Adv Manuf Technol, Vol.45, No.3, pp.397-405.(SCI), vol. 288721, Nov. 2009
2009 趙玉, 2009.11, 'Deadlock Control for Weighted Systems of Simple Sequential Processes with Resources Requirement (WS3PR), ' Journal of Information Science and Engineering, Vol.25, No.6, pp.1963-1978.(SCI), vol. 288714, Nov. 2009
2009 趙玉, 2009.07, 'Unfolding of Multirate Data-Flow Graph to Compute Iteration Bound, ' Lecture Notes in Computer Science, Vol.5574, pp.460-465.(EI), vol. 292377, Jul. 2009
2009 趙玉, 2009.07, 'ERRATUM:Revised dependent siphons, ' Int J Adv Manuf Technol, Vol.43, No.1, pp.189-190.(SCI), vol. 274404, Jul. 2009
2009 趙玉, 2009.06, 'AMS: V-Nets or NV-Nets?, ' IET Control Theory & Applications, Vol.3, No.6, pp.671 - 680.(SCI), vol. 263239, Jun. 2009
2009 趙玉, 2009.04, 'Unfolding of Multirate Data-Flow Graph to Compute Iteration Bound, ' International Journal of Electrical Engineering (IJEE), Vol.16, No.2, pp.159-170.(SCI), vol. 266387, Apr. 2009
2009 趙玉*;Zhiwu Li, 2009.04, 'Conditions of S3PR With No Weakly Dependent Siphons, ' Control Theory & Applications, IET, Vol.3, No.4, pp.391 - 403.(SCI)(*為通訊作者), vol. 264492, Apr. 2009
2009 趙玉, 2009.04, 'Revised Dependent Siphons, ' Int J Adv Manuf Technol ., Vol.43, No.1, pp.1152-1168.(SCI), vol. 263238, Apr. 2009
2009 趙玉, 2009.03, 'Direct Minimal Empty Siphon Computation Using MIP, ' Int J Adv Manuf Technol, Vol.45, No.3, pp.397-405, DOI: 10.100.(SCI), vol. 273995, Mar. 2009
2009 趙玉, 2009.03, 'Technical Note  Reducing MIP Iterations for Deadlock Prevention of Flexible Manufacturing Systems, ' International Journal of Advanced Manufacturing Technology, Vol.41, No.3, pp.343-346.(SCI), vol. 239428, Mar. 2009
2008 趙玉, 2008.10, 'Comments on “Deadlock prevention and avoidance in FMS: A Petri net based approach,”, ' International Journal of Advanced Manufacturing Technology, Vol.39, pp.317-318.(SCI), vol. 239432, Oct. 2008
2008 趙玉, 2008.02, 'Incremental Approach to Computation of Elementary Siphons for Arbitrary S3PR/IEE Proceedings Control Theory & Applications, 2007, ' IEE Proceedings Control Theory & Applications, 2007, Vol.2, No.2, pp.168-179.(SCI), vol. 239322, Feb. 2008
2007 趙玉*, 2007.12, 'A Graphic-Algebraic Computation of Elementary Siphons of BS3PR, ' Journal of Information Science and Engineering, Vol.23, No.6, pp.1817-1831.(SCI)(*為通訊作者), vol. 213564, Dec. 2007
2007 趙玉*, 2007.07, 'Max’-Controlled Siphons for Liveness of S3PGR2, ' IEE Proceedings Control Theory & Applications, Vol.1, No.4, pp.933-936.(SCI)(*為通訊作者), vol. 213562, Jul. 2007
2007 趙玉, 2007.05, 'Searching Strict Minimal Siphons for SNC-Based Resource Allocation Systems, ' Journal of Information Science and Engineering, Vol.23, No.3, pp. 855-869.(SCI), vol. 239652, May. 2007
2007 趙玉, 2007.02, 'Virtual First-Order Structure, ' Journal of Information Science and Engineering, Vol.23, No.2, pp.371-385.(SCI), vol. 239656, Feb. 2007
2007 趙玉*, 2007.02, 'Correction to ‘Maximal Class of Weakly Live Ordinary Petri Nets Without Emptiable Siphons, ' IEEE Transactions on System, Man, and Cybernetics—PART B: Cybernetics, Vol.37, No.1, pp.248-249.(IEEE, SCI)(*為通訊作者), vol. 213563, Feb. 2007
2007 趙玉*, 2007.02, 'Deadlock Control of S3PGR2 Based on Max*-Controlled and Elementary Siphons/IEE Proceedings Control Theory & Applications, ' IEE Proceedings Control Theory & Applications,.(SCI)(*為通訊作者)(本論著未刊登但已被接受), vol. 213558, Feb. 2007
2007 趙玉, 2007.01, 'An Incremental Approach to Extracting Minimal Bad Siphons, ' Journal of Information Science and Engineeri, Vol.23, No.1, pp.203-214.(SCI), vol. 239653, Jan. 2007
2006 趙玉*, 2006.12, 'Maximal Class of Weakly Live Ordinary Petri Nets Without Emptiable Siphons, ' IEEE Transactions on System, Man, and Cybernetics—PART B: Cybernetics, Vol.36, No.6, pp.1332–1341.(IEEE, SCI)(*為通訊作者), vol. 213565, Dec. 2006
2006 趙玉, 2006.07, 'Knitting technique with TP-PT generations for Petri net synthesis, ' Journal of Information Science and Engineering, Vol.22, No.4, pp.909-923.(SCI), vol. 239657, Jul. 2006
2006 趙玉*, 2006.05, 'Computation of Elementary Siphons in Petri Nets For Deadlock Control, ' Comp. J., (British Computer Society), Vol.49, No.4, pp.470-479.(SCI)(*為通訊作者), vol. 213566, May. 2006
2005 DANIEL Y. CHAO, 2005.01, 'Reachability and firing sequences of Homogeneous synchronized choice net, ' J. of Infor. Sci. and Eng., Vol.21, No.1, pp.129-152.(SCI), vol. 185116, Jan. 2005
2005 Daniel Y. Chao, 2005, 'Reachability of Non-Synchronized Choice Petri Nets and Its Applications, ' IEEE Trans. Syst,. Man, Cybern., part B, Vol.35, No.6, pp.1013-1023.(SCI), vol. 185149, 2005
2004 趙玉;Jose A. Nicdao, 2004, 'Extended Synchronized choice Ordinary Petri Nets, ' Computer Journal, Vol.46, No.5, pp. 505-523.(SCIE, SCI), vol. 148256, 2004
2001 趙玉;Jose A. Nicdao, 2001, 'Liveness for Synchronized Choice Petri Nets, ' Computer Journal, Vol.44, No.1, pp.124-136.(SCIE), vol. 148258, 2001
2000 趙玉, 2000, 'A Fast Implementation For Recurrent DSP Schduling Using final Matrix, ' Journal of Information Science and Engineering, Vol.16, No.3, pp.391-421., vol. 148260, 2000
1999 趙玉, 1999, 'Petri Net Synthesis and Synchronization Using Kitting Technique, ' Journal of Information Science and Engineering, Vol.15, No.4, pp.543-568., vol. 148262, 1999
1997 趙玉, 1997.03, 'Performance of Multi-Rate Data Flow Graphs for Concurrent Processing, ' Journal of Imformation Science and Engineering, Vol.13, pp.85-123., vol. 134685, Mar. 1997
1996 趙玉, 1996.10, 'X-Window Implementation of an Algorithm to Synthesize Ordinary Petri Nets, ' Journal of National Cheng-Chi University, Vol.73, pp.451-496., vol. 134316, Oct. 1996
1995 趙玉, 1995.12, 'Linear Algebra Based Verification of Well-Behaved Properties and PInvariants of Petri Nets Synthesized Using Knitting Technique, '., vol. 119083, Dec. 1995
1995 趙玉, 1995.12, 'Application Of Final Matrix To Data Flow Graph Scheduling Using Multiprocessors, '., vol. 119082, Dec. 1995
1994 趙玉, 1994.10, 'XPN-FMS:A Modeling And Simulation Software For FMS Using Petri Nets And X WINDOW, '., vol. 119081, Oct. 1994
1994 趙玉, 1994.08, 'An Interactive Tool for Design, Simulation, Verification, and Synthesis for Protocols, Software Practice and Experience, '., vol. 119079, Aug. 1994
1994 趙玉, 1994, 'An Interactive Tool for Design, Simulation, Verification, and Synthesis of Protocols, '., vol. 119092, 1994
1994 趙玉, 1994, 'A Synthesis Technique Of General Petri Nets, '., vol. 119076, 1994
1993 趙玉, 1993.09, 'Iteration Bounds of Single-rate Data Flow Graphs For Concurrent Processing, '., vol. 119078, Sep. 1993
1993 趙玉, 1993, 'Orthogonal States for Multi-Valued Hopfield Associative Memory, '., vol. 119100, 1993
1993 趙玉, 1993, 'Statistical Approach of Memory Capacity of Homogeneous Higher Order Hopfield Network, '., vol. 119099, 1993
1993 趙玉, 1993, 'Properties of Higher Order MultiValued Homogeneous Hopfield Network, '., vol. 119098, 1993
1993 趙玉;Zhou, M. C., 1993, 'Extending Knitting Technique to Petri Net Synthesis Of Automated Manufacturing Systems, '., vol. 119080, 1993
1993 趙玉;Wang, David, 1993, 'Convergence time And Memory Capacity of Homogeneous Fully Inter-connected Higher Order Hopfield Networks, '., vol. 119077, 1993
1993 趙玉;Chen, Y., 1993, 'Dependency Analysis-A composonal Technique for Building Large Petri Net, '., vol. 119075, 1993
1992 趙玉, 1992, 'On Threshold Functions and Multi Valued Networks, '., vol. 119095, 1992
1992 趙玉, 1992, 'A Reduction Algorithm of Petri Nets, '., vol. 119093, 1992
1989 趙玉;Ju, W. T., 1989, 'A Simple Table-Free Distributed Routing Algorithm for 802.6, '., vol. 119097, 1989
1989 趙玉;Ju, W. T., 1989, 'Analysis on Access Fairness and A Technique to Extend Distance for 802.6, '., vol. 119096, 1989
1989 趙玉, 1989, 'The Algorithm of A Synthesis technique for Concurrent Systems,IEEE Int., '., vol. 119094, 1989
1989 趙玉, 1989, 'A Theoretical Derivation of Log-Normal Distribution of TDDB, '., vol. 119074, 1989
1986 趙玉;Tsai, W. T., 1986, 'Synthesis of Two-Party Error Recoverable Protocols, '., vol. 119073, 1986
1986 趙玉;Ramamoorthy, C., 1986, 'A Petri Net Reduction Algorithm for Protocol Analysis, '., vol. 119072, 1986
趙玉;1. Liang Hong*, 06, '''Enumeration of Reachable States for Arbitrary Marked Graphs/IET CONTROL THEORY AND APPLICATIONS, ' IET CONTROL THEORY AND APPLICATIONS,.(SCI)(*為通訊作者), vol. 367997, Jul. 2025
趙玉, 'Minimum Marking for No Loop Combination of General Petri Nets, '., vol. 119146, Jul. 2025
趙玉, 'Performance of Multi-Rate Data Flow Graphs for Concurrent Processing, '., vol. 119091, Jul. 2025
趙玉, 'Conversion And Iteration Bound of Multi-Rate Data Flow Graphs, '., vol. 119090, Jul. 2025
趙玉, 'Synchronized Choice Ordinary Petri Nets And Its T-And P-components, '., vol. 119089, Jul. 2025
趙玉, 'The Structural Matri and Reduction Algorithm of Knitting Technique for Petri Nets, '., vol. 119088, Jul. 2025
趙玉, 'The Knitting Technique and Its Application to Communication Protocol Synthesis, '., vol. 119087, Jul. 2025
趙玉, 'Technique and Structural Matrix to Deadlock Analysis and Synthesis of Petri Nets With Sequential Exclusion, '., vol. 119086, Jul. 2025
趙玉, 'X-Window Implementation of An Algorithm To Synthesize Ordinary Petri Nets, '., vol. 119085, Jul. 2025
趙玉, 'Two Theoretical and Practical Aspects of Knitting technique-Invariants and A New Class of Petri Net, '., vol. 119084, Jul. 2025
Year Paper Title
2014 趙玉*;游宗憲, 2014.10, 'Enumeration of Reachable, Forbidden, Live States of Gen-Left K-net System (with a non-sharing resource place) of Petri Nets, ' 2014 IEEE Symposium Series on Computational Intelligence (IEEE SSCI 2014), IEEE Symposium Series on Computational Intelligence.(IEEE)(*為通訊作者), Oct. 2014
2014 趙玉*;游宗憲, 2014.09, 'Parameterized of Control Related States of Middle Left K-net System (with a nonsharing resource place) of Petri Nets, ' 2014 CACS International Automatic Control Conference, Chinese Automatic Control Society.(IEEE)(*為通訊作者), Sep. 2014
2014 Daniel Yuh Chao;Tsung Hsien Yu;Ding Chun Huang, 2014.05, 'Computation of Control Related States of Top Left K-net System of Petri Nets, ' PDPTA'14 - The 2014 International Conference on Parallel and Distributed Processing Techniques and Applications, American Council of Science and Education., May. 2014
2014 Daniel Yuh Chao;Tsung Hsien Yu*, 2014.05, 'Parameterized Control Related States of Gen-Left Kth Order S3PR System (with a leftt side non-sharing resource place) of Petri Nets, ' 12th IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS - INDIN 2014, ieee.(IEEE)(*為通訊作者), May. 2014
2014 趙玉*, 2014.05, 'Parameterized Control Related States of Gen-Left Kth Order S3PR System (with a leftt side non-sharing resource place) of Petri Nets, '.(*為通訊作者), May. 2014
2014 Daniel Yuh Chao*;Tsung Hsien Yu;Chia Chang Liou, 2014.04, '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., ' ICNSC14: 11th IEEE International Conference on Networking, Sensing and Control,.(IEEE)(*為通訊作者), Apr. 2014
2014 Daniel Yuh Chao*;Tsung Hsien Yu;Sou Chein Wu, 2014.04, 'Closed Form Formula Construction to Enumerate Control Related States of K-th Order S3PR System (with a Top Left side non-sharing resource place) of Petri Nets, ' 11th IEEE International Conference on Networking, Sensing and Control, IEEE Systems, Man, and Cybernetics Society.(IEEE)(*為通訊作者), Apr. 2014
2014 Daniel Yuh Chao*;Tsung Hsien Yu;Tsung Fu Lin, 2014.03, 'Closed Form Formula Construction to Enumerate Control Related States of Middle-Left K-th Order S3PR System of Petri Nets, ' The 2014 International Conference on Computational Science and Computational Intelligence (CSCI'14), American Council on Science & Education.(IEEE)(*為通訊作者), Mar. 2014
2013 Daniel Yuh Chao*;Tsung Hsien Yu, 2013.11, 'Enumeration of Reachable (forbidden, live, and deadlock) States of Top k-th Order System (with a non-sharing resource place) of Petri Nets, ' The 39th Annual Conference of the IEEE Industrial Electronics Society, IEEE Industrial Electronics Society.(IEEE)(*為通訊作者), Nov. 2013
2013 Daniel Yuh Chao*;Tsung-Hsien Yu, 2013.11, 'ENUMERATION OF REACHABLE, FORBIDDEN, LIVE AND DEADLOCK STATES OF K-TH ORDER SYSTEM (WITH A BOTTOM NON-SHARING RESOURCE PLACE) OF PETRI NETS, ' International Conference on Applied and Theoretical Information Systems Research.(*為通訊作者), Nov. 2013
2013 趙玉*;游宗憲, 2013.07, 'A Best Method to Synthesize Very Large K-th Order Systems without Reachability Analysis, ' The 2013 World Congress in Computer Science, Computer Engineering, and Applied Computing, Computer Science, Computer Engineering, and Applied Computing.(*為通訊作者), Jul. 2013
2013 趙玉*, 2013.07, 'A Best Method to Synthesize Very Large K-th Order Systems without Reachability Analysis, '.(*為通訊作者), Jul. 2013
2011 趙玉, 2011.06, 'Number of Reachable States for simple class of nets, ' 2011 1st workshop on Petri net compositions Satellite of PETRI NETS 2011, Universite d''Evry Val d''Essonne. CEUR., Jun. 2011
2011 Daniel Y. Chao;Jiun-Ting Chen;Mike Y.J. Lee*, 2011.05, 'Application of Sequence-Control to Deadlock Prevention for A Class of Flexible Manufacturing Systems, ' Conference on Management, Business and Information, 2011, China University of Technology, pp.594-611.(ISBN 978-986-6226-06-9)(*為通訊作者), May. 2011
2011 Daniel Y. Chao;Mike Y.J. Lee*, 2011.05, 'Some Theory for Disturbanceless Control of FMS, ' Conference on Management, Business and Information, 2011, China University of Technology, pp.580-593.(ISBN 978-986-6226-06-9)(*為通訊作者), May. 2011
2011 Daniel Y. Chao;Mike Y.J. Lee*, 2011.05, 'Revised Algorithm to Compute Elementary Siphons for Arbitrary S3PR, ' Conference on Management, Business and Information, 2011, China University of Technology, pp.575-579.(ISBN 978-986-6226-06-9)(*為通訊作者), May. 2011
2011 Daniel Y. Chao;Jiun-Ting Chen;Mike Y.J. Lee*, 2011.05, 'Application of Sequence-Control to Deadlock Prevention for A Class of Flexible Manufacturing Systems, ' Conference on Management, Business and Information, 2011, China University of Technology, pp.594-611.(ISBN 978-986-6226-06-9)(*為通訊作者), May. 2011
2011 Daniel Y. Chao;Mike Y.J. Lee*, 2011.05, 'Some Theory for Disturbanceless Control of FMS, ' Conference on Management, Business and Information, 2011, China University of Technology, pp.580-593.(ISBN 978-986-6226-06-9)(*為通訊作者), May. 2011
2011 Daniel Y. Chao;Mike Y.J. Lee*, 2011.05, 'Revised Algorithm to Compute Elementary Siphons for Arbitrary S3PR, ' Conference on Management, Business and Information, 2011, China University of Technology, pp.575-579.(ISBN 978-986-6226-06-9)(*為通訊作者), May. 2011
2011 Daniel Y. Chao;Mike Y.J. Lee*, 2011.05, 'Elimination of Weighted Arcs of A Deadlock Prevention Policy for Flexible Manufacturing Systems, ' Conference on Management, Business and Information, 2011, China University of Technology, pp.557-574.(ISBN 978-986-6226-06-9)(*為通訊作者), May. 2011
2010 趙玉*;Jiun-Ting Chen,;Kuo-Chiang Wu, 2010.11, 'Optimal Control Policy for A Well-Known S3PR, ' IECON 2010 : proceedings, 36th Annual Conference of the IEEE Industrial Electronics Society, Renaissance Glendale Hotel & Spa, Glendale, AZ, U.S.A. 07-10 November, 2010, IEEE7-10.(IEEE)(*為通訊作者), Nov. 2010
2009 趙玉, 2009.09, 'Controllability for Siphons in S3PGR2, ' ETFA09 - IEEE International Conference on Emerging Technology and Factory Automation, IEEE.(IEEE), Sep. 2009
2009 Yu-Ying Shih;Te-Chung Liu;Chui-Yu Chiu;趙玉, 2009.07, 'Exact Controllability for Dependent Siphons in S3PMR, ' Global Perspective for Competitive Enterprise, Economy and Ecology, nATIONAL tAIPEI uNIVERSITY OF tECHNOLOGY, pp.29-40., Jul. 2009
2009 趙玉, 2009.03, 'A Best Siphon-Based Control Model of A Well-Known S3PR, ' International Conference on Computers & Industrial Engineering (CIE39), University of Technology of Troyes.(EI), Mar. 2009
2009 Yu-Ying Shih*;D. Y. Chao;Chui-Yu Chiu, 2009.03, 'A New MIP Test for S3PGR2, ' Global Perspective for Competitive Enterprise, Economy and Ecology, National Taiwan Univ. of technology, pp.41-52.(EI)(*為通訊作者), Mar. 2009
2008 趙玉*, 2008.08, 'A Modification of Deadlock Prevention Policy of S3PR Based on Elementary Siphons/Workshop on Petri Nets and Agile Manufacturing, ' Workshop on Petri Nets and Agile Manufacturing, 西安电子科技大学.(IEEE)(*為通訊作者), Aug. 2008
2000 Jose A. Nicdao, 2000.12, 'Extened Synchronized Choice Nets, ' Algorithms and Theory of Computation, ICS2000., Dec. 2000
2000 Jose A. Nicdao, 2000, 'An Incremental Approach to Searching Minimal Siphons for Deadlock of Flexible Manufacturing Systems, ' SCI2000/ISAS, X., 2000
2000 趙玉;Jose A. Nicdao, 2000, 'DCOM for Workflow Analysis and Simulation Based On Petr Nets, ' Proc. AUTOMAUTION, x., 2000
2000 趙玉;Jose A. Nicdao, 2000, 'Theory of Second Order Structures for Synchronized Choice Ordinary Petri Nets, ' Proc. of the Fourth & firth World Conference on Integrated Design and Process Technology, .., 2000
2000 趙玉, 2000, 'An Incremental Approach to Searching Minimal Siphons for Deallock Analysis of Flexible Manufacturing Systems, ' SCI2000/ISAS, ISAS., 2000
2000 Jose A. Nicdao, 2000, 'An Integrated Algorithm for Verification of SNC and Liveness, ' SCI2000/ISAS, X., 2000
2000 趙玉, 2000, 'An Integrated Algorithm for verification of SNC and Liveness, ' SCI2000/ISAS, ISAS., 2000
1999 趙玉;Jau-Hung Tseng, 1999, 'Some Properties pf Synchronized Choice Ordinary Petri Nets, ' Invited Session paper,1999 IFAC, China., 1999
1999 趙玉, 1999, 'The Algorithm for Synchronized Choice Net Detection, ' Proceedings of 1999 Workshop on Distributed System Technologies & Application, Taiwan., 1999
1999 趙玉;Jose A. Nicdao;趙玉, 1999, 'Second Order Structures for Synchronized Choice Ordinary Petri Nets, ' the Third World Multiconference on Systemics Cyberbetics and Informatics and the Fifth International Conference on Information Systems Analysis and Synthesis, USA., 1999
1999 趙玉;Jose A. Nicdao;趙玉, 1999, 'The Algorithm for checking Liveness in synchronized Choice Net Detection, ' 1999 IEEE Int''l Conf.SMC.Japan, Japan., 1999
1997 趙玉, 1997.06, 'A CAD Tool for the Design of Protocol, Petri Nets, FMS and DSP, ' PNPM/97 Tool Presentation., Jun. 1997
1996 趙玉, 1996.10, 'A CAD Tool for Network Simulation Based on A Protocol Design CAD Tool, '., Oct. 1996
1996 趙玉, 1996.10, 'Final-Matrix Based and Fast Implementation of Recurrent DSP Scheduling, '., Oct. 1996
1996 趙玉, 1996.07, 'A CAD Tool for Synthesis of Flexible Manufacturing System, ' The Fourth International Conference on Automation Technology., Jul. 1996
1996 趙玉, 1996.05, 'Application of A Synthesis Algorithm to Flexible Manufacturing System, '., May. 1996
1996 趙玉, 1996.03, 'A Fast Implementation For Recurrent DSP Scheduling Using Final Matrix, ' The Second Workshop on Compiler Techniques for High Performance Computing., Mar. 1996
1995 趙玉;Wang, D. T., 1995, 'Bandwidth Algorithm for String Matching, ' Proc.1995 IEEE Int''l Conf SMC., 1995
1992 趙玉, 1992, 'Label Management Schemes for 802.6, ' 2nd ICSC 92''., 1992
1991 趙玉, 1991, 'Proof Of Some Higher Order Network Properties, ' ASME Press., 1991
1988 趙玉;Ramamoorthy, C., 1988, 'Rules for Cyclic Interactions in Designing Concurrent Systems Comsa 88'', '., 1988
趙玉, 'The Phase-Locked Loop Approach In Network Time Protocol(NTP), '., Jul. 2025
趙玉;Wang, 'Real-Time AI Application For Digital Signal Processing, ' Proc SICICI 92''., Jul. 2025
趙玉, 'Properties Of Generalized Higher Order Hopfield Networks, ' IJCNN 92''., Jul. 2025
趙玉, 'Searching for the Orthogonal States of a Neural Network, ' RNNS/IEEE Symp.., Jul. 2025
趙玉;Wang, 'Interface between LDL and Ingres, ' 92''Summer Computing Simulation Symposium., Jul. 2025
趙玉;Zhou, 'Design of Command and Control Systems Using Petri Nets and Object-oriented technology, ' International Conference on System, Man, and Cybernatics., Jul. 2025
趙玉, 'Knitting Technique and Structural Matrix for Deadlock Analysis and Synthesis of Petri Nets with Sequential Exclusion, ' International Conference on System,Man and Cybernatics., Jul. 2025
趙玉, 'Petri Net Synthesis and Synchronization Using Knitting Technique, ' International Conference on System, Man, and Cybernatics., Jul. 2025
趙玉, 'Enhanced Knitting technique to Petri Net Synthesis, ' International Conference on System, Man, and Cybernatics, San Antonio., Jul. 2025
趙玉, 'Knitting Technique with TP-PT Generations for Petri Net Synthesis, ' Proc.1995 IEEE Int''l Conf SMC,., Jul. 2025
趙玉, 'Synchronized Choice Ordinary Petri Net, ' PROC.1995 IEEE Int''l Conf SMC., Jul. 2025
趙玉, 'New Knitting technique for Large Petri Net Synthesis with Automatic Preservation of Liveness, Boundedness and reversibility, ' Proc. 1995 IEEE Int''l Conf SMC., Jul. 2025
趙玉, 'A Fast Implementation For Recurrent DSP Scheduling Using Final Matrix, ' The Second workshop on Compiler Techniques for High Performance Computing., Jul. 2025
趙玉, 'CAD Tool for Synthesis of Flexible Manufacturing System, ' The Fourth International Conference on Automation Technology., Jul. 2025
趙玉, 'A CAD Tool for Network Simulation Based on A Protocol Design CAD Tool, '., Jul. 2025
趙玉, 'Final-Matrix based And Fast Implementation Of Recurrent DSP Scheduling, '., Jul. 2025
趙玉, 'Synthesis and Performance Evaluation of Two-Party Error-Recoverable Protocols, ' COMSAC Symp., Jul. 2025
趙玉;Wang, 'The Use of View to Manipulate Object Subclass Hierarchy, ' 92'' Summer Computing Simulation Symposium., Jul. 2025
趙玉, 'Optimum Packet and Slot Sizes, and A New Scheme for Segmentation in 8026 Using Optical Fibers, ' ICS., Jul. 2025
趙玉;Ramamoorthy, C., 'A Synchronization Approach to Distributed Systems Design ICS 88'', ' ICS., Jul. 2025
趙玉;Ramamoorthy, C., 'Extensions on A Performance Evaluation technique for Decision-Free Petri Nets Comsac 88'', ' Nets Comsac 88''., Jul. 2025
趙玉;Wei, B., 'A Simple Explanation to A Synthesis Approach to Designing Distributed Systems, ' ISIT 88''., Jul. 2025
趙玉, 'Technique to Designing Concurrent Systems, ' Second Parallel Processing Symposium 88''., Jul. 2025
趙玉;Ju, W. T., 'Credit Management and Source Quenching for SNI in Switched-Multi-Megabit Systems, ' 1st System Integration Conference,90''., Jul. 2025
趙玉;Chen, 'A synthesis approach to developing large Petri nets, ' PROCEEDINGS 1990 Int''l Conf. on Parallel Processing., Jul. 2025
趙玉, 'Pseudo-Inverse with Increasing Threshold: An Error-Recovery Pattern Recognition Algorithm, ' RNNS/IEEE Symp.., Jul. 2025
趙玉, 'Combined Orthogonal Vector and Pseudo-Inverse Approach for Robust Pattern Recognition, ' RNNS/IEEE Symp., Jul. 2025
趙玉, 'Enhancement of Memory Capacity of Neural Networks, ' Proc.1992 IEEE Int''l Conf. Intelligent Robotics Systems., Jul. 2025
趙玉, 'Properties Of Multi-Valued Hopfield Networks, ' IJCNN 92''., Jul. 2025
趙玉, 'Theory, Parallelization and Scheduling of Critical Loops, Subcritical loops, and Next- Critical loops, ' ICS92''., Jul. 2025
趙玉, 'An X-Window Implementation of Finding Critical Loops, Next-Critical loops,Subcritical loops and Iteration Bounds for Data Flow Diagrams, ' MASCOT93''., Jul. 2025
趙玉, 'Performance Evaluation Using Data Flow Diagrams For Concurrent Processing, ' SMC 92''., Jul. 2025
趙玉, 'X Window Implementation Of Petri Net Based Animation For FMS, ' SMC 92''., Jul. 2025
趙玉;Zhou, M. C., 'Extending Knitting Technique to Petri Net Synthesis Of Automated Manufacturing Systems, ' Rensselaer''s 3rd. Int''l Conf.Comp.intgrtd. Manuf.92''., Jul. 2025
趙玉, 'Petri Net Synthesis and Synchronization Using Knitting Technique, '., Jul. 2025
趙玉, 'The Knitting technique and Its Application to communication Protocol Synthesis, ' Durham., Jul. 2025
趙玉, 'WAC''96, ' ISRAM Symposium., Jul. 2025
趙玉, 'A CAD Tool For Synthesis of Flexible Manufacturing System, ' 4th International Conference on Automation technology., Jul. 2025
趙玉;Zhou, M. C., 'Multiple-weighted marked graphs, ' 12th World IFAC Congress.., Jul. 2025
趙玉, 'Knitting Technique Using TP-PT Generations For Petri Net Synthesis, ' IEEE Trans. SMC., Jul. 2025
趙玉, 'Enhanced Knitting technique to Petri Net Synthesis and Application to Flexible Manufacturing System Cell Preserving Well-Behaved Properties, '., Jul. 2025
Year Book Title
2013 Daniel Yuh Chao*, 2013.05, 'A Critical-siphon Approach to Fastest Deadlock Controller for S3PR, ' Formal Methods in Manufacturing Systems: Recent Advances, IGI Global, pp.269-295.(*為通訊作者), 378527, May. 2013
2001 趙玉, 2001, 'A Computer Aided Design Technique for flexible Manufacturing Systems Synthesis utilizing Petri Nets, ' Conputer-Aided Design engineering, and Manufacturing :Techniques and Applications Volume 3 Operational Methods in Computer Aided Design, CRC Press., 148253, 2001
Year Research Title Publish Date Authors
2000 趙玉, 2000, 'An Incremental Approach to Searching Minamal Siphons and Deadlock Analysis of Flexible Manufacturing Systems, ' 國科會.
1996 趙玉, 1996, '數值流程圖之最佳處理器分配理論及電腦理論軟件發展, ' 國科會.
趙玉, 'An Assembler for Visual COM Component and Automaticb Generator for Code and Document, ' X. 2025-07-01
趙玉, 'Theory nad Implementatoin for Guidance of Workflow CAD Tool, ' x. 2025-07-01
趙玉, 'A CAD Tool and Extend Theory for Synchronized Choice Ordinary Petri Nets, ' 國科會. 2025-07-01
趙玉, '數值流程圖之最佳處理器分配理論及電腦輔助軟體發展, ' 國科會. 2025-07-01
Country School Name Department Degree Duration
UNITED STATES 美國加州柏克萊大學 EECS (aelectrical eng. and Computer Science) 博士 1983.01 ~ 1987.06
UNITED STATES 美國加州大學洛杉磯分校 電機工程(學)系 碩士 1980.04 ~ 1981.06
TAIWAN, REPUBLIC OF CHINA 國立臺灣大學 機械工程(學)系 學士 1972.09 ~ 1976.06
Experience Category Organization Title Department Job Title Duration
Current NATIONAL CHENGCHI UNIVERSITY Department of Management Information System 教授 2014.08 ~ 2015.08
Current NATIONAL CHENGCHI UNIVERSITY Department of Management Information System 教授 2013.01 ~ 2014.02
Current NATIONAL CHENGCHI UNIVERSITY Department of Management Information System 教授 2012.08 ~ 2013.01
Current NATIONAL CHENGCHI UNIVERSITY Department of Management Information System 教授 2008.02 ~ 2012.02
Current NATIONAL CHENGCHI UNIVERSITY Department of Management Information System 教授 2004.08 ~ 2007.08
Current NATIONAL CHENGCHI UNIVERSITY Department of Management Information System 教授 1997.02 ~ 2004.02
Current NATIONAL CHENGCHI UNIVERSITY Department of Management Information System 副教授 1994.08 ~ 1997.02
Honor Category Year Award Name Awarding Unit
Inside School 97 特聘教授 政治大學