A structure-function-control paradigm for knowledge-based modeling and design of manufacturing workcells
暂无分享,去创建一个
Shamkant B. Navathe | Keith L. Doty | Stefano Caselli | Constantinos Papaconstantinou | S. Navathe | K. Doty | S. Caselli | C. Papaconstantinou
[1] Stanley. Modeling lntegrated Manufacturing Data with SAM , 1986, Computer.
[2] DianeC . P. Smith,et al. Database Abstractions: Aggregation and Generalization , 1989 .
[3] Barry W. Boehm,et al. Verifying and Validating Software Requirements and Design Specifications , 1989, IEEE Software.
[4] Bruce H. Krogh,et al. Petri Net Tools for the Specification and Analysis of Discrete Controllers , 1990, IEEE Trans. Software Eng..
[5] John Mylopoulos,et al. Knowledge Representation as the Basis for Requirements Specifications , 1985, Computer.
[6] Mack W. Alford. SREM at the Age of Eight; The Distributed Computing Design System , 1985, Computer.
[7] Norihisa Komoda,et al. A Petri Net-Based Controller for Flexible and Maintainable Sequence Control and its Applications in Factory Automation , 1986, IEEE Transactions on Industrial Electronics.
[8] Hartmut Wedekind,et al. Conceptual basis for database applications in flexible manufacturing systems (FMS) , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.
[9] James L. Peterson,et al. Petri net theory and the modeling of systems , 1981 .
[10] K. W. Liu,et al. Integrating the CIM environment using object-oriented data management technology , 1988, [Proceedings] 1988 International Conference on Computer Integrated Manufacturing.
[11] R. Jaikumar. Postindustrial manufacturing , 1986 .
[12] Frank DiCesare,et al. Implementation of a Petri net controller for a machining workstation , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.
[13] Roger King,et al. Semantic database modeling: survey, applications, and research issues , 1987, CSUR.
[14] Alan A. Desrochers. Modeling and control using Petri nets , 1989 .
[15] Cynthia K. Whitney,et al. Decision support requirements in flexible manufacturing , 1984 .
[16] W BoehmBarry. A Spiral Model of Software Development and Enhancement , 1988 .
[17] Frank DiCesare,et al. Real time control of multilevel manufacturing systems using colored Petri nets , 1988, Proceedings. 1988 IEEE International Conference on Robotics and Automation.
[18] Michael J. Wozny,et al. Abstract data types for CAD systems , 1985, Proceedings. 1985 IEEE International Conference on Robotics and Automation.
[19] C. Whitney,et al. Building "Expert systems" when no experts exist , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.
[20] Luqi. Software evolution through rapid prototyping , 1989, Computer.
[21] Edward L. Fisher,et al. Logic-based factory design , 1985, Proceedings. 1985 IEEE International Conference on Robotics and Automation.
[22] V. M. Markowitz,et al. Representing processes in the extended entity-relationship model , 1990, [1990] Proceedings. Sixth International Conference on Data Engineering.
[23] Shamkant B. Navathe,et al. Integration and cataloging of engineering design information , 1990, Systems Integration '90. Proceedings of the First International Conference on Systems Integration.
[24] Bruce H. Krogh,et al. Essentially decision free Petri nets for real-time resource allocation , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.
[25] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[26] Keith L. Doty,et al. Using semantic data models in knowledge-based manufacturing-workcell design , 1990, Proceedings. 5th IEEE International Symposium on Intelligent Control 1990.
[27] Anthony Levas,et al. WADE: an object-oriented environment for modeling and simulation of workcell applications , 1989, IEEE Trans. Robotics Autom..
[28] Rachid Alami,et al. Programming of flexible assembly cell: Task modelling and system integration , 1985, Proceedings. 1985 IEEE International Conference on Robotics and Automation.
[29] Lee R. Nackman. Software environments for CAD systems , 1985, Proceedings. 1985 IEEE International Conference on Robotics and Automation.
[30] Wolfgang Reisig. Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.
[31] C.M. Eastman. Database facilities for engineering design , 1981, Proceedings of the IEEE.
[32] J. T. Black,et al. Cellular manufacturing systems modeling: The Petri net approach , 1990 .
[33] Shamkant B. Navathe,et al. SA-ER: A Methodology that Links Structured Analysis and Entity-Relationship Modeling for Database Design , 1986, International Conference on Conceptual Modeling.
[34] Gruia-Catalin Roman,et al. A taxonomy of current issues in requirements engineering , 1985, Computer.
[35] Jeannette M. Wing. A specifier's introduction to formal methods , 1990, Computer.
[36] Andries van Dam,et al. Reading and Writing the Electronic Book , 1985, Computer.
[37] Barry W. Boehm,et al. A spiral model of software development and enhancement , 1986, Computer.
[38] B. O. Nnaji,et al. An integrated data model for CIM planning and control , 1988, [Proceedings] 1988 International Conference on Computer Integrated Manufacturing.
[39] Hector J. Levesque,et al. KNOWLEDGE REPRESENTATION AND REASONING1 , 1989 .
[40] Stanley Y. W. Su. Modeling Integrated Manufacturing Data with SAM* , 1986, Computer.
[41] A. Nico Habermann,et al. Software Development Environments , 1987, Computer.
[42] Hartmut Wedekind,et al. Implementation of a distributed data management system for manufacturing applications-a feasibility study , 1988, [Proceedings] 1988 International Conference on Computer Integrated Manufacturing.
[43] P. Rai-Choudhury,et al. An approach toward 20-percent-efficient silicon solar cells , 1986, IEEE Transactions on Electron Devices.
[44] Bruce H. Thomas,et al. Using Grafcet to design generic controllers , 1988, [Proceedings] 1988 International Conference on Computer Integrated Manufacturing.
[45] Alan A. Desrochers. Modeling and Control of Automated Manufacturing Systems , 1989 .
[46] Manjunath Kamath,et al. Applications of petri net based models in the modelling and analysis of flexible manufacturing systems , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.