Back to EveryPatent.com
United States Patent | 6,185,469 |
Lewis ,   et al. | February 6, 2001 |
The invention comprises in various embodiments controllers and apparatus for testing flexible manufacturing systems and methods of operating same. The controller includes a computer, a program, output lines from the computer, and devices connected to the output lines. The program uses matrix logic equations to determine when to start and stop jobs. The devices start and stop individual resources in response to logic signals from the computer. In one embodiment, the controller obtains sensor feedback on the distribution of work pieces and available resources in the manufacturing system. The invention also includes an apparatus and methods for testing a flexible manufacturing system. In response to the input of initial data, the apparatus for testing a flexible manufacturing system solves matrix equations and determines the activity and/or production of the manufacturing system. The apparatus for testing a flexible manufacturing system sends logical signals to a recording device which, in one embodiment, produce a cumulative display of the time dependent production or activity of the system.
Inventors: | Lewis; Frank L. (Bedford, TX); Tacconi; Diego A. (Arlington, TX); Pastravanu; Octavian C. (Iasi, RO); Gurel; Ayla (Famagusta Via Mersin, TR) |
Assignee: | Board of Regents, The University of Texas System (Austin, TX) |
Appl. No.: | 076043 |
Filed: | May 11, 1998 |
Current U.S. Class: | 700/99; 700/96; 700/101; 705/8 |
Intern'l Class: | G06F 017/16 |
Field of Search: | 700/108,109,96,99,101,103,104 705/7,8 702/81,82,83,182 |
4649524 | Mar., 1987 | Vance | 367/13. |
4914615 | Apr., 1990 | Karmarkar et al. | 708/607. |
5214588 | May., 1993 | Kaneko et al. | 700/113. |
5257363 | Oct., 1993 | Shapiro et al. | 703/13. |
5291394 | Mar., 1994 | Chapman | 705/8. |
5555179 | Sep., 1996 | Koyama et al. | 700/95. |
5701439 | Dec., 1997 | James et al. | 703/17. |
5706200 | Jan., 1998 | Kumar et al. | 700/100. |
5745390 | Apr., 1998 | Daneshgari | 702/119. |
Alayan, H. and Newcomb, R.W., Binary Petri-Net Relationships, IEEE Transactions on Circuits and Systems, vol. CAS-34, No. 5, pp. 565-568, May 1987. Bodner et al., Object-Oriented Modeling and Simulation of Automated Control in Manufacturing, Proc. International Conference Robotics and Automation, vol. 3, pp. 83-88, May 1993. Burman, D.Y., Gurrola-Gal, F.J., Nozari, A., Sathaye, S. and Sitarik, J.P., Performance Analysis Technniques for IC manufacturing Lines, AT&T Technical Journal, vol. 65, Issue 4, pp. 46-56, Jul./Aug. 1986. Buzacott, J.A. and Yao, D.D., Flexible Manufacturing Systems: A Review of Analytical Models, Management Science, vol. 32, No. 7, Jul. 1986. Cash, C.R., Wilhelm, W.E., A Simulation Model for Use in Designing Robotic Assembly Cells, J. Manufacturing Systems, vol. 7, No. 4, pp. 279-291, No Date. Chen, C.L.P. and Wichman, C., A Clips Rule-Based Planning System for Mechanical Assembly, Proc. NSF DMS Conf., pp. 837-841, Atlanta 1992. David, R. and Alla, H., Petri Nets for Modeling of Dynamic Systems-A Survey, Automatica, vol. 30, No. 2, pp. 175-202, 1994. Eppinger, S.D., Whitney, D.E., and Smith, R.P., Organizing the Tasks in Complex Design Projects, Proc. ASME International Conference Deisgn Theory and Methodology, pp. 39-46, Sep. 1990. Gracanin, D., Srinivasan, P. and Valavanis, K., Parameterized Petri Nets: Properties and Applications to Automated Manufacturing Systems, Proc. IEEE Mediterranean Symposium New Directions in Control and Automation, pp. 48-55, Jun. 1994. Graves, S.C., A Review of Production Scheduling, Operations Research, vol. 29, pp. 646-675, Aug. 1981. Huang, H.H., Lewis, F.L., Pastravanu, O.C. and Gurel, A., Flow-Shop Scheduling Design in an FMS Matrix Framework, Control Engineering Practice, vol. 3, No. 4, pp. 561-568, 1995. Jeng, M.D. and DiCesare, F., A Synthesis Method for Petri Net Modeling of Automated Manufacturing Systems with Shared Resources, Proc. IEEE Conference Decision and Control, pp. 1184-1189, Dec. 1992. Kasturia et al., Real Time Control of Multilevel Manufacturing Systems Using Colored Petri Nets, IEEE Conference, pp. 1114-1119, 1988. Kumar, P.R. and Meyn, S.P., Stability of Queueing Networks and Scheduling Policies, Proc. IEEE Transactions on Automatic Control, vol. 40, No. 2, pp. 251-260, Feb. 1995. Kumar, P.R. and Meyn, S.P., Stability of Queueing Networks and Scheduling Policies, Proc. IEEE Conference Decision and Control, pp. 2730-2735, Dec. 1993. Leung, Y.T. and Suri, R., Performance Evaluation of Modeling of Discrete Manufacturing Systems, IEEE Control Systems Magazine, pp. 77-86, Jun. 1990. Lewis, F.L., Pastravanu, O.C. and Huang, H.H., Controller Design and Conflict Resolution For Discrete Event Manufacturing Systems, Proc. IEEE Conference Decision and Control, pp. 3288-3293, San Antonio, Dec. 1993. Lu, S.H. and Kumar, P.R., Distributed Scheduling Based on Due Dates and Buffer Priorities, IEEE Transactions on Automatic Control, vol. 36, No. 12, pp. 1406-1416, Dec. 1991. Luh, P.B. and Hoitomt, D.J., Scheduling of Manufacturing Systems Using the Lagrangian Relaxation Technique, IEEE Transactions on Automatic Control, vol. 38, No. 7, pp. 1066-1079, Jul. 1993. Murata, T., Komoda, N., Matsumoto, K. & Haruna, K., A Petri Net-Based Controller for Flexible and Maintainable Sequence Control and its Applications in Factory Automation, IEEE Transactions on Industrial Electronics, vol. IE-33, No. 2, pp. 1-8, Feb. 1986. Negretto, U., Control of Manufacturing Ssytems, Intel Design & Manufacturing, 1991. Ramadge, P.J.G., Wonham, W.M., The Control of Discrete Event Systems, Proc. IEEE, vol. 77, pp. 81-98, 1989. Ramaswamy, S., Valavanis, K.P., Srinivasan, P. and Steward, A., A Coordination Level H-EPN Based Error Recovery Model for Hierarchical Systems, Proc. IEEE Mediterranean Symposium New Directions in Control and Automation, pp. 56-61, Jun. 1994. Srihari, K., Emerson, C.R. and Cecil, J.A., Modeling Manufacturing with Petri Nets, CIM Review, pp. 15-21, Spring, 1990. Steward, D.V., On An Approach to Techniques for the Analysis of the Structure of Large Systems of Equations, SIAM Review, vol. 4, No. 4, Oct. 1962. Tacconi, D.A. and Lewis, F.L., Simulation Schemes of Discrete Event Systems, IEEE Control Systems Magazine, pp. cover page, 1-12, Jun. 18, 1996. Tacconi, D.A., Lewis, F.L. and Huang, H.H., Modeling and Simulation of Discrete Event Systems using a Matrix Formulation, IEEE Control Systems, pp. cover page, 590-594, Jun. 10-13, 1996. Tacconi, D.A. and Lewis F.L., A New Matrix Model for Discrete Event Systems: Application to Simulation, IEEE Control Systems, pp. 62-71, Oct. 1997. Teng, S.H. and Black, J.T., Cellular Manufacturing Systems Modeling: The Petri Net Approach, Journal of Manufacturing Systems, vol. 9, No. 1, pp. 45-54, 1990. Warfield, J.N., Binary Matrices in System Modeling, IEEE Transactions on Systems, Man, and Cybernetics, vol. SMC-3, No. 5, pp. 441-449, Sep. 1973. Zhou, M.C., Deadlock Avoidance Schemes in a Distributed Robotic System: Petri Net Modeling and Analysis, Journal of Robotic Systems, vol. 12(3), pp. 177-187, 1995. Zhou, M.C. McDermott, K., and Patel, P.A., Petri Net Synthesis and Analysis of a Flexible Manufacturing System Cell, IEEE Transactions on Systems, Man, and Cybernetics, vol. 23, No. 2, Mar. 1993. Ziegler, B.P., DEVS Representation of Dynamical Systems: Event-Based Intelligent Control, Proc. of the IEEE, vol. 77, No. 1, pp. 72-80, Jan. 1989. |
MF(U.sub.D1) = 1; MF(U.sub.D2) = 1; IF ANY((MF - (F' * MULTOA(NOT(F), NOT(NOT(MF))) )) < 0) MF(U.sub.D1) = 0; MF(U.sub.D2) = 1; ELSE MF(U.sub.D1) = 1; MF(U.sub.D2) = 1; END IF X = MULTOA(NOT(F), NOT(NOT(MF)));