异步自动机选题
计算机科学中的逻辑
2007-05-23 v1
摘要
本文关注于定义电气信号及其模型。讨论了延迟，异步自动机——这些是异步电路的模型——以及时钟发生器和 R-S 触发器的示例。我们编写了异步自动机的方程，这些方程结合了纯延迟模型和惯性延迟模型；简单门模型和复杂门模型；固定延迟、有界延迟和无界延迟模型。我们给出这些方程的解，这些解写成 R→{0,1} 函数，其中 R 为时间集合。讨论了实时与离散时间之间的联系。定义并特征化了稳定性、基本运行模式、组合自动机、半模块性。建议了与线性时间和分支时间命题逻辑之间的一些联系。
引用
@article{arxiv.cs/0110060,
title = {Selected Topics in Asynchronous Automata},
author = {Serban E. Vlad},
journal= {arXiv preprint arXiv:cs/0110060},
year = {2007}
}