Automated Inspection and Reverse Engineering

  • Tarek M. Sobh
  • Chris Jaynes
  • Mohamed Dekhil
  • Tom Henderson
Conference paper
Part of the NATO ASI Series book series


CAD/CAM (Computer Aided Design/Manufacturing) typically involves the design and manufacture of a mechanical part. The problem of reverse engineering is to take an existing mechanical part as the point of departure and to produce a design, and perhaps a manufacturing process, for the part. We explore a new approach to reverse engineering and inspection applications. Discrete event dynamic systems (DEDS) are investigated as a new framework for guiding and controlling the active exploration and perception of mechanical parts. The dynamic recursive context for finite state machines (DRFSM) is introduced as a new DEDS tool for utilizing the recursive nature of the mechanical parts under consideration. The framework utilizes DRFSM DEDS for constructing a goal-directed autonomous observer for inspection and reverse engineering purposes. The developed techniques are then used to aid CAD pre-constructed models for inspection purposes and/or to develop models for subsequent manufacturing, thus, closing the sensing → modeling → manufacturing → inspection loop.


Automation Computer Vision Control Systems Discrete Event Dynamic Systems Inspection Intelligent Systems Manufacturing Reverse Engineering Robotics 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    R. Bajcsy, “Active Perception,” Proceedings of the IEEE, Vol. 76, No. 8, August 1988.Google Scholar
  2. [2]
    M. J. Banks and E. Cohen, “Realtime B-Spline Curves from Interactively Sketched Data,” Proceedings of the 1990 Symposium on Interactive 3-D graphics, ACM, March 1990.Google Scholar
  3. [3]
    A. Benveniste and P. L. Guernic, “Hybrid Dynamical Systems Theory and the SIGNAL Language,” IEEE Transactions on Automatic Control, Vol. 35, No. 5, May 1990.Google Scholar
  4. [4]
    M. J. Bradakis, “Reactive Behavior Design Tool,” Master’s Thesis, Computer Science Department, University of Utah, January 1992.Google Scholar
  5. [5]
    Y. Brave and M. Heymann, Control of Discrete Event Systems Modeled as Hierarchical State Machines, Technical Report CIS-9012, Computer Science Department, TECHNION-Israel Institute of Technology, March 1991.Google Scholar
  6. [6]
    T. M. Carter, K. F. Smith, S. R. Jacobs, and R. M. Neff, “Cell Matrix Methodologies for Integrated Circuit Design,” Integration, The VLSI Journal, 9(1), 1990.Google Scholar
  7. [7]
    C. Chase, J. Serrano, and P. Ramadge, Periodicity and Chaos from Switched Flow Systems: Contrasting Examples of Discretely Controlled Continuous Systems, Technical Report, Department of Electrical Engineering, Princeton University, January 1991.Google Scholar
  8. [8]
    F. Chaumette and P. Rives, “Vision-Based-Control for Robotic Tasks,” In Proceedings of the IEEE International Workshop on Intelligent Motion Control, Vol. 2, pp. 395–400, August 1990.CrossRefGoogle Scholar
  9. [9]
    J. J. Chou and E. Cohen, “Computing Offsets and Tool Paths with Vornoi Diagrams,” Technical Report UUCS-89-017, Department of Computer Science, University of Utah, 1989.Google Scholar
  10. [10]
    J. J. Chou and E. Cohen, “Constant Scallop Height Tool Path Generation,” Technical Report UUCS-89-011, Department of Computer Science, University of Utah, 1989.Google Scholar
  11. [11]
    E. Cohen, T. Lyche, and R. F. Riesenfeld, “Discrete B-Splines and Subdivision Techniques in Computer Aided Geometric Design and Computer Graphics,” Computer Graphics and Image Processing, 14(2):87–111, October 1980.CrossRefGoogle Scholar
  12. [12]
    S. Drake and S. Sela, “A Foundation for Features,” Mechanical Engineering, 111(1), January 1989.Google Scholar
  13. [13]
    J. Gu and K. Smith, “A Structured Approach for VLSI Circuit Design,” IEEE Computer, 22(11), 1989.Google Scholar
  14. [14]
    C. D. Hansen and T. C. Henderson, “CAGD-Based Computer Vision,” IEEE Transactions on Pattern Analysis and Machine Intelligence, PAMI-11(10): 1181–1193, 1989.Google Scholar
  15. [15]
    M. Heymann, “Concurrency and Discrete Event Control”, In Proceedings of the IEEE Conference on Decision and Control, December 1989.Google Scholar
  16. [16]
    Y. Ho, “Performance Evaluation and Perturbation Analysis of Discrete Event Dynamic Systems”, IEEE Transactions on Automatic Control, July 1987.Google Scholar
  17. [17]
    K. Inan and P. Varaiya, “Finitely Recursive Process Models for Discrete Event Systems”, IEEE Transactions on Automatic Control, Vol. 33, No. 7, July 1988.Google Scholar
  18. [18]
    Y. Li and W. M. Wonham, “Controllability and Observability in the State-Feedback Control of Discrete-Event Systems”, Proc. 27th Conf on Decision and Control, 1988.Google Scholar
  19. [19]
    G. Lindstrom, J. Maluszynski, and T. Ogi, “Using Types to Interface Functional and Logic Programming,” July 1990, 10 pp. technical summary submitted to 1991 SIGPLAN Symposium on Principles of Programming Languages.Google Scholar
  20. [20]
    A. Nerode and J. B. Remmel, “A Model for Hybrid Systems,” Presented at the Hybrid Systems Workshop, Mathematical Sciences Institute, Cornell University, May 1991.Google Scholar
  21. [21]
    C. M. Ozveren, Analysis and Control of Discrete Event Dynamic Systems: A State Space Approach, Ph.D. Thesis, Massachusetts Institute of Technology, August 1989.Google Scholar
  22. [22]
    C. M. Ozveren and A. S. Willsky, Aggregation and Multi-Level Control in Discrete Event Dynamic Systems, Technical Report CICS-P-199, Center for Intelligent Control Systems, Massachusetts Institute of Technology, March 1990.Google Scholar
  23. [23]
    P. J. Ramadge and W. M. Wonham, “Supervisory Control of a Class of Discrete Event Processes”, SIAM Journal of Control and Optimization, January 1987.Google Scholar
  24. [24]
    P. J. Ramadge and W. M. Wonham, “Modular Feedback Logic for Discrete Event Systems”, SIAM Journal of Control and Optimization, September 1987.Google Scholar
  25. [25]
    R. F. Riesenfeld, “Mathematical Methods in Computer Aided Geometric Design,” chapter Design Tools for Shaping Spline, Academic Press 1989.Google Scholar
  26. [26]
    T. M. Sobh and R. Bajcsy, “A Model for Observing a Moving Agent,” Proceedings of the Fourth International Workshop on Intelligent Robots and Systems (IROS’91), Osaka, Japan, November 1991.Google Scholar
  27. [27]
    R. Suri, “Perturbation Analysis: The State of the Art and Research Issues Explained via the GI/G/1 Queue”, Proc. of the IEEE, January 1989.Google Scholar
  28. [28]
    M. Swanson, R. Kessler, “Domains: efficient mechanisms for specifying mutual exclusion and disciplined data sharing in concurrent scheme,” First U.S./Japan Workshop on Parallel, August 1989Google Scholar
  29. [29]
    J. A. Thingvold and E. Cohen, “Physical Modeling with B-Spline Surfaces for Interactive Design and Animation,” Proceedings of the 1990 Symposium on Interactive 3-D graphics, ACM, March 1990.Google Scholar
  30. [30]
    A. F. Vaz and W. M. Wonham, “On Supervisor Reduction in Discrete-Event Systems”, Technical Report, Systems Control Group, Department of Electrical Engineering, University of Toronto, 1985.Google Scholar
  31. [31]
    Y. Willner and M. Heymann, On Supervisory Control of Concurrent Dis crete-Event Systems, Technical Report CIS-9009, Computer Science Department, TECHNION-Israel Institute of Technology, October 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Tarek M. Sobh
    • 1
  • Chris Jaynes
    • 1
  • Mohamed Dekhil
    • 1
  • Tom Henderson
    • 1
  1. 1.Department of Computer ScienceCollege of Engineering, University of UtahSalt Lake CityUSA

Personalised recommendations