(3.238.173.209) 您好!臺灣時間:2021/05/12 14:06
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果

詳目顯示:::

: 
twitterline
研究生:李俊賢
研究生(外文):Jin-Shyan Lee
論文名稱:以PetriNet設計之自動化程序遠端監控系統
論文名稱(外文):Design of the Remote Supervision System for Automated Processes via the Petri Net Approach
指導教授:徐保羅徐保羅引用關係
指導教授(外文):Pau-Lo Hsu
學位類別:博士
校院名稱:國立交通大學
系所名稱:電機與控制工程系所
學門:工程學門
學類:電資工程學類
論文種類:學術論文
論文出版年:2004
畢業學年度:92
語文別:英文
論文頁數:114
中文關鍵詞:遠端監控系統監督控制裴氏網路爪哇技術人在迴路系統離散事件系統
外文關鍵詞:Remote supervision systemsSupervisory controlPetri netsJava technologyHuman-in-the-loop systemsdiscrete event systems
相關次數:
  • 被引用被引用:7
  • 點閱點閱:265
  • 評分評分:系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔
  • 下載下載:63
  • 收藏至我的研究室書目清單書目收藏:1
近年來,由於網際網路的快速發展,使得自動化程序之即時監控與管理不再受限於局部的區域來執行。對於以網際網路為基礎的遠端製造系統,本文闡述其一系列以Petri net為基礎,在程序控制,遠端監控,與網路管理系統上之設計與實現的方法,以達成系統之正常安全與運作。
對於日益複雜的製造系統,傳統之階梯圖程序控制設計,不但變的相當複雜,而且對於製程變動的彈性處理也更加困難。有鑑於此,本文先提出一套以法則為基礎的評估方法,來驗證Petri net在程序控制器設計上優於階梯圖的特性。之後,本文提出一套以Petri net為基礎,而以階梯圖實現之系統化設計方法,來發展製造系統之程序控制器。
在遠端監控系統中,本文提出一個以監督器 (supervisor) 監控人類行為的架構,來預防與禁止不正當的遠端人為操作。本文使用Petri net來塑造命令層中真實系統的抽像模型,合成出監督器,並進一步使用Java 技術將監督器實現成一智慧型代理人(intelligent agent)。藉由遠端受控系統的狀態回饋,我們發展的監控代理人會防止在違反安全規格下的命令,藉以降低及減少人為失誤所產生的影響。此外,在上述的監控系統中,為了降低監控器的合成複雜度,我們提出一個階層式的遠端監控架構,使得監督器的合成需有較少的狀態空間,藉以降低設計與實現的複雜度。
此外,對於大型遠端監控系統中各種不同的感測、致動、與控制元件,為了管理網路中各元件所收發的大量監控訊息,本文整合Petri net於統一建模語言(unified modeling language, UML)中,以系統化地從建模,設計,分析,驗證,來實現簡易網路管理協定 (simple network management protocol, SNMP) 代理人。本研究所提出之遠端網路管理方法,已經成功地應用在台灣大哥大的行動交換機房之環境安全遠端監控系統上。
Applications of the Internet technology become more popular in the modern industry. This thesis proposes the systematic design and implementation of remote supervision systems for automated processes via the Petri nets (PN) approach to achieve 1) the sequence controller, 2) the supervisor, and 3) the device management system, respectively.
As automated systems become more complex, traditional ladder logic diagram (LLD) design of sequence controllers becomes more difficult and inflexible. Thus, this thesis presents a rule-based evaluation to adequately compare the LLD and PN, and verify the superiority of PN. Then, since LLD is still widely used today in real industry, this thesis proposes a PN-based method systematically leading to the final LLD implementation for the sequence controller design.
In remote control systems, to prevent abnormal operations of humans, a remote supervisory scheme is proposed so that undesirable human operations are prohibited. PN is employed to synthesize both the remote supervisor and the local controller, and the Java technology is employed to implement the intelligent agent for on-line supervision. According to the status feedback through the Internet, the developed supervisory agent provides allowable commands for operators and disables those operations that violate safety specifications. The possibility of human errors can be thus reduced. Moreover, to reduce the complexity of mentioned supervisory system design, this thesis further proposes a hierarchical structure with a smaller state-space size in supervisor synthesis so as to reduce the design complexity.
Furthermore, to integrate diverse network elements and construct a large-scale and distributed systems for remote supervision systems, this thesis integrates the PN into the unified modeling language (UML) to achieve modeling, design, analysis, verification, and implementation of simple network management protocol (SNMP) agents in the present framework. The developed management system has been successfully applied to a mobile switching center of Taiwan Cellular Corporation for the remote supervision and management of its various environmental devices.
ABSTRACT (CHINESE) i
ABSTRACT (ENGLISH) iii
ACKNOWLEDGMENT v
TABLE OF CONTENTS vi
LIST OF TABLES ix
LIST OF FIGURES x
CHAPTER 1
INTRODUCTION 1
1.1. General Review 2
1.2. Problem Statement 5
1.3. Proposed Approach 7
1.4. Organization of Thesis 8
CHAPTER 2
EVALUATION OF LADDER LOGIC DIAGRAMS AND
PETRI NETS FOR SEQUENCE CONTROLLER DESIGN 9
2.1. Introduction of Petri Nets 10
2.2. The Rule-Based Comparison 13
2.3. Example: A Stamping Process 18
2.4. Discussions 28
2.5. Summary 29
CHAPTER 3
DESIGN OF THE SEQUENCE CONTROLLER IN
MANUFACTURING SYSTEMS 30
3.1. Simplified Petri Net Controller 30
3.2. The IDEF0/SPNC/TPL/LLD Approach 33
3.3. Example: A Stamping Process 41
3.4. Summary 42
CHAPTER 4
REMOTE SUPERVISION FOR
HUMAN-IN-THE-LOOP SYSTEMS 45
4.1. A Novel Supervisory Structure 45
4.2. Design of the Supervisor Using PN 46
4.3. Implementation of the Supervisor
Using Java 50
4.4. Example: A Rapid Thermal Process 54
4.5. Summary 62
CHAPTER 5
HIERARCHICAL SUPERVISION FOR
MANUFACTURING SYSTEMS 63
5.1. Proposed Hierarchical Structure 63
5.2. Design of the Hierarchical
Supervision System 65
5.3. Example: A Three-Recipe Flexible
Manufacturing System 67
5.4. Discussions 74
5.5. Summary 75
CHAPTER 6
SNMP-BASED MANAGEMENT SYSTEM 76
6.1. Integration of UML and PN 76
6.2. Requirements of SNMP Agents 78
6.3. UML-Based Modeling for SNMP Agents 81
6.4. Example: A Mobile Switching Center 85
6.5. PN Modeling and Analysis 89
6.6. Architecture Design and Implementation 93
6.7. Discussions 94
6.8. Summary 96
CHAPTER 7
CONCLUSIONS 97
7.1. Summary of Contributions 97
7.2. Future Research 98
REFERENCES 101
VITA 110
PUBLICATION LIST 113
Aicklen, G. H., and Main, P. M. (1995), "Remote control of diverse network elements using SNMP," in Proc. IEEE Int. Conf. Military Communication, San Diego, CA, pp. 673-677.
ANSI/ISA (1995), S88.01: Batch Control Part 1: Models and Terminology. Instrument Society of America.
Balemi, S., Hoffmann, G. J., Gyugyi, P., Wong-Toi, H., and Franklin, G. F. (1993), "Supervisory control of a rapid thermal multiprocessor," IEEE Trans. Automat. Contr., vol. 38, no. 7, pp. 1040-1059.
Batur, C., Ma, Q., Larson, K., and Kettenbauer, N. (2000), "Remote tuning of a PID position controller via Internet," in Proc. Amer. Contr. Conf., pp. 4403-4406.
Bernardi, S., Donatelli, S., and Merseguer, J. (2002), "From UML sequence diagrams and Statecharts to analyzable Petri net models," in Proc. ACM Int. Workshop Soft. Performan., Rome, Italy, pp. 35-45.
Bertolissi, E., and Preece, C. (1998), "Java in real-time applications," IEEE Trans. Nuclear Science, vol. 45, no. 4, pp 1965-1972.
Booch, G., Rumbaugh, J., and Jacobson, I. (1999) The Unified Modeling Language User Guide. Reading, MA: Addison-Wesley.
Bordbar, B., Giacomini, L., and Holding, D. J. (2000), "UML and Petri nets for design and analysis of distributed systems," in Proc. IEEE Int. Conf. Contr. Appli., Anchorage, AK, pp. 610-615.
Boucher, T. O., Jafari, M. A., and Meredith, G. A. (1990), "Petri net control of an automated manufacturing cell," Adv. Manuf. Engin., vol. 2, no. 3, pp. 151-157.
Bradshaw, J. M. (1997), "Introduction to Software Agents," Software Agents, Bradshaw, J. M. Ed., Cambridge, MA: AAAI Press/MIT Press.
Campione, M., and Walrath, K. (1998), The Java Tutorial: Object-Oriented Programming for the Internet. Second Ed., Reading, MA: Addison-Wesley. [Online]. Available: http://java.sun.com/docs/books/tutorial/
Caramihai, S. I., Dumitrache, I., and Stanescu, A. M. (1998), "Real-time supervision for intelligent manufacturing supported by T-temporal Petri net models," in Proc. IEEE Int. Conf. Syst., Man, Cybern., San Diego, CA, pp. 582-587.
Cardoso, P. F., and Monteiro, J. L. (1998), "SNMP and industrial networks," in Proc. IEEE Int. Conf. Industrial Electronics, Aachen, Germany, pp. 242-246.
Charbonnier, F., Alla, H., and David, R. (1999), "The supervised control of discrete-event dynamic systems," IEEE Trans. Contr. Syst. Technol., vol. 7, no. 2, pp. 175-187.
Cofer, D. D., and Garg, V. K. (1996), "Supervisory control of real-time discrete-event systems using lattice theory," IEEE Trans. Automat. Contr., vol. 41, no. 2, pp. 199-209.
Conway, C., Li, C. H., and Pengelly, M. (2002), Pencil: A Petri Net Specification Language for Java. Mathematics Department, Macquarie University, Sydney. [Online]. Available: http://www.cs.columbia.edu/~conway/plt/pencil/index.html
David, R., and Alla, H. (1994), "Petri nets for modeling of dynamics systems- A survey," Automatica, vol. 30, no. 2, pp. 175-202.
Fair, R. B. (1993), Rapid Thermal Processing: Science and Technology. New York: Academic.
Fanti, M. P., Maione, B., and Turchiano, T. (2000), "Comparing diagraph and Petri net approaches to deadlock avoidance in FMS modeling and performance analysis," IEEE Trans. Syst., Man, Cybern., Part B, vol. 30, no. 5, pp. 783-798, (Special issue on discrete systems and control).
Feldmann, K., Colombo, A. W., Schnur, C., and Stockel, T. (1999a), "Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC1131. I. Specification and design," IEEE Trans. Contr. Syst. Tech., vol. 7, no. 6, pp. 657-665.
Feldmann, K., Colombo, A. W., Schnur, C., and Stockel, T. (1999b), "Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC1131. II. Design and implementation," IEEE Trans. Contr. Syst. Tech., vol. 7, no. 6, pp. 666-674.
Frey, G. (2000), "Automatic implementation of Petri net based control algorithm on PLC," in Proc. American Control Conf., pp. 2819-2823.
Frey, G. and Litz, L. (2000), "Formal methods in PLC programming," in Proc. IEEE Int. Conf. Systems, Man, and Cybernetics, Nashville, TN, pp. 2431-2436.
Gershwin, S. B. (1989), "Hierarchical flow control: A framework for scheduling and planning discrete events in manufacturing systems," Proc. IEEE, vol. 77, no. 1, pp. 195-208.
Giua, A., and DiCesare, F. (1991), "Supervisory design using Petri nets," in Proc. IEEE Int. Conf. Decision Contr., Brighton, England, pp. 92-97.
Greenfield, J. (2001), Unified Modeling Language/Enterprise JavaBeans (UML/EJB) Mapping Specification. Rational Software Corporation Document.
Hoshi, T. (1999), "Current and future Java technology for manufacturing industry," in Proc. IEEE Int. Conf. Syst., Man, Cybern., Tokyo, Japan, pp. 404-409.
Huang, G. Q., and Mak, K. L. (2001), "Web-integrated manufacturing: recent developments and emerging issues," Int. J. Comput. Integrated Manuf., vol. 14, no. 1, pp. 3-13, (Special issue on Web-integrated manufacturing).
Hunter, J., and Crawford, W. (1998), Java Servlet Programming. Sebastopol, CA: O'Reilly & Associates Inc.
International Electrotechnical Commission (1993), Programmable Controllers Part 3, Programming Languages, IEC 1131-3. Geneva: IEC.
Jeng, M. D. (1997), "Petri nets for modeling automated manufacturing systems with error recovery," IEEE Trans. Robot. Automat., vol. 13, no. 5, pp. 752-760.
Jeng, M. D. and Lu, W. Z. (2002), "Extension of UML and its conversion to Petri nets for semiconductor manufacturing modeling," in Proc. IEEE Int. Conf. Robot. Automat., Washington, DC, pp. 3175-3180.
Kress, R. L., Hamel, W. R., Murray, P., and Bills, K. (2001), "Control strategies for teleoperated Internet assembly," IEEE/ASME Trans. Mechatronics, vol. 6, no. 4, pp. 410-416, (Focused section on Internet-based manufacturing systems).
Kunes, M., and Sauter, T. (2001), "Fieldbus-Internet connectivity: The SNMP approach," IEEE Trans. Ind. Electron., vol. 48, no. 6, pp. 1248-1256, 2001.
Lee, J. S. (1999), A PLC-Based Design for the Controller and the Diagnostic System in Discrete Event Systems, Master Thesis, Department of Electrical and Control Engineering, NCTU, Taiwan.
Lee, J. S., and Hsu, P. L. (accepted), "A systematic approach for the sequence controller design in manufacturing systems," Int. J. Adv. Manuf. Tech.
Lee, J. S., and Hsu, P. L. (2003a), "A Petri-net approach to hierarchical supervision for remote-controlled processes," in Proc. IEEE Int. Conf. Systems, Man and Cybernetic, Washington, DC, pp. 1880-1885.
Lee, J. S., and Hsu, P. L. (2003b), "Remote supervisory control of the human-in-the-loop system by using Petri nets and Java," IEEE Trans. Indu. Electron., vol. 50, no. 3, pp. 431-439.
Lee, J. S., and Hsu, P. L. (2004a), "An improved evaluation of ladder logic diagrams and Petri nets for the sequence controller design in manufacturing systems," Int. J. Adv. Manuf. Tech., vol. 24, no. 3-4, pp. 279-287.
Lee, J. S., and Hsu, P. L. (2004b), "Design and implementation of the SNMP agents for remote monitoring and control via UML and Petri nets," IEEE Trans. Contr. Syst. Technol., vol. 12, no. 2, pp. 293-302.
Liang, G. R., and Hong, H. M. (1994), "Hierarchy transformation method for repetitive manufacturing system specification, design, verification and implementation," Comput.-Integr. Manuf. Syst., vol. 7, no. 3, pp. 191-205.
Looney, C. G., and Alfize A. R. (1987), "Logic control via Boolean rule matrix transformations, " IEEE Trans. Syst. Man, and Cybern., vol. 17, no. 6, pp. 1077-1082.
Maziero, C. A. (1990), ARP: Petri Net Analyzer. Control and Microinformatic Laboratory, Federal University of Santa Catarina, Brazil.
Milner R. (1989), Communication and Concurrency. Englewood Cliffs, NJ: Prentice Hall.
Mirle Automation Corporation (1999), SoftPLC Controller User's Manual Version 1.2. Hsinchu, Taiwan.
Miyazawa, I., Tanaka, H., and Sekiguchi, T. (1997), "Verification of the behavior of sequential function chart based on its Peti net model", in Proc. IEEE Int. Workshop Emerging Technologies and Factory Automation, pp. 532-537.
Moalla, M. (1985), "Reseaux de Petri interpretes et Grafcet", TSI-Technique et Science Informatique, vol. 14, no.1, pp. 17-30.
Moody, J. O., and Antsaklis, P. J. (1998), Supervisory Control of Discrete Event systems Using Petri Nets. Boston, MA: Kluwer.
Mosterman, P. J., Sztipanovits, J., and Engell, S. (2004), "Computer-automated multi-paradigm modeling in control systems technology," IEEE Trans. Contr. Syst. Technol., vol. 12, no. 2, pp. 223-234, (Special section on Computer automated multi-paradigm modeling).
Murata, T. (1989), "Petri nets: Properties, analysis, and applications," Proc. of the IEEE, vol. 77, no. 4, pp. 541-580.
Peng, S. S., and Zhou, M. C. (2001), "Conversion between ladder diagrams and PNs in discrete-event control design- A survey," in Proc. IEEE Int. Conf. Syst., Man, Cybern., Tucson, AZ, pp. 2682-2687.
Pessen, W. (1989), "Ladder-diagram design for programmable controllers," Automatica, vol. 25, no. 3, pp. 407-412.
Petri, C. A. (1962), Kommunikation mit Automaten. Bonn: Institut fur Instrumentelle Mathematik, Schriften des IIM Nr. 2. English translation, Communication with Automata. New York: Griffiss Air Force Base, Tech.l Rep. RADC-TR-65--377, vol. 1, pages 1-Suppl. 1. 1966.
Prabhaka, A. (1993), Integration Definition for Function Modeling (IDEF0). National Institute of Standards and Technology, FIPS 183.
Ramadge, P. J., and Wonham, W. M. (1987), "Supervisory control of a class of discrete event processes," SIAM J. Contr. Optimiz., vol. 25, no. 1, pp. 206-230.
Ramadge, P. J., and Wonham, W. M. (1989), "The control of discrete event systems," Proc. IEEE, vol. 77, no. 1, pp. 81-98.
Rasmussen, J., Pejtersen, A. M., and Goodstein, L. P. (1994), Cognitive Systems Engineering. New York, NY: John Wiley and Sons.
Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., and Lorensen, W. (1991), Object-Oriented Modeling and Design. Englewood Cliffs, NJ: Prentice Hall.
Shikli, P. (1997), "Designing winning Web sites for engineers," Machine Design, vol. 69, no. 21, pp. 30-40.
SoftPLC Corporation (1999), SoftPLC-Java Programmer's Toolkit. Spicewood, TX.
Srinivasan, R. S. (1998), "Modeling and performance analysis of cluster tools using Petri nets," IEEE Trans. Semicond. Manuf., vol. 11, no. 3, pp. 394-403, (Special section on Petri nets in semiconductor manufacturing).
Stallings, W. (1993), SNMP, SNMP2, and CMIP. Reading, MA: Addison-Wesley.
Tilbury, D., and Khargonekar, P. (2001), "Challenges and opportunities in logic control for manufacturing systems," IEEE Contr. Syst. Maga., vol. 21, no. 1, pp. 105-108.
Tittus, M., and Lennartson, B. (1999), "Hierarchical supervisory control for batch processes," IEEE Trans. Contr. Syst. Technol., vol. 7, no. 5, pp. 542-554.
Uzam, M., and Jones, A. H. (1998), "Discrete event control system design using automation Petri nets and their ladder diagram implementation," Int. J. Adv. Manuf. Tech., vol. 14, no. 10, pp. 716-728 (Special issue on Petri nets applications in manufacturing system).
Uzam, M., Jones, A. H., and Yucel, I. (2000), "Using a Petri-net-based approach for the real-time supervisory control of an experimental manufacturing system," Int. J. Adv. Manuf. Tech., vol. 16, no. 7, pp. 498-515.
Venkatesh, K., Zhou, M. C., and Caudill, R. (1994a) "Comparing ladder logic diagrams and Petri nets for sequence controller design through a discrete manufacturing system," IEEE Trans. Indu. Electron., vol. 41, no. 6, pp. 611-619, (Special section on Petri nets in manufacturing).
Venkatesh, K., Zhou, M. C., and Caudill, R. (1994b), "Evaluating the complexity of Petri nets and ladder logic diagrams and for sequence controllers design in flexible automation," in Proc. IEEE Symp. Emerging Technology and Factory Automation, pp. 428-435.
Vucetic, J., and Kline, P. (1998), "Signal monitoring system for wireless network operation and management," in Proc. SBT/IEEE Int. Symp. Telecommu., pp. 296-300.
Weaver, A., Luo, J., and Zhang, X. (1999), "Monitoring and control using the Internet and Java," in Proc. IEEE Int. Conf. Industrial Electronics, San Jose, CA, pp. 1152-1158.
Wong, K. C., and Wonham, W. M. (1996), "Hierarchical control of discrete-event systems," Discrete Event Dynamic Systems: Theory and Applications, vol. 6, pp. 241-273.
Wooldridge, M., and Jenkins, M. R. (1995), "Intelligent agents: theory and practice," Knowledge Engineering Review, vol. 10, no. 2, pp. 115-152.
Yang, S. H., Chen, X., and Alty, J. L. (2002), "Design issues and implementation of Internet-based process control systems," Contr. Engin. Pract., vol. 11, no. 6, pp. 709-720.
Zeltserman, D. (1999), A Practical Guide to SNMPv3 and Network Management. Upper Saddle River, NJ: Prentice-Hall.
Zhong, H., and Wonham, W. M. (1990), "On the consistency of hierarchical supervision in discrete-event systems," IEEE Trans. Automat. Contr., vol. 35, no. 10, pp. 1125-1134, Oct.
Zhou, M. C., and Dicesare, F. (1989), "Adaptive design of Petri net controllers for error recovery in automated manufacturing systems," IEEE Trans. Syst., Man, Cybern., vol. 19, no. 5, pp. 963-973.
Zhou, M. C., and DiCesare, F. (1991), "Parallel and sequential mutual exclusions for Petri net modeling for manufacturing systems," IEEE Trans. Robot. Automat., vol. 7, no. 4, pp. 515-527.
Zhou, M. C., and Jeng, M. D. (1998), "Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach," IEEE Trans. Semicond. Manuf., vol. 11, no. 3, pp. 333-357, (Special section on Petri nets in semiconductor manufacturing).
Zhou, M. C., and Twiss, E. (1995), "A comparison of relay ladder logic programming and Petri net approach for sequential industrial control systems, " in Proc. IEEE Int. Conf. Control Applications, pp. 748-753.
Zhou, M. C., and Twiss, E. (1998), "Design of industrial automated systems via relay ladder logic programming and Petri nets, " IEEE Trans. Syst., Man, and Cybern., Part C, vol. 28, no. 1, pp. 137-150.
Zhou, M. C., and Venkatesh, K. (1998), Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific.
Zuberek, W. M. (2001), "Timed Petri nets in modeling and analysis of cluster tools," IEEE Trans. Robot. Automat., vol. 17, no. 5, pp. 562-575.
Zurawski, R., and Zhou, M. C. (1994), "Petri nets and industrial applications: a tutorial," IEEE Trans. Ind. Electron., vol. 41, no. 6, pp. 567-583, (Special section on Petri nets in manufacturing).
QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top
系統版面圖檔 系統版面圖檔