确定性规范下的强制同步控制与双模拟等价
摘要：监督控制非确定离散事件系统以强制对确定性规范具有双模拟关系。引入了一种基于同步仿真的可控性概念，作为存在具有双模拟关系的监督者的必要且充分条件，并开发了一个多项式算法来验证此条件。当存在条件成立时，构建一个实现双模拟等价的监督者。此外，当不存在条件成立时，提供了两种不同的方法来合成最大容许的子规范。
作者：Yajuan Sun and Hai Lin and Ben M. Chen
论文ID：1203.1745
分类：Systems and Control
分类简称：cs.SY
提交时间：2012-03-09