IDEAS home Printed from https://ideas.repec.org/a/hin/jnddns/813476.html
   My bibliography  Save this article

Modeling and Verification of Reconfigurable and Energy-Efficient Manufacturing Systems

Author

Listed:
  • Jiafeng Zhang
  • Mohamed Khalgui
  • Wassim Mohamed Boussahel
  • Georg Frey
  • ChiTin Hon
  • Naiqi Wu
  • Zhiwu Li

Abstract

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.

Suggested Citation

  • Jiafeng Zhang & Mohamed Khalgui & Wassim Mohamed Boussahel & Georg Frey & ChiTin Hon & Naiqi Wu & Zhiwu Li, 2015. "Modeling and Verification of Reconfigurable and Energy-Efficient Manufacturing Systems," Discrete Dynamics in Nature and Society, Hindawi, vol. 2015, pages 1-14, June.
    • Handle: RePEc:hin:jnddns:813476
    DOI: 10.1155/2015/813476
    as

    Download full text from publisher

    File URL: http://downloads.hindawi.com/journals/DDNS/2015/813476.pdf
    Download Restriction: no
    File URL: http://downloads.hindawi.com/journals/DDNS/2015/813476.xml
    Download Restriction: no
    File URL: https://libkey.io/10.1155/2015/813476?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    Citations

    Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
    as


    Cited by:

    1. Delorme, Xavier & Cerqueus, Audrey & Gianessi, Paolo & Lamy, Damien, 2023. "RMS balancing and planning under uncertain demand and energy cost considerations," International Journal of Production Economics, Elsevier, vol. 261(C).

    More about this item

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:hin:jnddns:813476. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Mohamed Abdelhakeem (email available below). General contact details of provider: https://www.hindawi.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.