(3.239.192.241) 您好!臺灣時間:2021/03/02 19:24
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果

詳目顯示:::

我願授權國圖
: 
twitterline
研究生:李俊賢
研究生(外文):Jin-Shyan Lee
論文名稱:以PLC為基礎之離散事件系統程序控制器與錯誤診斷系統設計
論文名稱(外文):A PLC-Based Design for the Controller and the Diagnostic System in Discrete Event Systems
指導教授:徐保羅徐保羅引用關係
指導教授(外文):Pau-Lo Hsu
學位類別:碩士
校院名稱:國立交通大學
系所名稱:電機與控制工程系
學門:工程學門
學類:電資工程學類
論文種類:學術論文
論文出版年:1999
畢業學年度:87
語文別:中文
論文頁數:70
中文關鍵詞:可程式邏輯控制器離散事件系統程序控制器錯誤診斷系統裴氏網路
外文關鍵詞:PLC(programmable logic controller)DES(discrete event system)sequence controllerfault diagnostic systemPetri net
相關次數:
  • 被引用被引用:3
  • 點閱點閱:252
  • 評分評分:系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:1
本論文以PLC為基礎,提出一套離散事件系統之程序控制器與錯誤診斷系統的整合性設計策略。
由於自動化製造系統的日益複雜,能夠達成有效處理高階控制系統與低階實現的設計工具,是一個格外重要的需求。我們提出一套整合(1) IDEF (Integrated CAM definition),(2) PNC (Petri net controller),(3) TPL (token passing logic)與(4) LLD (ladder logic diagram)四種工具的IDEF/PNC/TPL/LLD (IPTL)方法,有系統化地設計與實現控制器。首先利用IDEF技術來做系統的功能分析與控制流程的靜態設計,然後轉換為裴氏網路控制器PNC模式來做系統之動態模擬驗證,再結合TPL技術,可以設計出符合IEC 1131-3標準的階梯邏輯圖LLD,在PLC上來實現。
為了改善系統之可靠度與安全性,我們進一步提出的錯誤偵測器可以即時偵測出(1)程序錯誤,(2)感測器錯誤,與(3)致動器錯誤,並且將偵測錯誤的邏輯函數轉換為階梯圖,以PLC為基礎來實現錯誤診斷。而錯誤循跡器的設計,則是提供維修工程師在故障發生後,循跡由程序控制階梯圖所推衍的AND/OR Tree來有效地找尋發生錯誤裝置的輔助工具。因此,本論文完成了一個將程序控制及錯誤診斷系統以PLC之階梯圖實現出來的有效設計方法。

In this thesis, an integrated approach for the PLC-based sequence controller and the fault diagnostic system design in discrete event system (DES) is proposed.
Since automated manufacturing systems become more complex, the need for an effective design tool to achieve both high-level control systems and their low-level implementations becomes increasingly more important. The IPTL (IDEF/PNC/TPL/LLD) method is presented to integrate the IDEF (Integrated CAM definition), PNC (Petri net controller), TPL (token passing logic), and LLD (ladder logic diagrams) tools to obtain the ladder diagram for the PLC implementation systematically. In the proposed IPTL design, the system function and the control flow are designed with static analysis by using the IDEF technique and it transforms the control flow model into the PNC model to verify its dynamic behavior. The conversion of the PNC into the IEC-1131-3 LLD on a PLC is then followed by applying the TPL concept.
For improvement of reliability and safety of systems, a fault detector is proposed and implemented on a PLC by converting the logical functions of fault detection into an LLD format. The proposed PLC-based fault detector detects all the sequence faults, sensor faults, and actuator faults. Furthermore, a fault tracer supports the presented fault diagnosis to traverse the AND/OR tree which is derived from the LLD of the sequence controller.

