Modeling and Verification of Reconfigurable and Energy-Efficient Manufacturing Systems
Joint Authors
Zhang, Jiafeng
Khalgui, Mohamed
Boussahel, Wassim Mohamed
Frey, Georg
Hon, ChiTin
Wu, Naiqi
Li, Zhiwu
Source
Discrete Dynamics in Nature and Society
Issue
Vol. 2015, Issue 2015 (31 Dec. 2015), pp.1-14, 14 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2015-06-01
Country of Publication
Egypt
No. of Pages
14
Main Subjects
Abstract EN
This paper deals with the formal modeling and verification of reconfigurable and energy-efficient manufacturing systems (REMSs) that are considered as reconfigurable discrete event control systems.
A REMS not only allows global reconfigurations for switching the system from one configuration to another, but also allows local reconfigurations on components for saving energy when the system is in a particular configuration.
In addition, the unreconfigured components of such a system should continue running during any reconfiguration.
As a result, during a system reconfiguration, the system may have several possible paths and may fail to meet control requirements if concurrent reconfiguration events and normal events are not controlled.
To guarantee the safety and correctness of such complex systems, formal verification is of great importance during a system design stage.
This paper extends the formalism reconfigurable timed net condition/event systems (R-TNCESs) in order to model all possible dynamic behavior in such systems.
After that, the designed system based on extended R-TNCESs is verified with the help of a software tool SESA for functional, temporal, and energy-efficient properties.
This paper is illustrated by an automatic assembly system.
American Psychological Association (APA)
Zhang, Jiafeng& Khalgui, Mohamed& Boussahel, Wassim Mohamed& Frey, Georg& Hon, ChiTin& Wu, Naiqi…[et al.]. 2015. Modeling and Verification of Reconfigurable and Energy-Efficient Manufacturing Systems. Discrete Dynamics in Nature and Society،Vol. 2015, no. 2015, pp.1-14.
https://search.emarefa.net/detail/BIM-1060772
Modern Language Association (MLA)
Zhang, Jiafeng…[et al.]. Modeling and Verification of Reconfigurable and Energy-Efficient Manufacturing Systems. Discrete Dynamics in Nature and Society No. 2015 (2015), pp.1-14.
https://search.emarefa.net/detail/BIM-1060772
American Medical Association (AMA)
Zhang, Jiafeng& Khalgui, Mohamed& Boussahel, Wassim Mohamed& Frey, Georg& Hon, ChiTin& Wu, Naiqi…[et al.]. Modeling and Verification of Reconfigurable and Energy-Efficient Manufacturing Systems. Discrete Dynamics in Nature and Society. 2015. Vol. 2015, no. 2015, pp.1-14.
https://search.emarefa.net/detail/BIM-1060772
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1060772