赵玉
姓名 赵玉
研究专长 自动工厂及数值流程图之排程、派翠网络
授课领域 自动工厂及数值流程图之排程、派翠网络
职称 教授
年度 论文名称
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, 'A Synthesis Technique Of General Petri Nets, '., vol. 119076, 1994
1994 赵玉, 1994, 'An Interactive Tool for Design, Simulation, Verification, and Synthesis of Protocols, '., vol. 119092, 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 赵玉;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
1993 赵玉;Zhou, M. C., 1993, 'Extending Knitting Technique to Petri Net Synthesis Of Automated Manufacturing Systems, '., vol. 119080, 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, Dec. 2024
赵玉, 'Minimum Marking for No Loop Combination of General Petri Nets, '., vol. 119146, Dec. 2024
赵玉, 'Performance of Multi-Rate Data Flow Graphs for Concurrent Processing, '., vol. 119091, Dec. 2024
赵玉, 'Conversion And Iteration Bound of Multi-Rate Data Flow Graphs, '., vol. 119090, Dec. 2024
赵玉, 'Synchronized Choice Ordinary Petri Nets And Its T-And P-components, '., vol. 119089, Dec. 2024
赵玉, 'The Structural Matri and Reduction Algorithm of Knitting Technique for Petri Nets, '., vol. 119088, Dec. 2024
赵玉, 'The Knitting Technique and Its Application to Communication Protocol Synthesis, '., vol. 119087, Dec. 2024
赵玉, 'Technique and Structural Matrix to Deadlock Analysis and Synthesis of Petri Nets With Sequential Exclusion, '., vol. 119086, Dec. 2024
赵玉, 'X-Window Implementation of An Algorithm To Synthesize Ordinary Petri Nets, '., vol. 119085, Dec. 2024
赵玉, 'Two Theoretical and Practical Aspects of Knitting technique-Invariants and A New Class of Petri Net, '., vol. 119084, Dec. 2024
年度 论文名称
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), '., Dec. 2024
赵玉;Wang, 'Real-Time AI Application For Digital Signal Processing, ' Proc SICICI 92''., Dec. 2024
赵玉, 'Properties Of Generalized Higher Order Hopfield Networks, ' IJCNN 92''., Dec. 2024
赵玉, 'Searching for the Orthogonal States of a Neural Network, ' RNNS/IEEE Symp.., Dec. 2024
赵玉;Wang, 'Interface between LDL and Ingres, ' 92''Summer Computing Simulation Symposium., Dec. 2024
赵玉;Zhou, 'Design of Command and Control Systems Using Petri Nets and Object-oriented technology, ' International Conference on System, Man, and Cybernatics., Dec. 2024
赵玉, 'Knitting Technique and Structural Matrix for Deadlock Analysis and Synthesis of Petri Nets with Sequential Exclusion, ' International Conference on System,Man and Cybernatics., Dec. 2024
赵玉, 'Petri Net Synthesis and Synchronization Using Knitting Technique, '., Dec. 2024
赵玉, 'The Knitting technique and Its Application to communication Protocol Synthesis, ' Durham., Dec. 2024
赵玉, 'WAC''96, ' ISRAM Symposium., Dec. 2024
赵玉, 'A CAD Tool For Synthesis of Flexible Manufacturing System, ' 4th International Conference on Automation technology., Dec. 2024
赵玉;Zhou, M. C., 'Multiple-weighted marked graphs, ' 12th World IFAC Congress.., Dec. 2024
赵玉, 'Knitting Technique Using TP-PT Generations For Petri Net Synthesis, ' IEEE Trans. SMC., Dec. 2024
赵玉, 'Enhanced Knitting technique to Petri Net Synthesis and Application to Flexible Manufacturing System Cell Preserving Well-Behaved Properties, '., Dec. 2024
赵玉, 'Petri Net Synthesis and Synchronization Using Knitting Technique, ' International Conference on System, Man, and Cybernatics., Dec. 2024
赵玉, 'Enhanced Knitting technique to Petri Net Synthesis, ' International Conference on System, Man, and Cybernatics, San Antonio., Dec. 2024
赵玉, 'Knitting Technique with TP-PT Generations for Petri Net Synthesis, ' Proc.1995 IEEE Int''l Conf SMC,., Dec. 2024
赵玉, 'Synchronized Choice Ordinary Petri Net, ' PROC.1995 IEEE Int''l Conf SMC., Dec. 2024
赵玉, 'New Knitting technique for Large Petri Net Synthesis with Automatic Preservation of Liveness, Boundedness and reversibility, ' Proc. 1995 IEEE Int''l Conf SMC., Dec. 2024
赵玉, 'A Fast Implementation For Recurrent DSP Scheduling Using Final Matrix, ' The Second workshop on Compiler Techniques for High Performance Computing., Dec. 2024
赵玉, 'CAD Tool for Synthesis of Flexible Manufacturing System, ' The Fourth International Conference on Automation Technology., Dec. 2024
赵玉, 'A CAD Tool for Network Simulation Based on A Protocol Design CAD Tool, '., Dec. 2024
赵玉, 'Final-Matrix based And Fast Implementation Of Recurrent DSP Scheduling, '., Dec. 2024
赵玉, 'Synthesis and Performance Evaluation of Two-Party Error-Recoverable Protocols, ' COMSAC Symp., Dec. 2024
赵玉;Wang, 'The Use of View to Manipulate Object Subclass Hierarchy, ' 92'' Summer Computing Simulation Symposium., Dec. 2024
赵玉, 'Optimum Packet and Slot Sizes, and A New Scheme for Segmentation in 8026 Using Optical Fibers, ' ICS., Dec. 2024
赵玉;Ramamoorthy, C., 'A Synchronization Approach to Distributed Systems Design ICS 88'', ' ICS., Dec. 2024
赵玉;Ramamoorthy, C., 'Extensions on A Performance Evaluation technique for Decision-Free Petri Nets Comsac 88'', ' Nets Comsac 88''., Dec. 2024
赵玉;Wei, B., 'A Simple Explanation to A Synthesis Approach to Designing Distributed Systems, ' ISIT 88''., Dec. 2024
赵玉, 'Technique to Designing Concurrent Systems, ' Second Parallel Processing Symposium 88''., Dec. 2024
赵玉;Ju, W. T., 'Credit Management and Source Quenching for SNI in Switched-Multi-Megabit Systems, ' 1st System Integration Conference,90''., Dec. 2024
赵玉;Chen, 'A synthesis approach to developing large Petri nets, ' PROCEEDINGS 1990 Int''l Conf. on Parallel Processing., Dec. 2024
赵玉, 'Pseudo-Inverse with Increasing Threshold: An Error-Recovery Pattern Recognition Algorithm, ' RNNS/IEEE Symp.., Dec. 2024
赵玉, 'Combined Orthogonal Vector and Pseudo-Inverse Approach for Robust Pattern Recognition, ' RNNS/IEEE Symp., Dec. 2024
赵玉, 'Enhancement of Memory Capacity of Neural Networks, ' Proc.1992 IEEE Int''l Conf. Intelligent Robotics Systems., Dec. 2024
赵玉, 'Properties Of Multi-Valued Hopfield Networks, ' IJCNN 92''., Dec. 2024
赵玉, 'Theory, Parallelization and Scheduling of Critical Loops, Subcritical loops, and Next- Critical loops, ' ICS92''., Dec. 2024
赵玉, 'An X-Window Implementation of Finding Critical Loops, Next-Critical loops,Subcritical loops and Iteration Bounds for Data Flow Diagrams, ' MASCOT93''., Dec. 2024
赵玉, 'Performance Evaluation Using Data Flow Diagrams For Concurrent Processing, ' SMC 92''., Dec. 2024
赵玉, 'X Window Implementation Of Petri Net Based Animation For FMS, ' SMC 92''., Dec. 2024
赵玉;Zhou, M. C., 'Extending Knitting Technique to Petri Net Synthesis Of Automated Manufacturing Systems, ' Rensselaer''s 3rd. Int''l Conf.Comp.intgrtd. Manuf.92''., Dec. 2024
年度 书名
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
年度 名称 发表日期 全部作者
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. 2024-12-01
赵玉, 'Theory nad Implementatoin for Guidance of Workflow CAD Tool, ' x. 2024-12-01
赵玉, 'A CAD Tool and Extend Theory for Synchronized Choice Ordinary Petri Nets, ' 国科会. 2024-12-01
赵玉, '数值流程图之最佳处理器分配理论及电脑辅助软件发展, ' 国科会. 2024-12-01
国家 学校名称 系所 学位 期间
美国 美国加州柏克莱大学 EECS (aelectrical eng. and Computer Science) 博士 1983.01 ~ 1987.06
美国 美国加州大学洛杉矶分校 电机工程(学)系 硕士 1980.04 ~ 1981.06
台湾，中华民国 国立台湾大学 机械工程(学)系 学士 1972.09 ~ 1976.06
经历类别 服务机关名称 单位 职务 期间
校内本职 政治大学 资讯管理学系 教授 2014.08 ~ 2015.08
校内本职 政治大学 资讯管理学系 教授 2013.01 ~ 2014.02
校内本职 政治大学 资讯管理学系 教授 2012.08 ~ 2013.01
校内本职 政治大学 资讯管理学系 教授 2008.02 ~ 2012.02
校内本职 政治大学 资讯管理学系 教授 2004.08 ~ 2007.08
校内本职 政治大学 资讯管理学系 教授 1997.02 ~ 2004.02
校内本职 政治大学 资讯管理学系 副教授 1994.08 ~ 1997.02
类别 年度 奖项名称 颁奖单位
校内 97 特聘教授 政治大学