Operation-oriented specification for integrated control logic development
ABSTRACT In order to develop a manufacturing automation system, it is necessary to understand the manufacturing operations and their relationship, the sequence of operations, which is the basis for control logic design. The operations have preconditions that define when they are allowed to start executing, which also defines the sequence relations among them. Requirements and demands throughout the development will add and change these conditions, which also changes the sequence of operations. This paper studies how an operation-oriented development approach better can handle the operations and manufacturing sequences from early product design to detailed control engineering. An operation is defined by an extended finite automaton, with an initial, executes and finished location. The start event is enabled by a precondition, the stop event is enabled by a postcondition and the reset event is enabled by a reset condition. This representation together with a resource and product description enables the possibility to integrate control logic in the complete development process.
- [show abstract] [hide abstract]
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.IEEE Transactions on Automation Science and Engineering 11/2010; · 1.67 Impact Factor
Article: CIMOSA — Overview and status[show abstract] [hide abstract]
ABSTRACT: Starting from the identification of the increased need for enterprise integration and real-time and up-to-date information, the paper briefly describes the CIMOSA concept, the enterprise modelling solution for identification of available information and its use in the operational processes of the manufacturing enterprise.CIMOSA has been developed by the ESPRIT Consortium AMICE and has been validated together with the ESPRIT projects CIMPRES, CODE and VOICE in multiple case studies and pilot implementations. Validation results have been used to improve the technical specifications of CIMOSA.Exploitation of CIMOSA has been started in the area of enterprise modelling, modelling tool developments and further enhancement of industrial pilot implementations of the Integrating Infrastructure. These efforts are being complemented by promotional activities aimed at increasing enterprise integration awareness and acceptance and support of standardisation activities on national, European and international level.Enterprise integration has not yet become the common industrial goal, nor the specific day-to-day operational tool in the manufacturing community that it should be. Lean enterprises, business re-engineering, concurrent engineering, management of change — identified as current management concerns — should be viewed as subsets of enterprise integration. The engineering of the enterprise has to be become an engineering discipline in its own right in order to solve the many problems in the operation of enterprises of the future.Computers in Industry 01/1995; 27(2):101-109. · 1.71 Impact Factor
Conference Proceeding: Modeling of discrete event systems using finite automata with variables[show abstract] [hide abstract]
ABSTRACT: To get industrial acceptance of supervisory control theory, there is a need to bridge the gap between the signal-based industrial reality and the event-based supervisory control framework. This paper tries to do this by introducing a modeling formalism with automata extended with variables, guard expressions and action functions. The formalism is suitable for modeling plants and specifications in the supervisory control framework. An algorithm that transforms a set of extended automata into a set of ordinary automata with equivalent behavior, is presented. This allows the user to model complex behaviors with a compact representation, and at the same time use existing algorithms for analysis.Decision and Control, 2007 46th IEEE Conference on; 01/2008