The controller enforced a set of inequality constraints on the reachable markings of the Petri net model.

• 提出了一种加入线性不等式约束的卡尔曼滤波方法,并用于涡扇发动机的健康状况估计。