中文摘要i
英文摘要ii
誌謝iii
目錄iv
表目錄vii
圖目錄viii
第一章 緒論1
1.1 研究動機1
1.2 問題界定2
1.3 研究目的2
1.4 研究方法與步驟3
1.5 論文架構4
1.6 論文貢獻4
第二章 離散事件系統與錯誤診斷系統之發展6
2.1 離散事件系統之建模與控制方式6
2.1.1 自動機理論6
2.1.2 裴氏網路理論8
2.2 錯誤診斷系統之發展11
2.2.1 連續變數系統11
2.2.2 離散事件系統12
第三章 程序控制器IPTL設計方法15
3.1 系統功能分析階段18
3.1.1 IDEF介紹18
3.1.2 IDEF0模式19
3.1.3 系統功能分析之進行20
3.2 系統控制流程設計21
3.2.1 系統控制流程設計之進行21
3.3 系統動態行為驗證24
3.3.1 裴氏網路介紹24
3.3.2 裴氏網路控制器模式25
3.3.3 系統動態行為驗證之進行28
3.4 系統實現規劃階段30
3.4.1 TPL介紹33
3.4.2 TPL模式33
3.4.3 系統實現規劃之進行34
3.5 系統實現35
3.5.1 PLC介紹36
3.5.2 LLD模式37
3.5.3 系統實現之進行38
第四章 離散事件系統之錯誤診斷系統設計44
4.1 錯誤偵測器44
4.1.1 不變量分析45
4.1.2 錯誤偵測邏輯函數48
4.2 錯誤循跡器54
4.3 範例說明58
4.3.1 程序錯誤58
4.3.2 感測器錯誤59
4.3.3 致動器錯誤60
第五章 結論與未來發展62
5.1 結論62
5.2 未來發展63
參考文獻65

