【作者单位】; 1 Tibet Univ, Agr & Anim Husb Coll, Lin Zhi, Tibet, Peoples R China ; 2 Hohai Univ, Coll Energy & Elect Engn, Nanjing, Jiangsu, Peoples R China
【召开年】2015
【会议录】PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON MECHATRONICS, ELECTRONIC, INDUSTRIAL AND CONTROL ENGINEERING
【关键词】MANUFACTURING SYSTEMS
【摘要】 This paper presents a new formal modeling framework for reconfigurable control. The main idea is to use the STRIPS , a formal language for automated planning which can integrate the cause-effect knowledge and the automated reasoning mechanism into on...