机译:使用数字时钟实时控制密集系统
Department of Electrical and Computer Engineering, Iowa State University, Ames, Iowa;
Dense-time; digital-clock; discrete event systems (DESs); supervisory control; timed-automaton;
机译:系统实现数字时钟调制
机译:对带有命题和事件的公平密集时间系统进行模型检查
机译:利用时间凸性分析对密集时间系统进行有效的模型检查
机译:使用数字时钟的致密时间离散事件系统控制遵守事件发生时间
机译:电动汽车无线电力传输系统的脉宽调制控制实时共振调谐方法。
机译:发展猪养殖场实时控制生物液体循环系统:实验室规模研究
机译:离散和密集时间系统的实时控制器综合