楊善國, 以預防保養為目的之失效分析與預測方法, 國立交通大學 機械工程研究所 博士論文, 1999.
賴勇孝, 改良式離散事件監督器合成與控制器設計方法, 國立交通大學 控制工程研究所 碩士論文, 1997.
宋至偉, 以彩色裴氏圖為基礎之彈性製造單元之研製, 國立交通大學 控制工程研究所 碩士論文, 1989.
簡久芳, 應用裴氏圖於直線型轉運機系統之模型建立與驗證, 國立交通大學 工業工程研究所 碩士論文, 1992.
林崇怡, 以裴氏圖和投標法則構建無人搬運車系統之控制模式, 國立交通大學 工業工程研究所 碩士論文, 1993.
陳志銘, 彈性輸送機系統的階層式控制模式設計與實作, 國立交通大學 工業工程研究所 碩士論文, 1996.
曹永嘉, 利用LOTOS/G2方式設計自動輸送機系統的監控器, 國立交通大學 工業工程研究所 碩士論文, 1997.
鍾聖倫, 曾維仁,楊文發, "離散事件系統之線上監督控制," 1994 中華民國自動控制研討會, pp. 397-402, March, 1994.
鍾聖倫, 陳金豐, "以派屈網路為基礎之PLC程式設計演算法則," 第八屆全國自動化科技研討會論文集(一), pp. 524-531, 1995.
黃立增, "開放式PLC與IEC 1131-3," 電機月刊, 80期, pp. 170-173, 八月,1997.
洪士賢, "CNC工具機 PLC硬體與軟體之原理及應用," 全華科技圖書, 九月, 1995.
Balemi, S., G. J. Hoffmann, P. Gyugyi, H. Wong-Toi, and G. F. Franklin, "Supervisory Control of a Rapid Thermal Multiprocessor," IEEE Transactions on Automatic Control, Vol. 38, No. 7, pp. 1040-1059, July, 1993.
Cao, X. R. and Y. C. Ho, "Models of discrete event systems," IEEE Control Systems Magazine, Vol. 10, No. 4, pp. 69-76, June, 1990.
Chang, N., W. H. Kwon, and J. Park, "FPGA-based implementation of synchronous Petri nets, " Proceedings of the IECON*96, International Conference on Industrial Electronics, Control, and Instrumentation, pp. 469-474, 1996.
Chang, S. K. and P. L. Hsu, "A Novel Design for the Unknown Input Fault Detection Observer, " Control-Theory and Advanced Technology, Vol. 10, No. 4, Part 2, pp. 1029-1051, June, 1995.
Christos G. and Cassandras, "Discrete Event Systems: Modeling and Performance Analysis," Book of Aksen Associates/Irwin, Boston, 1993.
Coffman, E. G., M. J. Elphick, and A. Shoshani, "System deadlocks," ACM Computing Surveys, Vol. 3, No. 2, pp. 67-78, June, 1971.
Dohi, Y., M. Sugiyama, H. Murakoshi, T. Sekiguchi, Y. Cai, I. Yomiya, and D. Taufana, "Error Detection Scheme for Petri Net Sequence Controller," Proceedings of the IEEE International Symposium on Industrial Electronics, Vol. 1, pp. 45-48, 1992.
Frank, P. M., "Analytical and Qualitative Model-based Fault Diagnosis─A Survey and Some New Results, " European Journal of Control, Vol. 2, pp. 6-28, 1996.
Gertler, J., "Residual Generation in Model-based Fault Diagnosis, " Control-Theory and Advanced Technology, Vol. 9, No. 1, pp. 259-285, March, 1993.
Isermann, R., "Fault Diagnosis of Machines via Parameter Estimation and Knowledge Processing─Tutorial Paper, " Automatica, Vol. 29, No. 4, pp. 815-835, 1993.
Jensen, K. and G. Rozenberg, "High-level Petri Nets," Book of Springer-Verlag, Berlin Heidelberg, 1991.
Jones, A. H., M. Uzam, and N. Ajlouni, "Design of Discrete Event Control Systems for Programmable Logic Controllers Using T-Timed Petri Nets," Proceedings of the IEEE International Symposium on Computer-Aided Control System Design, pp. 212-217, 1996.
Katz, R. H., "Contemporary Logic Design," Book of Benjamin/Cummings, New York, pp. 70-75, 1994.
Lauzon, S. C., A. K. L. Ma, J. K. Mills, and B. Benhabib, "Application of Discrete-Event-System Theory to Flexible Manufacturing," IEEE Control Systems, pp. 41-48, Febuary, 1996.
Lemmer, K., B. Ober, and E. Schnieder, "Model-Based Programming and Diagnosis for Programmable Logical Controllers," Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, Vol. 5, pp. 4474-4479, 1995.
Li, Y. and W. M. Wonham, "Control of Vector Discrete-Event Systems I─The Base Model," IEEE Transaction on Automatic Control, Vol. 38, No. 8, pp. 1214-1227, August, 1993.
Li, Y. and W. M. Wonham, "Control of Vector Discrete-Event Systems II─Control Synthesis," IEEE Transaction on Automatic Control, Vol. 39, No. 3, pp. 512-531, March, 1994.
Liang, G. R. and H. M. Hong, "Hierarchy transformation method for repetitive manufacturing system specification, design, verification and implementation," Computer Integrated Manufacturing Systems, Vol. 7, No. 3, pp. 191-205, 1994.
Liang, G. R. and W. H. Jeng, "Concurrent Engineering Approach to Implementation of Two-level Automaton-based Supervisors," 第八屆全國自動化科技研討會論文集(一), pp. 450-460, 1995.
Lin, F. and W. M. Wonham, " Decentralized supervisory control of discrete-event systems," inform. Sci., Vol. 44, pp. 199-224, 1988.
Lin, S. Y. and H. P. Huang, "Modeling and Emulation of a Furnace in IC Fab Based on Colored-Timed Petri Net," IEEE Transaction on Semiconductor Manufacturing, Vol. 11, No. 3, pp. 410-420, August, 1998.
Moody, J. O. and P. J. Antsaklis, "Supervisory Control of Discrete Event Systems Using Petri Nets," Book of Kluwer Academic Publisher, USA, 1998.
Murakoshi, H., M. Sugiyama, G. Ding, T. Oumi, T. Sekiguchi, and Dohi, Y., "A High Speed Programmable Controller Based on Petri net," Proceedings of the International Conference on IECON, pp. 1966-1971, 1991.
Murata, T., "Petri nets: Properties, analysis, and application," Proceedings of the IEEE, Vol. 77, No. 4, pp. 541-580, April, 1989.
Osyk, B. A., M. S. Hung, and G. R. Madey, "A neural network model for fault detection in conjunction with a programmable logic controller," Journal of Intelligent Manufacturing, Vol. 5, pp. 67-78, 1994.
Peterson, J. L., "Petri Net Theory and the Modeling of Systems," Book of Prentice Hall, Englewood Cliffs, 1981.
Pinci, V. and R. M. Shapiro, "An Integrated Software Development Methodology Based on Hierarchical Colored Petri Nets," 11th Int. Conference on Applications and Theory of Petri Nets, Paris, 1990.
Ramadge, P. J. and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Control and Optimization, Vol. 25, No. 1, pp. 206-230, January, 1987.
Ramadge, P. J. and W. M. Wonham, "The control of discrete event systems," Proceedings of the IEEE, Vol. 77, No. 1, pp. 81-98, January, 1989.
Sampath, M., S. Lafortune, and D. Teneketzis, "Active Diagnosis of Discrete-Event Systems," IEEE Transactions on Automatic Control, Vol. 43, No. 7, pp. 908-929, July, 1998.
Santarek, K. and I. M. Buseif, "Modelling and design of flexible manufacturing systems using SADT and Petri nets tools," Journal of Materials Processing Technology, Vol. 76, pp. 212-218, 1998.
Satoh, T., H. Oshima, K. Nose, and S. Kumagai, "Automatic Generation System of Ladder List Program by Petri Net," Proceedings of the IEEE International Workshop on ETFA, pp. 128-133, 1992.
Sorsa, T., H. N. Koivo, and H. Koivisto., "Neural Networks in Process Fault Diagnosis," IEEE Transactions on Systems, Man, and Cybernetics, Vol. 21, No. 4, pp. 815-825, July/August, 1991.
Uzam, M. and A. H. Jones, "Discrete Event Control System Design Using Automation Petri Nets and their Ladder Diagram Implementation," The International Journal of Advanced Manufacturing Technology, Vol. 14, No. 10, pp. 716-728, 1998.
Uzam, M., A. H. Jones, and N. Ajlouni, "Conversion of Petri Net Controllers for Manufacturing Systems into Ladder Logic Diagrams," Proceedings of the Fifth IEEE International Conference on ETFA, pp. 649-655, 1996.
Venkatesh, K., M. C. Zhou, and R. Caudill, "Comparing Ladder Logic Diagrams and Petri Nets for Sequence Controller Design Through a Discrete Manufacturing System," IEEE Transactions on Industrial Electronics, Vol. 41, No. 6, pp. 611-619, December, 1994.
Venkatesh, K., M. C. Zhou, and R. Caudill, "Design of Sequence Controllers Using Petri Net Models," Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, Vol. 4, pp. 3469-3474, 1995.
Venkatesh, K., M. C. Zhou, and R. Caudill, "Evaluating the Complexity of Petri Nets and Ladder Logic Diagrams for Sequence Controllers Design in Flexible Automation," Proceedings of the IEEE Symposium on ETFA, pp. 428-435, 1994.
Viswanadham, N., Y. Narahari, and T. L. Johnson, "Deadlock Prevention and Deadlock Avoidance in Flexible Manufacturing Systems Using Petri Net Models," IEEE Transactions on Robotics and Automation, Vol. 6, No. 6, pp. 713-723, December, 1990.
William, B. D. and J. R. Michael, "Diagnostic expert systems for PLC controlled manufacturing equipment," International Journal of Computer Integrated Manufacturing, Vol. 7, No. 2, pp. 116-122, 1994.
Williams, R. A., B. Benhabib, and K. C. Smith, "A DES-Theory-Based Hybrid Supervisory Control System for Manufacturing Systems," Journal of Manufacturing Systems, Vol. 15, No. 2, pp. 71-83, 1996.
Wonham, W. M. and P. J. Ramadge, "Modular supervisor control of discrete event systems," Math. Contr., Signals., and Syst., Vol. 1, No. 1, pp. 13-30, January, 1988.
Zhong, H. and W. M. Wonham, " On the consistency of hierarchical supervision in discrete-event systems," IEEE Trans. Automat. Contr., Vol. 35, pp. 1125-1134, October, 1990.
Zhou, M. C. and Frank DiCesare, "Petri Net Synthesis for Discrete Event Control of Manufacturing Systems," Book of Kluwer Academic Publishers, 1993.
Zurawski, R. and M. C. Zhou, "Petri Nets and Industrial Application: A Tutorial," IEEE Transactions on Industrial Electronics, Vol. 41, No. 6, pp. 567-583, December, 1994.

QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top
無相關期刊
 
系統版面圖檔 系統版面圖檔