Abstract
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.
This work was supported in part by DARPA grant N00014-91-J-4123 and NSF grant CDA 9024721. All opinions, findings, conclusions or recommendations expressed in this document are those of the author and do not necessarily reflect the views of the sponsoring agencies.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
R. Bajcsy, “Active Perception,” Proceedings of the IEEE, Vol. 76, No. 8, August 1988.
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.
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.
M. J. Bradakis, “Reactive Behavior Design Tool,” Master’s Thesis, Computer Science Department, University of Utah, January 1992.
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.
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.
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.
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.
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.
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.
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.
S. Drake and S. Sela, “A Foundation for Features,” Mechanical Engineering, 111(1), January 1989.
J. Gu and K. Smith, “A Structured Approach for VLSI Circuit Design,” IEEE Computer, 22(11), 1989.
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.
M. Heymann, “Concurrency and Discrete Event Control”, In Proceedings of the IEEE Conference on Decision and Control, December 1989.
Y. Ho, “Performance Evaluation and Perturbation Analysis of Discrete Event Dynamic Systems”, IEEE Transactions on Automatic Control, July 1987.
K. Inan and P. Varaiya, “Finitely Recursive Process Models for Discrete Event Systems”, IEEE Transactions on Automatic Control, Vol. 33, No. 7, July 1988.
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.
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.
A. Nerode and J. B. Remmel, “A Model for Hybrid Systems,” Presented at the Hybrid Systems Workshop, Mathematical Sciences Institute, Cornell University, May 1991.
C. M. Ozveren, Analysis and Control of Discrete Event Dynamic Systems: A State Space Approach, Ph.D. Thesis, Massachusetts Institute of Technology, August 1989.
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.
P. J. Ramadge and W. M. Wonham, “Supervisory Control of a Class of Discrete Event Processes”, SIAM Journal of Control and Optimization, January 1987.
P. J. Ramadge and W. M. Wonham, “Modular Feedback Logic for Discrete Event Systems”, SIAM Journal of Control and Optimization, September 1987.
R. F. Riesenfeld, “Mathematical Methods in Computer Aided Geometric Design,” chapter Design Tools for Shaping Spline, Academic Press 1989.
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.
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.
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 1989
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.
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.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sobh, T.M., Jaynes, C., Dekhil, M., Henderson, T. (1993). Automated Inspection and Reverse Engineering. In: Kaynak, O., Honderd, G., Grant, E. (eds) Intelligent Systems: Safety, Reliability and Maintainability Issues. NATO ASI Series, vol 114. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-58021-5_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-58021-5_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-63438-3
Online ISBN: 978-3-642-58021-5
eBook Packages: Springer Book Archive