Cláudio Walter - Academia.edu (original) (raw)

Papers by Cláudio Walter

Research paper thumbnail of Functional Programming for Discrete Process Control

IFAC Proceedings Volumes, 1982

Manufacturing process can be described by transfer functions, which act on the manufactured objec... more Manufacturing process can be described by transfer functions, which act on the manufactured object's attributes, in the same way as co~ puting functions act on data. Machines are regarded as interpretation resources, with the same conceptual function as processors, and a factory is seen as an object-flow interpreter. This analogy is explored in s eve ral ways, and it can be considered a starting point for the design on the pro cess controller. The resulting methodology should contribute towards be~= ter communication between computer control users and suppli e rs, l e ading to faster and more reliable control software design.

Research paper thumbnail of Manufacturing Process Control Specification with Functional Programming

The paper presents and explores the analogy between manufacturing and data processing. from the p... more The paper presents and explores the analogy between manufacturing and data processing. from the point of view of the Functional Programming concept proposed by Backus. If the data file is replaced by a set of objects, a data processor becomes a manufacturing machine, and a factory is regarded as an object-flow interpreter. This suggests a manufacturing process descrip tion formalism, which in turn leads to a controller specification methodology. Although it can be extended to continuous processes, the analogy applies especially to discrete processes that is,. processes whose evolution co'respohdstosequences of easily identifiable, and relatively few steps_

Research paper thumbnail of An Analysis of Discrete Process Control Languages According to the Mealy Machine

IFAC Proceedings Volumes, 1981

The aim of this paper is to present a unified tool for the analysis of real time controller speci... more The aim of this paper is to present a unified tool for the analysis of real time controller specification and programming languages, according to the MEALY model of sequential machines. The controller model is constituted of two parts: the observer, which reconstitutes the controlled process's state vector, and the combinatorial, which generates the commands as a function of this vector. Some significant aspects, such as parallelism, and the shared resource management problem are considered with respect to this model and to programming practices, from relay ladder diagrams up to procedural languages.

Research paper thumbnail of Functional Programming for Discrete Process Control

IFAC Proceedings Volumes, 1982

Manufacturing process can be described by transfer functions, which act on the manufactured objec... more Manufacturing process can be described by transfer functions, which act on the manufactured object's attributes, in the same way as co~ puting functions act on data. Machines are regarded as interpretation resources, with the same conceptual function as processors, and a factory is seen as an object-flow interpreter. This analogy is explored in s eve ral ways, and it can be considered a starting point for the design on the pro cess controller. The resulting methodology should contribute towards be~= ter communication between computer control users and suppli e rs, l e ading to faster and more reliable control software design.

Research paper thumbnail of Manufacturing Process Control Specification with Functional Programming

IFAC Proceedings Volumes, 1982

The paper presents and explores the analogy between manufacturing and data processing. from the p... more The paper presents and explores the analogy between manufacturing and data processing. from the point of view of the Functional Programming concept proposed by Backus. If the data file is replaced by a set of objects, a data processor becomes a manufacturing machine, and a factory is regarded as an object-flow interpreter. This suggests a manufacturing process descrip tion formalism, which in turn leads to a controller specification methodology. Although it can be extended to continuous processes, the analogy applies especially to discrete processes that is,. processes whose evolution co'respohdstosequences of easily identifiable, and relatively few steps_

Research paper thumbnail of A structuring language for computer controlled multilevel systems

Annual Review in Automatic Programming, 1980

The aim of this paper is to present a tool for describing and structuring real time control syste... more The aim of this paper is to present a tool for describing and structuring real time control systems. The system description is based on a model derived from the Mealy machine,which acts as the controller of the process. The underlying idea is the concept that the control function is always combinatorial, nrovided the state of the process variables is known. The controller is constitutedof the observer, which reconstitutes the state variables which are not available by direct measurement, and of the combinatorial, which generates the commands for the controlled process. The controller plusthe controlled processes constitute what we call a service, which may itself be controlled by another controller belonging to a higher level service. Multiple services are thus organized as a hierarchical structure and executed in virtual parallelism.

Research paper thumbnail of Medi��o e controle do tempo de atravessamento em um sistema de manufatura

