为了使系统在组件故障,局部通信失效,能量匮乏等情况下依然可持续满足控制需求,一些系统,如安全关键系统需要在系统运行的过程中进行重构。这些系统可以被视为动态可重构系统(dynamic reconfigurable system,DRS)。一个DRS包含多个构型并通常运行在某特定构型下。在接到重构命令后,系统需要从当前构型重构至另一个构型。由于不受控的DRS重构行为会使系统不稳定并违反控制需求,重构行为的控制非常重要。人类科学技术的进步产生了诸多人造系统,如柔性制造系统,交通控制系统和通信网络。在只考虑逻辑变化关系而忽略系统随时间而产生的连续变化时,这类系统可以被视作离散事件系统(discrete event system,DES)。DES是一个事件驱动,状态离散的系统,其系统状态变化完全取决于离散事件的同步和异步发射。NCES(net condition/event system)是一种用于分析与控制DES的形式化体系,也是被广泛使用的Petri网的模块化扩展。和其他DES模型相比,NCES的模块化结构使其更适于动态可重构系统的研究。本文从DES的角度研究DRS,进行了基于NCES的动态可重构离散事件系统(dynamic reconfigurable discrete event systems,DRDES)重构问题的相关研究,具体研究内容如下:为了使系统平稳运行,一般系统只在特定状态下进行重构。本文提出了一种路径优化方法,使DRDES在最大可允许重构延迟内到达目标区域。整数线性规划方法被用于计算最优路径。在不搜索状态空间的情况下,该方法通过单次线性规划可直接求得结果。同时,本文提出了用于引导DRDES沿线性规划求得的路径进行状态变化的虚拟控制器。对于NCES两种发射规则下的优化策略本文都进行了考虑。虚拟控制器是一种使系统沿特定路径进行状态变化的有效方法。然而,它极大地限制了系统行为。为了在对系统进行监督控制的同时尽可能保留系统行为,本文提出了一致性控制策略。一致性表征任意重构事件发生前后,系统行为始终符合控制需求。为了使DRDES系统满足一致性需求,本文使用形式语言描述重构控制需求并提出了一种新的一致性控制器设计方法。此外,本文使用基于不变式的方法对部分变迁不可控条件下的一致性控制问题进行了探索。