Modeling and Verification of Reconfigurable and Energy-Efficient Manufacturing Systems
作者: Jiafeng ZhangMohamed KhalguiWassim Mohamed BoussahelGeorg FreyChiTin HonNaiqi WuZhiwu LiCengiz Çinar
作者单位: 1School of Electro-Mechanical Engineering, Xidian University, Xi’an 710071, China
2Chair of Automation and Energy Systems, Saarland University, 66123 Saarbrücken, Germany
3University of Carthage, 1054 Carthage, Tunisia
4Zentrum für Mechatronik und Automatisierungstechnik, 66121 Saarbrücken, Germany
5Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau
6Faculty of Engineering, King Abdulaziz University, Jeddah 21589, Saudi Arabia
刊名: Discrete Dynamics in Nature and Society, 2015, Vol.2015
来源数据库: Hindawi Journal
DOI: 10.1155/2015/813476
原始语种摘要: 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...
全文获取路径: Hindawi 

  • system 
  • control 控制
  • Energy 能量
  • reconfigurable 可重新配置
  • importance 重要性
  • particular 细致的
  • formal 形式的
  • design 设计
  • great 大的
  • safety 安全