Research paper thumbnail of Medi��o e pr�-controle do desempenho de um plano de a��es estrat�gicas em manufatura

Research paper thumbnail of Towards a Paperless Job Shop: Computerized Scheduling Revisited

Advances in Production Management Systems, 1991

Computerized scheduling has yet to be generally accepted as a useful and reliable management tool... more Computerized scheduling has yet to be generally accepted as a useful and reliable management tool. The reasons are both managerial (how to include the scheduler into the production control system with adequate process and human interfaces) and algorithmic. The paper proposes an algorithm and a modified conflict solving rule for scheduling (which have been exhaustively tested in real job shops) along with an information system architecture which includes the scheduler into a closed production control loop.

Research paper thumbnail of A Data Modeling Framework for OKP Design and Management

Advances in Production Management Systems, 1992

Research paper thumbnail of Computer Aided Quotations for the Capital Goods Industry

Advances in Production Management Systems, 1991

Research paper thumbnail of Control Software Specification and Design: An Overview

Research paper thumbnail of A informática no planejamento da produção fabril: necessidades e métodos

Research paper thumbnail of Plant Engineering: Conceptual Modeling and Modular Design of a Computer Aided Environment

When designing a plant for continuous or semi-continuous processes, such as paper pulp or petroch... more When designing a plant for continuous or semi-continuous processes, such as paper pulp or petrochemical production systems, engineers face very complex tasks, which are only in part supported by software tools. The paper analyses the problem, proposes the RCAD software architecture and describes partial implementation results. The architecture, which is based on a simple yet powerful conceptual model, combines low cost commercially available packages with relatively little custom written software. Its features are nowadays either supported by very expensive or very specialized integrated packages, or separately performed by largely disintegrated database managers, drafting systems and other software. Keyword codes: J.6

Research paper thumbnail of Computer Aided Quotations for the Capital Goods Industry

Research paper thumbnail of A Data Modeling Framework for OKP Design and Management

Research paper thumbnail of Un formalisme pour la spécification des contrôleurs temps-réel de procédés discrets. (A formal system for specifying real-time checkers of discrete process)

Presentation du formalisme, notion d'observateur. Application du formalisme au controle des p... more Presentation du formalisme, notion d'observateur. Application du formalisme au controle des procedes. Analyse des langages et systemes dans l'esprit du formalisme. Algorithmes et automates de sequence. Syntaxe du langage CSL. Proposition d'un interpreteur CSL. Application a une installation d'emballage et de stockage de lampes electriques

Research paper thumbnail of Proceedings of the IFIP WG5.7 Working Conference on Evaluation of Production Management Methods

Google, Inc. (search). ...

Research paper thumbnail of Towards the Automated Design of Database Systems: Application to Production Management

… : proceedings of the …, 1990

The paper presents a method and a set of tools for the automated design of databases for nonconve... more The paper presents a method and a set of tools for the automated design of databases for nonconventional applications, based on a conceptual modelling approach, which follows the E-(for Entity) model. The E-model is a semantic data model which accepts a graphical representation, making its use and understanding quite comfortable for practicians of the application. One of the first applications, which also provided many of its functional requirements, is a production management system.

Research paper thumbnail of Production Management Methods, Proceedings of the IFIP WG5.7 Working Conference on Evaluation of Production Management Methods, Gramado, Brazil, 21-24 March, 1994

Part 1 Invited papers: beyond year 2000 - production management in the virtual company, A. Rolsta... more Part 1 Invited papers: beyond year 2000 - production management in the virtual company, A. Rolstadas games and organizational development - a new dimension for production management system, J.O. Riis a methodology to evaluate the best industrial practices in the frame of the IMS programme - GLOBEMAN 21, G. Doumeingts et al multi phase master planning, P.M.J. Giesberts and J.C. Wortmann. Part 2 Classification of manufacturing systems: a diversified approach towards purchasing and supply, R.H.A. van Stekelenborg and L. Kornelius selection and effective implementation of manufacturing control systems - a knowledge based approach, A.K. Kochhar interaction models and evaluation of production management systems - action research for productivity improvement, T.A. Hansen et al. Part 3 Modelling: manufacturing systems modelling, specification and analysis, F. Vernadat logistic concept development - a new approach to overall integrated logistics modelling and design, C. Moller et al engineer...

