AXI bus; Media Access Control; SystemVerilog Assertion; Verification Methodology Manual;
机译:对可重构加工系统的逻辑控制器进行分析和设计的形式验证
机译:基于HIL的可重配置平台,用于电气系统数字控制器的设计,实现和验证
机译:用于基本非线性动态系统智能控制的模糊控制器的鲁棒知识库的设计:II。软计算优化器和智能控制系统的鲁棒性
机译:基于AXI总线的MAC控制器的设计与验证
机译:鲁棒的PSS和基于事实的控制器的设计,用于增强电力系统的稳定性。
机译:航向与速度耦合非线性控制器的设计与验证
机译:基于探索政策迭代的自适应鲁棒控制器设计,用于稳定多机动力系统