Formal modeling methodologies for control of manufacturing cells: Survey and comparison

Castillo, Ignacio; Smith, Jeffrey S.

doi:10.1016/s0278-6125(02)90011-7

Cited by 24 publications

(8 citation statements)

References 55 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Let 0oTp1 be some scheduling period with these given production levels. First, we prove that TXT 0 where T 0 is defined by (10). Indeed, for any trajectory of the closed-loop system with initial conditions satisfying the requirement of Definition 2.2, machine m should process d p parts of type p over the time interval ½0; T. Hence…”

Section: The Main Resultsmentioning

confidence: 95%

See 1 more Smart Citation

Optimal distributed real-time scheduling of flexible manufacturing networks modeled as hybrid dynamical systems

Savkin

Somló

2009

Robotics and Computer-Integrated Manufacturing

View full text Add to dashboard Cite

Section: The Main Resultsmentioning

confidence: 95%

“…This class of HDS was introduced in [4,5] to model flexible manufacturing systems (see also [2,[6][7][8][9][10]). A flexible manufacturing system considered in this paper produces several part-types on a network of machines.…”

Section: Introductionmentioning

confidence: 99%

Optimal distributed real-time scheduling of flexible manufacturing networks modeled as hybrid dynamical systems

Savkin

Somló

2009

Robotics and Computer-Integrated Manufacturing

View full text Add to dashboard Cite

“…The low level deals with the design of routines of pneumatic, hydraulic and electrical devices and its translation to the programming languages of local controllers like PLC's, for instance [4,5].On the other hand, the high level studies the case of equipment and modules coordination of AMS, where the concurrency, blocking, fault detections, time optimization of routines and the computer-based supervision appear in the DES model to facilitate the manufacturing of different and concurrent products [1,6].…”

Section: Introductionmentioning

confidence: 99%

Modeling Framework for Automated Manufacturing Systems Based on Petri Nets and ISA Standards

Martínez¹,

Velazquez²,

Valdés³

et al. 2013

SIC

View full text Add to dashboard Cite

This work presents a systematic methodology to model Automated Manufacturing Systems using Petri Nets. The modelling strategy consists in the definition and the interconnection of some generic Petri Net models applied to the discrete-event dynamic behaviour of the equipments and its procedures. It is based on the industrial standards ISA-88 and ISA-95, where the classification of equipment and the definition of their generic process tasks are suggested, separately of the product manufacturing recipes. The approach provides a formal and ordered methodology to study industrial automated systems where the equipment availability, storage limitations, sharing resources and logic precedence between process tasks appear in the Petri model. A complete case of study related to an automated cell is presented which includes a network of PLC's and industrial robots.

show abstract

“…A PLC device has multiple I/O functions and logic operation functions, and plays a central role in cell control [2,9]. PLC programs are the software counterpart of this machine.…”

Section: Introductionmentioning

confidence: 99%

Auto-generation of IEC standard PLC code using t-MPSG

Thapa

Park

et al. 2009

Int. J. Control Autom. Syst.

View full text Add to dashboard Cite

The objective of this paper is to reduce the development time of a PLC (Programmable Logic Controller) by automating the task of code generation. For this purpose, we applied t-MPSG (Timed-Message Based Part State Graph). The t-MPSG is an extended finite state automata used to model and generate an execution module for a real-time shop floor controller system. In our proposed method, t-MPSG is used to model the formal specification of the controller system that can be translated into textual structure. After the verification of the t-MPSG model, it can be used as an input to the plc-builder tool. The plc-builder tool is an extended version of a conventional MPSG simulator. It can be used to translate the textual structure of the t-MPSG into an IEC standard PLC code. Finally, the generated code can be downloaded to a PLC emulator or a PLC device for the purpose of simulation and execution. The similarity in the hierarchical structure of the t-MPSG and the IEC standard PLC program has made it convenient to transform from one form to another. Furthermore, an illustration of the methodology to auto-generate IEC standard PLC code using t-MPSG is explained with a suitable example.

show abstract

Formal modeling methodologies for control of manufacturing cells: Survey and comparison

Cited by 24 publications

References 55 publications

Optimal distributed real-time scheduling of flexible manufacturing networks modeled as hybrid dynamical systems

Optimal distributed real-time scheduling of flexible manufacturing networks modeled as hybrid dynamical systems

Modeling Framework for Automated Manufacturing Systems Based on Petri Nets and ISA Standards

Auto-generation of IEC standard PLC code using t-MPSG

Contact Info

Product

Resources

About