【作者单位】;[ 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
【卷号】Vol.8
【页码】1470-1474
【ISSN】2352-5401
【关键词】STRIPS Model checking Automated Planning Reconfigurable Control Cause-effect
【摘要】 This paper presents a formal framework for reconfigurable control, based on model checking. This framework first generates a flexible model (i.e., an execution structure) according to the diagnosis, then defines a temporal specification language to d...