机译：对可重构加工系统的逻辑控制器进行分析和设计的形式验证
机译：基于HIL的可重配置平台，用于电气系统数字控制器的设计，实现和验证
机译：柔性制造系统的知识Petri网模型及其在FMS控制器设计和验证中的应用
机译：用于制造系统可重构控制器的分析和设计的形式验证
机译：用于可重构制造系统的逻辑控制器的分析和设计的形式验证。
机译：使用RF MEMS开关设计分析和验证Ka波段模式可重构贴片天线
机译：RTL的语义和可重构计算系统中使用形式验证的合成RTL设计的验证
机译：多跳反馈系统设计的正式方法：LQG控制器
