异步自动机专题
Selected Topics in Asynchronous Automata
摘要：
本文涉及到定义电信号及其模型。延迟进行了讨论，异步自动机-这是异步电路的模型-和时钟发生器和R-S锁存器的例子给出。我们写的异步自动机的方程，它结合了纯延迟模型和惯性延迟模型;简单的门模型和复杂的门模型;固定，有界和无界延迟模型。我们给出了这些方程的解，它们写在R->{0，1}函数上，其中R是时间集。讨论了实时的与离散时间之间的联系。给出了稳定性、基本操作模式、组合自动机、半模块性的定义和刻画。一些连接建议与线性时间和分支时间时序逻辑的命题。
英文摘要：
The paper is concerned with defining the electrical signals and their models. The delays are discussed, the asynchronous automata - which are the models of the asynchronous circuits - and the examples of the clock generator and of the R-S latch are given. We write the equations of the asynchronous automata, which combine the pure delay model and the inertial delay model; the simple gate model and the complex gate model; the fixed, bounded and unbounded delay model. We give the solutions of these equations, which are written on R->{0,1} functions, where R is the time set. The connection between the real time and the discrete time is discussed. The stability, the fundamental mode of operation, the combinational automata, the semi-modularity are defined and characterized. Some connections are suggested with the linear time and the branching time temporal logic of the propositions.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
