MODELING AND VERIFICATION ANALYSIS OF A FLEXIBLE MANUFACTURING SYSTEM: A MODAL LOGIC APPROACH

TitleMODELING AND VERIFICATION ANALYSIS OF A FLEXIBLE MANUFACTURING SYSTEM: A MODAL LOGIC APPROACH
Publication TypeJournal Article
Year of Publication2018
AuthorsKONIGSBERG ZVI
JournalNeural, Parallel, and Scientific Computations
Volume26
Issue1
Start Page65
Pagination10
Date Published2018
ISSN1056-2176
Keywords08A99, 39A11, 93D35, 93D99
Abstract

A flexible manufacturing system is an efficient production line with versatile machines, an automatic transport system and a sophisticated decision making system. This paper proposes a formal modeling and verification analysis methodology, which consists in representing the flexible manufacturing system by means of a modal logic formula. Then, using the concept of logic implication, and transforming this logical implication relation into a set of clauses, a modal resolution qualitative method for verification (satisfiability) as well as performance issues, for some queries is applied.

URLhttps://acadsol.eu/npsc/articles/26/1/4.pdf
DOI10.12732/npsc.v26i1.4
Refereed DesignationRefereed
Full Text

REFERENCES
[1] Z. Retchkiman, Stabilization/Regulation of a Multirobotic system modeled with
Petri nets using vector Lyapunov and Comparison Principles, Third International
Conference on Dynamic Systems and Applications, Atlanta 2001.
[2] Z. Retchkiman, A Mathematical Logic Validation Procedure for Petri Net Models,
International Journal of Pure and Applied Mathematics, Vol 115, No.3, 2017
[3] B.F. Chellas, Modal Logic: An Introduction, Cambridge University Press, 1980.
[4] P. Blackburn, J. van Benthem, and F. Wolter, Handbook of Modal Logic, Elsevier, 2007.
[5] M. Davis et al, Computability, Complexity and Languages, Academic Press, 1983.
[6] P. Enjalbert, L. Del Cerro, Modal Resolution in Clausal Form, Theoretical Computer
Science, North Holland, 1989.