标题： 研究带有输出延迟的定时有限状态机的归位和同步序列 显示英文标题

标题： Studying homing and synchronizing sequences for Timed Finite State Machines with output delays

摘要： 本文介绍了带有输出延迟的定时有限状态机（TFSMs）的最终状态识别（同步和定位）序列，并研究了它们的性质。 我们正式定义了这些TFSMs的定位序列（HSs）和同步序列（SSs）的概念，并证明了一些在无时序机器中成立的性质不一定适用于定时机器。 此外，我们探讨了各种用于推导带有输出延迟的定时 FSM 的 SSs 和 HSs 的方法的适用性，例如截断后继树基于的方法和 FSM 抽象基于的方法。 相应地，我们确定了这些方法可以直接应用的 TFSMs 子类以及需要其他方法的子类。 此外，我们评估了带有输出延迟的 TFSMs 的存在性检查和（最短）HSs/SSs 推导的复杂度。 显示英文摘要

摘要： The paper introduces final state identification (synchronizing and homing) sequences for Timed Finite State Machines (TFSMs) with output delays and investigates their properties. We formally define the notions of homing sequences (HSs) and synchronizing sequences (SSs) for these TFSMs and demonstrate that several properties that hold for untimed machines do not necessarily apply to timed ones. Furthermore, we explore the applicability of various approaches for deriving SSs and HSs for Timed FSMs with output delays, such as truncated successor tree-based and FSM abstraction-based methods. Correspondingly, we identify the subclasses of TFSMs for which these approaches can be directly applied and those for which other methods are required. Additionally, we evaluate the complexity of existence check and derivation of (shortest) HSs / SSs for TFSMs with output delays.