A study of current logic design practices in the automotive manufacturing industry
暂无分享,去创建一个
[1] W. M. Wonham,et al. The control of discrete event systems , 1989 .
[2] MengChu Zhou,et al. Comparing ladder logic diagrams and Petri nets for sequence controller design through a discrete manufacturing system , 1994, IEEE Trans. Ind. Electron..
[3] Nancy Pennington,et al. Comprehension strategies in programming , 1987 .
[4] Dawn M. Tilbury,et al. Quantitative and qualitative comparisons of PLC programs for a small testbed with a focus on human issues , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).
[5] Kwang-Hyun Cho,et al. Design of PLCs for automated industrial systems based on discrete event models , 2001, ISIE 2001. 2001 IEEE International Symposium on Industrial Electronics Proceedings (Cat. No.01TH8570).
[6] Narain H. Gehani,et al. Comparing and Assessing Programming Languages: ADA, C. and PASCAL , 1984 .
[7] Lothar Litz,et al. Transparency analysis of Petri net based logic controllers-a measure for software quality in automation , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).
[8] David E. Kieras,et al. Task Analysis and the Design of Functionality , 2014, The Computer Science and Engineering Handbook.
[9] Murat Uzam,et al. Using a Petri-Net-Based Approach for the Real-Time Supervisory Control of an Experimental Manufacturing System , 2000 .
[10] R. W. Lewis,et al. Programming Industrial Control Systems Using IEC 1131-3 , 1995 .
[11] David J. Gilmore,et al. Comprehension and Recall of Miniature Programs , 1984, Int. J. Man Mach. Stud..
[12] Pramod P. Khargonekar,et al. Modular logic controllers for machining systems: formal representation and performance analysis using Petri nets , 1999, IEEE Trans. Robotics Autom..
[13] Dawn M. Tilbury,et al. Reconfigurable logic control using modular FSMs: Design, verification, implementation, and integrated error handling , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).
[14] MengChu Zhou,et al. Conversion between ladder diagrams and PNs in discrete-event control design-a survey , 2001, 2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236).
[15] Mark Minas,et al. Visual PLC-programming using signal interpreted Petri nets , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).
[16] Armando W. Colombo,et al. Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC 1131. I. Specification and design , 1999, IEEE Trans. Control. Syst. Technol..
[17] Silvano Balemi. Input/Output Discrete Event Processes and System Modeling , 1993 .
[18] Jr. Allen B. Tucker,et al. The Computer Science and Engineering Handbook , 1997 .
[19] Elliot Soloway,et al. Empirical Studies of Programmers: Second Workshop , 1991 .
[20] Dawn M. Tilbury,et al. SOFTWARE TOOLS FOR VERIFICATION OF MODULAR FSM BASED LOGIC CONTROL FOR USE IN RECONFIGURABLE MACHINING SYSTEMS É , 2000 .
[21] P. Ramadge,et al. Supervisory control of a class of discrete event processes , 1987 .
[22] Scott N. Woodfield,et al. A study of several metrics for programming effort , 1981, J. Syst. Softw..
[23] N. Pennington. Stimulus structures and mental representations in expert comprehension of computer programs , 1987, Cognitive Psychology.
[24] Judith Good. VPLs and novice program comprehension: how do different languages compare? , 1999, Proceedings 1999 IEEE Symposium on Visual Languages.
[25] Dawn M. Tilbury,et al. Coordinated logic control for reconfigurable machining systems , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).
[26] Amnon Naamad,et al. The STATEMATE semantics of statecharts , 1996, TSEM.
[27] Pau-Lo Hsu,et al. A new approach to evaluate ladder logic diagrams and Petri nets via the IF-THEN transformation , 2001, 2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236).
[28] Lawrence E. Holloway,et al. Automated synthesis and composition of taskblocks for control of manufacturing systems , 2000, IEEE Trans. Syst. Man Cybern. Part B.
[29] Pau-Lo Hsu,et al. A PLC-based design for the sequence controller in discrete event systems , 2000, Proceedings of the 2000. IEEE International Conference on Control Applications. Conference Proceedings (Cat. No.00CH37162).
[30] Pramod P. Khargonekar,et al. A modeling and analysis methodology for modular logic controllers of machining systems using Petri net formalism , 2001, IEEE Trans. Syst. Man Cybern. Syst..
[31] James C. Spohrer,et al. Empirical Studies of Programmers: Fifth Workshop , 1993 .
[32] Lothar Litz,et al. A measure for transparency in net based control algorithms , 1999, IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028).