位置：成果数据库 > 期刊 > 期刊详情页
Efficient Translation of LTL to Büchi Automata
  • 期刊名称：Tsinghua Science and Technology
  • 时间：0
  • 页码：75-82
  • 语言：中文
  • 相关项目：随机信号处理与信号自适应跟踪的研究
作者： Yin, Chongyuan|罗贵明|
同期刊论文项目
随机信号处理与信号自适应跟踪的研究
期刊论文 29 会议论文 9
同项目期刊论文
Lyapunov-type inequality for a class of even-order differential equations
Verification of Interdomain Routing System Based on Formal Methods
Recursive algorithms for parameter identification of systems disturbed by color noise
Ultra-short term load forecasting based on adaptive control and extended time-series distance method
基于CEGAR偏序化简的并行程序死锁检测
Applications of improved least-squares algorithm in main steam temperature control system
改进最小二乘算法在主汽温控制系统中的应用
一种大规模并行程序模型的检测方法
Recursive algorithm for the two-stage EFOP estimation method
Novel adaptive control approach and its application in power system
Existence of a positive solution of a fourth-order boundary value problem
并行软件模型检测
新型自适应控制算法及在电力系统中的应用
UML模型检测方法的研究
Optimal adaptive power system stabilizer based on least-squares algorithm
Petri网模型的扩展与检测
Quasi-periodic solutions in nonlinear asymmetric oscillations
Unboundedness of solutions of a class of planar Hamiltonian systems
Nonoscillation criteria for quasilinear second order differential equations
Discrete Time Optimal Adaptive Control for Linear Stochastic Systems
Convergence of Recursive Identification for ARMAX Process with Increasing Variances
Existence and uniqueness of periodic solution for a class of differential systems
Optimal adaptive controller for multidimensional ARMAX model