ARTICLE
TITLE

An Iterative Method for the Design Process of Mode Handling Model

SUMMARY

This paper focuses on formal verification and validation of a model dedicated to mode handling of flexible manufacturing systems. The model is specified using the synchronous formalism Safe State Machines. A structured framework for the design process is presented. The obtained model is characterized by a strong hierarchy and concurrency that is why within the design process an iterative approach for specification, verification and validation is propose in order to improve this process. The main properties being verified are presented and the approach is illustrated through an example of a manufacturing production cell.

PAGES
pp. 53 - 60
COLLECTIONS
Computing
Computing

 Articles related

ThanhQuyen Ngo,M. Hung Nguyen,YaoNan Wang,Ji Ge,ShuNing Wei,T. Long Mai    

In this paper, adaptive iterative learning control (AILC) of uncertain robot manipulators in task space is considered for trajectory tracking in an iterative operation mode. The control scheme incluces a PD controller with a gain switching technique plus... see more


Tankut Acarman,Mutlu Ercan    

In this study, computing system performance enhancement by using iterative learning technique is presented. Computational response time and throughput of the computing system is improved by introducing computational cost model and selection probability f... see more


Gu-Min Jeong,Sang-Hoon Ji    

Learning speed enhancement is one of the most important issues in learning control. If we can improve both learning speed and tracking performance, it will be helpful to the applicability of learning control. Considering these facts, in this paper, we pr... see more


Wijanarto Wijanarto,Yudha Satria    

Multi Criteria Decision Making (MCDM) adalah pengambilan keputusan untuk memilih       alternatif terbaik dari sejumlah alternatif yang tersedia berdasarkan  beberapa kriteria yang ditetapkan oleh si pengambil keputusan... see more

Revista: Techno.Com

Jasmine Aurely Salshabillah (Telkom University) Muhardi Saputra (Telkom University) Warih Puspitasari (Telkom University)    

PT XYZ is a State-Owned Enterprise (BUMN) that is focused on the telecommunications sector. To manage the ongoing business, the company uses SAP S/4HANA. In implementing SAP S/4HANA, several problems were found in the controlling module, particularly in ... see more