猛击

部分观测下无限过渡系统的符号监督控制。提出了一种基于符号转移系统的无限状态离散事件系统部分观测状态反馈控制器的综合算法。我们为潜在死锁和无死锁控制系统提供了安全无记忆控制器的模型。通过使用这些抽象的过渡技术来解决这些问题,保证了算法的可终止性。然后我们将我们的算法扩展到有内存的控制器和在线控制器。我们还提出了在有限情况下控制器综合的改进方法,据我们所知,这种方法提供了比先前文献中提出的更多的允许解。我们的工具SMACS通过展示其可行性、可用性和效率,对我们的方法进行了实证验证。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换