Priced discrete Automata for modeling energy efficient manufacturing systems

2016 ◽  
Author(s):  
Wassim Mohamed Boussahel ◽  
Georg Frey
Keyword(s):  
Energy Efficient ◽  
Manufacturing Systems ◽  
Efficient Manufacturing ◽  
Energy Efficient Manufacturing

scholarly journals Event-Driven Online Machine State Decision for Energy-Efficient Manufacturing System Based on Digital Twin Using Max-Plus Algebra

2019 ◽  
Vol 11 (18) ◽  
pp. 5036 ◽  
Author(s):  
Junfeng Wang ◽  
Yaqin Huang ◽  
Qing Chang ◽  
Shiqi Li
Keyword(s):  
Energy Saving ◽  
Energy Efficient ◽  
Manufacturing Systems ◽  
Manufacturing System ◽  
Production Data ◽  
Physical Systems ◽  
Digital Twin ◽  
Saving Decisions ◽  
Efficient Manufacturing ◽  
Energy Efficient Manufacturing

Energy-efficient manufacturing is an important aspect of sustainable development in current society. The rapid development of sensing technologies can collect real-time production data from shop floors, which provides more opportunities for making energy saving decisions about manufacturing systems. In this paper, a digital twin-based bidirectional operation framework is proposed to realize energy-efficient manufacturing systems. The data view, model view, and service view of a digital twin manufacturing system are formulated to describe the physical systems in virtual space, to perform simulation analysis, to make decisions, and to control the physical systems for various energy-saving purposes. For online energy-saving decisions about machines in serial manufacturing systems, an event-driven estimation method of an energy-saving window based on Max-plus Algebra is presented to put the target machine to sleep, considering real-time production data of a system segment. A practical, simplified automotive production line is used to illustrate the effectiveness of the proposed method by simulation experiments. Our method has no restriction on machine failure mode and predefined parameters for energy-saving decision of machines. The proposed approach has potential use in synchronous and asynchronous manufacturing systems.

scholarly journals Modeling and Verification of Reconfigurable and Energy-Efficient Manufacturing Systems

2015 ◽  
Vol 2015 ◽  
pp. 1-14 ◽  
Author(s):  
Jiafeng Zhang ◽  
Mohamed Khalgui ◽  
Wassim Mohamed Boussahel ◽  
Georg Frey ◽  
ChiTin Hon ◽  
...  
Keyword(s):  
Energy Efficient ◽  
Manufacturing Systems ◽  
Discrete Event ◽  
Software Tool ◽  
Design Stage ◽  
Formal Modeling ◽  
System Reconfiguration ◽  
Discrete Event Control ◽  
Efficient Manufacturing ◽  
Energy Efficient Manufacturing

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.

Sign in / Sign up

Export Citation Format

Share Document