Research paper thumbnail of Functional Programming for Discrete Process Control

IFAC Proceedings Volumes, 1982

Manufacturing process can be described by transfer functions, which act on the manufactured objec... more Manufacturing process can be described by transfer functions, which act on the manufactured object's attributes, in the same way as co~ puting functions act on data. Machines are regarded as interpretation resources, with the same conceptual function as processors, and a factory is seen as an object-flow interpreter. This analogy is explored in s eve ral ways, and it can be considered a starting point for the design on the pro cess controller. The resulting methodology should contribute towards be~= ter communication between computer control users and suppli e rs, l e ading to faster and more reliable control software design.

Research paper thumbnail of Manufacturing Process Control Specification with Functional Programming

The paper presents and explores the analogy between manufacturing and data processing. from the p... more The paper presents and explores the analogy between manufacturing and data processing. from the point of view of the Functional Programming concept proposed by Backus. If the data file is replaced by a set of objects, a data processor becomes a manufacturing machine, and a factory is regarded as an object-flow interpreter. This suggests a manufacturing process descrip tion formalism, which in turn leads to a controller specification methodology. Although it can be extended to continuous processes, the analogy applies especially to discrete processes that is,. processes whose evolution co'respohdstosequences of easily identifiable, and relatively few steps_

Research paper thumbnail of An Analysis of Discrete Process Control Languages According to the Mealy Machine

IFAC Proceedings Volumes, 1981

The aim of this paper is to present a unified tool for the analysis of real time controller speci... more The aim of this paper is to present a unified tool for the analysis of real time controller specification and programming languages, according to the MEALY model of sequential machines. The controller model is constituted of two parts: the observer, which reconstitutes the controlled process's state vector, and the combinatorial, which generates the commands as a function of this vector. Some significant aspects, such as parallelism, and the shared resource management problem are considered with respect to this model and to programming practices, from relay ladder diagrams up to procedural languages.

Research paper thumbnail of Functional Programming for Discrete Process Control

IFAC Proceedings Volumes, 1982

Manufacturing process can be described by transfer functions, which act on the manufactured objec... more Manufacturing process can be described by transfer functions, which act on the manufactured object's attributes, in the same way as co~ puting functions act on data. Machines are regarded as interpretation resources, with the same conceptual function as processors, and a factory is seen as an object-flow interpreter. This analogy is explored in s eve ral ways, and it can be considered a starting point for the design on the pro cess controller. The resulting methodology should contribute towards be~= ter communication between computer control users and suppli e rs, l e ading to faster and more reliable control software design.

Research paper thumbnail of Manufacturing Process Control Specification with Functional Programming

IFAC Proceedings Volumes, 1982

The paper presents and explores the analogy between manufacturing and data processing. from the p... more The paper presents and explores the analogy between manufacturing and data processing. from the point of view of the Functional Programming concept proposed by Backus. If the data file is replaced by a set of objects, a data processor becomes a manufacturing machine, and a factory is regarded as an object-flow interpreter. This suggests a manufacturing process descrip tion formalism, which in turn leads to a controller specification methodology. Although it can be extended to continuous processes, the analogy applies especially to discrete processes that is,. processes whose evolution co'respohdstosequences of easily identifiable, and relatively few steps_

Research paper thumbnail of A structuring language for computer controlled multilevel systems

Annual Review in Automatic Programming, 1980

The aim of this paper is to present a tool for describing and structuring real time control syste... more The aim of this paper is to present a tool for describing and structuring real time control systems. The system description is based on a model derived from the Mealy machine,which acts as the controller of the process. The underlying idea is the concept that the control function is always combinatorial, nrovided the state of the process variables is known. The controller is constitutedof the observer, which reconstitutes the state variables which are not available by direct measurement, and of the combinatorial, which generates the commands for the controlled process. The controller plusthe controlled processes constitute what we call a service, which may itself be controlled by another controller belonging to a higher level service. Multiple services are thus organized as a hierarchical structure and executed in virtual parallelism.

Research paper thumbnail of Medi��o e controle do tempo de atravessamento em um sistema de manufatura

Research paper thumbnail of Medi��o e pr�-controle do desempenho de um plano de a��es estrat�gicas em manufatura

