師資陣容

趙玉

趙玉

教授

資訊管理學系

  • 電話
    29387694
  • 分機
    29393091 #81247
  • E-Mail
    yaw@mis.nccu.edu.tw
  • 研究專長
    自動工廠及數值流程圖之排程、派翠網路

學歷

個人著作

  • Daniel Yuh Chao*, 2014.12, 'Controllability of Weakly Dependent Siphons under Elementary-Siphon Control, ' Transactions of the Institute of Measurement and Control,.(SCI)(*為通訊作者)(本論著未刊登但已被接受)
  • 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)(*為通訊作者)(本論著未刊登但已被接受)
  • 趙玉*, 2014.11, 'Further Reduction of Minimal First-Met Bad Markings (FBM) for A Fast Maximally Permissive Controller Synthesizer, ' International Journal of Control,.(SCI)(*為通訊作者)(本論著未刊登但已被接受)
  • 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)(*為通訊作者)(本論著未刊登但已被接受)
  • Danieel Yuh Chao*, 2014.07, 'Improvement on 'Structure of Weakly 2-Dependent Siphons', ' Internatio​nal Journal of Control,.(SCI)(*為通訊作者)(本論著未刊登但已被接受)
  • 趙玉*, 2014.07, 'Revision on ”Maximally permissive deadlock prevention via an Invariant Controlled Method”, ' International Journal of Production Research, pp.0.(SCI)(*為通訊作者)(本論著未刊登但已被接受)
  • 趙玉*, 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)(*為通訊作者)(本論著未刊登但已被接受)
  • 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)(*為通訊作者)(本論著未刊登但已被接受)
  • 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)(*為通訊作者)(本論著未刊登但已被接受)
  • 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)(*為通訊作者)
  • 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)(*為通訊作者)
  • 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)
  • 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)(*為通訊作者)
  • 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,.(*為通訊作者)
  • 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)(*為通訊作者)
  • 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)(*為通訊作者)
  • 趙玉*, 2013.04, 'On the Lower Bounds of Monitor Solutions of Maximally Permis-, ' International Journal of Systems Science,.(SCI)(*為通訊作者)
  • 趙玉*, 2013.03, 'Uniform Formulas for Compound Siphons, Complementary Siphons and Characteristic Vectors in Deadlock Prevention of Flexible Manufacturing Systems, '.(*為通訊作者)
  • 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)(*為通訊作者)(本論著未刊登但已被接受)
  • 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)(*為通訊作者)
  • 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)(*為通訊作者)(本論著未刊登但已被接受)
  • 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)(*為通訊作者)
  • 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)(*為通訊作者)
  • 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)(*為通訊作者)
  • 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)(*為通訊作者)
  • 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)(*為通訊作者)(本論著未刊登但已被接受)
  • 趙玉, 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)
  • 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)
  • 趙玉*;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,,.(*為通訊作者)(本論著未刊登但已被接受)
  • 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)(*為通訊作者)
  • 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.(*為通訊作者)
  • 趙玉, 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)
  • 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)(*為通訊作者)
  • 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)(*為通訊作者)
  • 趙玉, 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)
  • 趙玉*;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)(*為通訊作者)
  • 趙玉, 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)
  • 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)(*為通訊作者)(本論著未刊登但已被接受)
  • 趙玉, 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)
  • 趙玉, 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)
  • 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)(*為通訊作者)
  • 趙玉, 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)
  • 趙玉, 2010.01, 'Technical Note - Reaching More States for Control of FMS, ' International Journal of Production Research, Vol.48, No.4, pp.1217-1220.(SCI)
  • 趙玉, 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)
  • 趙玉, 2009.11, 'Direct Minimal Empty Siphon Computation Using MIP, ' Int J Adv Manuf Technol, Vol.45, No.3, pp.397-405.(SCI)
  • 趙玉, 2009.07, 'Unfolding of Multirate Data-Flow Graph to Compute Iteration Bound, ' Lecture Notes in Computer Science, Vol.5574, pp.460-465.(EI)
  • 趙玉, 2009.07, 'ERRATUM:Revised dependent siphons, ' Int J Adv Manuf Technol,, Vol.43, No.1, pp.189-190.(SCI)
  • 趙玉, 2009.06, 'AMS: V-Nets or NV-Nets?, ' IET Control Theory & Applications, Vol.3, No.6, pp.671 - 680.(SCI)
  • 趙玉*;Zhiwu Li, 2009.04, 'Conditions of S3PR With No Weakly Dependent Siphons, ' Control Theory & Applications, IET, Vol.3, No.4, pp.391 - 403.(SCI)(*為通訊作者)
  • 趙玉, 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)
  • 趙玉, 2009.04, 'Revised Dependent Siphons, ' Int J Adv Manuf Technol ., Vol.43, No.1, pp.1152-1168.(SCI)
  • 趙玉, 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)
  • 趙玉, 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)
  • 趙玉, 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)
  • 趙玉, 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)
  • 趙玉*, 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)(*為通訊作者)
  • 趙玉*, 2007.07, 'Max’-Controlled Siphons for Liveness of S3PGR2, ' IEE Proceedings Control Theory & Applications, Vol.1, No.4, pp.933-936.(SCI)(*為通訊作者)
  • 趙玉, 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)
  • 趙玉, 2007.02, 'Virtual First-Order Structure, ' Journal of Information Science and Engineering,, Vol.23, No.2, pp.371-385.(SCI)
  • 趙玉*, 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)(*為通訊作者)
  • 趙玉*, 2007.02, 'Deadlock Control of S3PGR2 Based on Max*-Controlled and Elementary Siphons/IEE Proceedings Control Theory & Applications, ' IEE Proceedings Control Theory & Applications,.(SCI)(*為通訊作者)(本論著未刊登但已被接受)
  • 趙玉, 2007.01, 'An Incremental Approach to Extracting Minimal Bad Siphons, ' Journal of Information Science and Engineeri, Vol.23, No.1, pp.203-214.(SCI)
  • 趙玉*, 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)(*為通訊作者)
  • 趙玉, 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)
  • 趙玉*, 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)(*為通訊作者)
  • 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)
  • 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)
  • 趙玉;Jose A. Nicdao, 2004, 'Extended Synchronized choice Ordinary Petri Nets, ' Computer Journal, Vol.46, No.5, pp. 505-523.(SCIE, SCI)
  • 趙玉;Jose A. Nicdao, 2001, 'Liveness for Synchronized Choice Petri Nets, ' Computer Journal, Vol.44, No.1, pp.124-136.(SCIE)
  • 趙玉, 2000, 'A Fast Implementation For Recurrent DSP Schduling Using final Matrix, ' Journal of Information Science and Engineering, Vol.16, No.3, pp.391-421.
  • 趙玉, 1999, 'Petri Net Synthesis and Synchronization Using Kitting Technique, ' Journal of Information Science and Engineering, Vol.15, No.4, pp.543-568.
  • 趙玉, 1997.03, 'Performance of Multi-Rate Data Flow Graphs for Concurrent Processing, ' Journal of Imformation Science and Engineering, Vol.13, pp.85-123.
  • 趙玉, 1996.10, 'X-Window Implementation of an Algorithm to Synthesize Ordinary Petri Nets, ' Journal of National Cheng-Chi University, Vol.73, pp.451-496.
  • 趙玉, 1995.12, 'Application Of Final Matrix To Data Flow Graph Scheduling Using Multiprocessors, '.
  • 趙玉, 1995.12, 'Linear Algebra Based Verification of Well-Behaved Properties and PInvariants of Petri Nets Synthesized Using Knitting Technique, '.
  • 趙玉, 1994.10, 'XPN-FMS:A Modeling And Simulation Software For FMS Using Petri Nets And X WINDOW, '.
  • 趙玉, 1994.08, 'An Interactive Tool for Design, Simulation, Verification, and Synthesis for Protocols, Software Practice and Experience, '.
  • 趙玉, 1994, 'A Synthesis Technique Of General Petri Nets, '.
  • 趙玉, 1994, 'An Interactive Tool for Design, Simulation, Verification, and Synthesis of Protocols, '.
  • 趙玉, 1993.09, 'Iteration Bounds of Single-rate Data Flow Graphs For Concurrent Processing, '.
  • 趙玉, 1993, 'Properties of Higher Order MultiValued Homogeneous Hopfield Network, '.
  • 趙玉, 1993, 'Statistical Approach of Memory Capacity of Homogeneous Higher Order Hopfield Network, '.
  • 趙玉, 1993, 'Orthogonal States for Multi-Valued Hopfield Associative Memory, '.
  • 趙玉;Wang, David, 1993, 'Convergence time And Memory Capacity of Homogeneous Fully Inter-connected Higher Order Hopfield Networks, '.
  • 趙玉;Zhou, M. C., 1993, 'Extending Knitting Technique to Petri Net Synthesis Of Automated Manufacturing Systems, '.
  • 趙玉;Chen, Y., 1993, 'Dependency Analysis-A composonal Technique for Building Large Petri Net, '.
  • 趙玉, 1992, 'A Reduction Algorithm of Petri Nets, '.
  • 趙玉, 1992, 'On Threshold Functions and Multi Valued Networks, '.
  • 趙玉;Ju, W. T., 1989, 'Analysis on Access Fairness and A Technique to Extend Distance for 802.6, '.
  • 趙玉;Ju, W. T., 1989, 'A Simple Table-Free Distributed Routing Algorithm for 802.6, '.
  • 趙玉, 1989, 'The Algorithm of A Synthesis technique for Concurrent Systems,IEEE Int., '.
  • 趙玉, 1989, 'A Theoretical Derivation of Log-Normal Distribution of TDDB, '.
  • 趙玉;Ramamoorthy, C., 1986, 'A Petri Net Reduction Algorithm for Protocol Analysis, '.
  • 趙玉;Tsai, W. T., 1986, 'Synthesis of Two-Party Error Recoverable Protocols, '.
  • 趙玉, 'Two Theoretical and Practical Aspects of Knitting technique-Invariants and A New Class of Petri Net, '.
  • 趙玉, 'X-Window Implementation of An Algorithm To Synthesize Ordinary Petri Nets, '.
  • 趙玉, 'Technique and Structural Matrix to Deadlock Analysis and Synthesis of Petri Nets With Sequential Exclusion, '.
  • 趙玉, 'The Knitting Technique and Its Application to Communication Protocol Synthesis, '.
  • 趙玉, 'The Structural Matri and Reduction Algorithm of Knitting Technique for Petri Nets, '.
  • 趙玉, 'Synchronized Choice Ordinary Petri Nets And Its T-And P-components, '.
  • 趙玉, 'Conversion And Iteration Bound of Multi-Rate Data Flow Graphs, '.
  • 趙玉, 'Performance of Multi-Rate Data Flow Graphs for Concurrent Processing, '.
  • 趙玉, 'Minimum Marking for No Loop Combination of General Petri Nets, '.
  • 趙玉;1. Liang Hong*, 06, '''Enumeration of Reachable States for Arbitrary Marked Graphs/IET CONTROL THEORY AND APPLICATIONS, ' IET CONTROL THEORY AND APPLICATIONS,.(SCI)(*為通訊作者)
  • 趙玉*;游宗憲, 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)(*為通訊作者)(本論著未刊登但已被接受)
  • 趙玉*;游宗憲, 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)(*為通訊作者)(本論著未刊登但已被接受)
  • 趙玉*, 2014.05, 'Parameterized Control Related States of Gen-Left Kth Order S3PR System (with a leftt side non-sharing resource place) of Petri Nets, '.(*為通訊作者)
  • 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)(*為通訊作者)(本論著未刊登但已被接受)
  • 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.
  • 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)(*為通訊作者)
  • 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)(*為通訊作者)
  • 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)(*為通訊作者)
  • 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.(*為通訊作者)
  • 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)(*為通訊作者)
  • 趙玉*, 2013.07, 'A Best Method to Synthesize Very Large K-th Order Systems without Reachability Analysis, '.(*為通訊作者)
  • 趙玉*;游宗憲, 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.(*為通訊作者)
  • 趙玉, 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.
  • 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)(*為通訊作者)
  • 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)(*為通訊作者)
  • 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)(*為通訊作者)
  • 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)(*為通訊作者)
  • 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)(*為通訊作者)
  • 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)(*為通訊作者)
  • 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)(*為通訊作者)
  • 趙玉*;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)(*為通訊作者)
  • 趙玉, 2009.09, 'Controllability for Siphons in S3PGR2, ' ETFA09 - IEEE International Conference on Emerging Technology and Factory Automation, IEEE.(IEEE)
  • 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.
  • 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)(*為通訊作者)
  • 趙玉, 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)(本論著未刊登但已被接受)
  • 趙玉*, 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)(*為通訊作者)
  • Jose A. Nicdao, 2000.12, 'Extened Synchronized Choice Nets, ' Algorithms and Theory of Computation, ICS2000.
  • Jose A. Nicdao, 2000, 'An Integrated Algorithm for Verification of SNC and Liveness, ' SCI2000/ISAS, X.
  • Jose A. Nicdao, 2000, 'An Incremental Approach to Searching Minimal Siphons for Deadlock of Flexible Manufacturing Systems, ' SCI2000/ISAS, X.
  • 趙玉, 2000, 'An Integrated Algorithm for verification of SNC and Liveness, ' SCI2000/ISAS, ISAS.
  • 趙玉, 2000, 'An Incremental Approach to Searching Minimal Siphons for Deallock Analysis of Flexible Manufacturing Systems, ' SCI2000/ISAS, ISAS.
  • 趙玉;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, ..
  • 趙玉;Jose A. Nicdao, 2000, 'DCOM for Workflow Analysis and Simulation Based On Petr Nets, ' Proc. AUTOMAUTION, x.
  • 趙玉;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.
  • 趙玉;Jose A. Nicdao;趙玉, 1999, 'The Algorithm for checking Liveness in synchronized Choice Net Detection, ' 1999 IEEE Int''l Conf.SMC.Japan, Japan.
  • 趙玉, 1999, 'The Algorithm for Synchronized Choice Net Detection, ' Proceedings of 1999 Workshop on Distributed System Technologies & Application, Taiwan.
  • 趙玉;Jau-Hung Tseng, 1999, 'Some Properties pf Synchronized Choice Ordinary Petri Nets, ' Invited Session paper,1999 IFAC, China.
  • 趙玉, 1996.10, 'A CAD Tool for Network Simulation Based on A Protocol Design CAD Tool, '.
  • 趙玉, 1996.10, 'Final-Matrix Based and Fast Implementation of Recurrent DSP Scheduling, '.
  • 趙玉, 1996.07, 'A CAD Tool for Synthesis of Flexible Manufacturing System, ' The Fourth International Conference on Automation Technology.
  • 趙玉, 1996.05, 'Application of A Synthesis Algorithm to Flexible Manufacturing System, '.
  • 趙玉, 1996.03, 'A Fast Implementation For Recurrent DSP Scheduling Using Final Matrix, ' The Second Workshop on Compiler Techniques for High Performance Computing.
  • 趙玉;Wang, D. T., 1995, 'Bandwidth Algorithm for String Matching, ' Proc.1995 IEEE Int''l Conf SMC.
  • 趙玉, 1992, 'Label Management Schemes for 802.6, ' 2nd ICSC 92''.
  • 趙玉, 1991, 'Proof Of Some Higher Order Network Properties, ' ASME Press.
  • 趙玉;Ramamoorthy, C., 1988, 'Rules for Cyclic Interactions in Designing Concurrent Systems Comsa 88'', '.
  • 趙玉;Ramamoorthy, C., 'A Synchronization Approach to Distributed Systems Design ICS 88'', ' ICS.
  • 趙玉, 'Optimum Packet and Slot Sizes, and A New Scheme for Segmentation in 8026 Using Optical Fibers, ' ICS.
  • 趙玉;Wang, 'The Use of View to Manipulate Object Subclass Hierarchy, ' 92'' Summer Computing Simulation Symposium.
  • 趙玉, 'Synthesis and Performance Evaluation of Two-Party Error-Recoverable Protocols, ' COMSAC Symp.
  • 趙玉, 'Final-Matrix based And Fast Implementation Of Recurrent DSP Scheduling, '.
  • 趙玉, 'A CAD Tool for Network Simulation Based on A Protocol Design CAD Tool, '.
  • 趙玉, 'CAD Tool for Synthesis of Flexible Manufacturing System, ' The Fourth International Conference on Automation Technology.
  • 趙玉, 'A Fast Implementation For Recurrent DSP Scheduling Using Final Matrix, ' The Second workshop on Compiler Techniques for High Performance Computing.
  • 趙玉, 'New Knitting technique for Large Petri Net Synthesis with Automatic Preservation of Liveness, Boundedness and reversibility, ' Proc. 1995 IEEE Int''l Conf SMC.
  • 趙玉, 'Synchronized Choice Ordinary Petri Net, ' PROC.1995 IEEE Int''l Conf SMC.
  • 趙玉, 'Knitting Technique with TP-PT Generations for Petri Net Synthesis, ' Proc.1995 IEEE Int''l Conf SMC,.
  • 趙玉, 'Enhanced Knitting technique to Petri Net Synthesis, ' International Conference on System, Man, and Cybernatics, San Antonio.
  • 趙玉, 'Petri Net Synthesis and Synchronization Using Knitting Technique, ' International Conference on System, Man, and Cybernatics.
  • 趙玉, 'Knitting Technique and Structural Matrix for Deadlock Analysis and Synthesis of Petri Nets with Sequential Exclusion, ' International Conference on System,Man and Cybernatics.
  • 趙玉;Zhou, 'Design of Command and Control Systems Using Petri Nets and Object-oriented technology, ' International Conference on System, Man, and Cybernatics.
  • 趙玉;Wang, 'Interface between LDL and Ingres, ' 92''Summer Computing Simulation Symposium.
  • 趙玉, 'Searching for the Orthogonal States of a Neural Network,, ' RNNS/IEEE Symp..
  • 趙玉, 'Properties Of Generalized Higher Order Hopfield Networks, ' IJCNN 92''.
  • 趙玉;Wang, 'Real-Time AI Application For Digital Signal Processing, ' Proc SICICI 92''.
  • 趙玉, 'The Phase-Locked Loop Approach In Network Time Protocol(NTP), '.
  • 趙玉, 'Enhancement of Memory Capacity of Neural Networks, ' Proc.1992 IEEE Int''l Conf. Intelligent Robotics Systems.
  • 趙玉, 'Combined Orthogonal Vector and Pseudo-Inverse Approach for Robust Pattern Recognition, ' RNNS/IEEE Symp.
  • 趙玉, 'Pseudo-Inverse with Increasing Threshold: An Error-Recovery Pattern Recognition Algorithm, ' RNNS/IEEE Symp..
  • 趙玉;Chen, 'A synthesis approach to developing large Petri nets,,, ' PROCEEDINGS 1990 Int''l Conf. on Parallel Processing.
  • 趙玉;Ju, W. T., 'Credit Management and Source Quenching for SNI in Switched-Multi-Megabit Systems, ' 1st System Integration Conference,90''.
  • 趙玉, 'Technique to Designing Concurrent Systems, ' Second Parallel Processing Symposium 88''.
  • 趙玉;Wei, B., 'A Simple Explanation to A Synthesis Approach to Designing Distributed Systems, ' ISIT 88''.
  • 趙玉;Ramamoorthy, C., 'Extensions on A Performance Evaluation technique for Decision-Free Petri Nets Comsac 88'', ' Nets Comsac 88''.
  • 趙玉;Zhou, M. C., 'Extending Knitting Technique to Petri Net Synthesis Of Automated Manufacturing Systems, ' Rensselaer''s 3rd. Int''l Conf.Comp.intgrtd. Manuf.92''.
  • 趙玉, 'X Window Implementation Of Petri Net Based Animation For FMS, ' SMC 92''.
  • 趙玉, 'Performance Evaluation Using Data Flow Diagrams For Concurrent Processing, ' SMC 92''.
  • 趙玉, 'An X-Window Implementation of Finding Critical Loops, Next-Critical loops,Subcritical loops and Iteration Bounds for Data Flow Diagrams, ' MASCOT93''.
  • 趙玉, 'Theory, Parallelization and Scheduling of Critical Loops, Subcritical loops, and Next- Critical loops, ' ICS92''.
  • 趙玉, 'Properties Of Multi-Valued Hopfield Networks, ' IJCNN 92''.
  • 趙玉, 'Enhanced Knitting technique to Petri Net Synthesis and Application to Flexible Manufacturing System Cell Preserving Well-Behaved Properties, '.
  • 趙玉, 'Knitting Technique Using TP-PT Generations For Petri Net Synthesis, ' IEEE Trans. SMC.
  • 趙玉;Zhou, M. C., 'Multiple-weighted marked graphs, ' 12th World IFAC Congress..
  • 趙玉, 'A CAD Tool For Synthesis of Flexible Manufacturing System, ' 4th International Conference on Automation technology.
  • 趙玉, 'WAC''96, ' ISRAM Symposium.
  • 趙玉, 'The Knitting technique and Its Application to communication Protocol Synthesis, ' Durham.
  • 趙玉, 'Petri Net Synthesis and Synchronization Using Knitting Technique, '.
  • 趙玉, 2000, 'An Incremental Approach to Searching Minamal Siphons and Deadlock Analysis of Flexible Manufacturing Systems, ' 國科會.
  • 趙玉, 'A CAD Tool and Extend Theory for Synchronized Choice Ordinary Petri Nets, ' 國科會.
  • 趙玉, 'Theory nad Implementatoin for Guidance of Workflow CAD Tool, ' x.
  • 趙玉, 'An Assembler for Visual COM Component and Automaticb Generator for Code and Document, ' X.
  • 趙玉, '數值流程圖之最佳處理器分配理論及電腦輔助軟體發展, ' 國科會.
  • 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.(*為通訊作者)
  • 趙玉, 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.

研究計畫

N/A
N/A