Sequence Planning for Integrated Product, Process and Automation Design
- 28 June 2010
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Automation Science and Engineering
- Vol. 7 (4), 791-802
- https://doi.org/10.1109/tase.2010.2051664
Abstract
In order to obtain a unified information flow from early product design to final production, an integrated framework for product, process and automation design is presented. The framework is based on sequences of operations and includes a formal relation between product properties and process operations. This relation includes liaisons (interfaces) and precedence relations, where the precedence relations generate preconditions for the related process operations. From this information a set of sequences of operations (SOPs) is generated. A formal graphical language for hierarchical operations and SOPs is then introduced and defined based on automata extended with variables. Since the operations are self-contained they can be grouped and viewed from different angles, e.g., from a product or a resource perspective. These multiple views increase the interoperability between different engineering disciplines. A case study is performed on a car manufacturing cell, where the suggested modeling framework is shown to give comprehensible SOPs.Keywords
This publication has 19 references indexed in Scilit:
- Verification of process operations using model checkingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2009
- Compositional Synthesis of Maximally Permissive Supervisors Using Supervision EquivalenceDiscrete Event Dynamic Systems, 2007
- Modeling of discrete event systems using finite automata with variablesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2007
- Efficient supervisory synthesis of large systemsControl Engineering Practice, 2006
- Distributed Extended Finite-State Machines: Communication and ControlPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2006
- Automated control synthesis for an assembly line using discrete event system control theoryIEEE Transactions on Systems, Man and Cybernetics, Part C (Applications and Reviews), 2003
- Modeling, specification and controller synthesis for discrete event systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Review of research in feature-based designJournal of Manufacturing Systems, 1993
- Petri Net Synthesis for Discrete Event Control of Manufacturing SystemsPublished by Springer Science and Business Media LLC ,1993
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987