Research paper thumbnail of Towards a Paperless Job Shop: Computerized Scheduling Revisited

Advances in Production Management Systems, 1991

Computerized scheduling has yet to be generally accepted as a useful and reliable management tool... more Computerized scheduling has yet to be generally accepted as a useful and reliable management tool. The reasons are both managerial (how to include the scheduler into the production control system with adequate process and human interfaces) and algorithmic. The paper proposes an algorithm and a modified conflict solving rule for scheduling (which have been exhaustively tested in real job shops) along with an information system architecture which includes the scheduler into a closed production control loop.

Research paper thumbnail of A Data Modeling Framework for OKP Design and Management

Advances in Production Management Systems, 1992

Research paper thumbnail of Computer Aided Quotations for the Capital Goods Industry

Advances in Production Management Systems, 1991

Research paper thumbnail of Control Software Specification and Design: An Overview

Research paper thumbnail of A informática no planejamento da produção fabril: necessidades e métodos

Research paper thumbnail of Plant Engineering: Conceptual Modeling and Modular Design of a Computer Aided Environment

When designing a plant for continuous or semi-continuous processes, such as paper pulp or petroch... more When designing a plant for continuous or semi-continuous processes, such as paper pulp or petrochemical production systems, engineers face very complex tasks, which are only in part supported by software tools. The paper analyses the problem, proposes the RCAD software architecture and describes partial implementation results. The architecture, which is based on a simple yet powerful conceptual model, combines low cost commercially available packages with relatively little custom written software. Its features are nowadays either supported by very expensive or very specialized integrated packages, or separately performed by largely disintegrated database managers, drafting systems and other software. Keyword codes: J.6

Research paper thumbnail of Computer Aided Quotations for the Capital Goods Industry

Research paper thumbnail of A Data Modeling Framework for OKP Design and Management

Research paper thumbnail of Un formalisme pour la spécification des contrôleurs temps-réel de procédés discrets. (A formal system for specifying real-time checkers of discrete process)

Presentation du formalisme, notion d'observateur. Application du formalisme au controle des p... more Presentation du formalisme, notion d'observateur. Application du formalisme au controle des procedes. Analyse des langages et systemes dans l'esprit du formalisme. Algorithmes et automates de sequence. Syntaxe du langage CSL. Proposition d'un interpreteur CSL. Application a une installation d'emballage et de stockage de lampes electriques

Research paper thumbnail of Proceedings of the IFIP WG5.7 Working Conference on Evaluation of Production Management Methods

Google, Inc. (search). ...

Research paper thumbnail of Towards the Automated Design of Database Systems: Application to Production Management

… : proceedings of the …, 1990

The paper presents a method and a set of tools for the automated design of databases for nonconve... more The paper presents a method and a set of tools for the automated design of databases for nonconventional applications, based on a conceptual modelling approach, which follows the E-(for Entity) model. The E-model is a semantic data model which accepts a graphical representation, making its use and understanding quite comfortable for practicians of the application. One of the first applications, which also provided many of its functional requirements, is a production management system.

Research paper thumbnail of Production Management Methods, Proceedings of the IFIP WG5.7 Working Conference on Evaluation of Production Management Methods, Gramado, Brazil, 21-24 March, 1994

Part 1 Invited papers: beyond year 2000 - production management in the virtual company, A. Rolsta... more Part 1 Invited papers: beyond year 2000 - production management in the virtual company, A. Rolstadas games and organizational development - a new dimension for production management system, J.O. Riis a methodology to evaluate the best industrial practices in the frame of the IMS programme - GLOBEMAN 21, G. Doumeingts et al multi phase master planning, P.M.J. Giesberts and J.C. Wortmann. Part 2 Classification of manufacturing systems: a diversified approach towards purchasing and supply, R.H.A. van Stekelenborg and L. Kornelius selection and effective implementation of manufacturing control systems - a knowledge based approach, A.K. Kochhar interaction models and evaluation of production management systems - action research for productivity improvement, T.A. Hansen et al. Part 3 Modelling: manufacturing systems modelling, specification and analysis, F. Vernadat logistic concept development - a new approach to overall integrated logistics modelling and design, C. Moller et al engineer...