|Title||MODELING AND VERIFICATION ANALYSIS OF A FLEXIBLE MANUFACTURING SYSTEM: A MODAL LOGIC APPROACH|
|Publication Type||Journal Article|
|Year of Publication||2018|
|Journal||Neural, Parallel, and Scientific Computations|
|Keywords||08A99, 39A11, 93D35, 93D99|
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.
|Full Text|| |