【作者单位】; 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
【关键词】ABSTRACTION DIAGNOSIS
【摘要】 This paper presents a formal framework for reconfigurable control, based on model checking. This framework first generates a flexible model according to the diagnosis, then defines a temporal specification language to deal with the problems due to i...