ADA (PROGRAMMING LANGUAGE); AIRCRAFT GUIDANCE; AUTOMATIC FLIGHT CONTROL; COMPUTER SYSTEMS DESIGN; CONTROL SYSTEMS DESIGN; LOGIC CIRCUITS; LOGIC DESIGN; BOEING 737 AIRCRAFT; CONTROLLERS; SWITCHES; SYSTEM FAILURES;
机译:使用带有可编程逻辑控制器(IFLPLC)的集成模糊逻辑控制器控制自动导引车(AGV)的导航-阶段1
机译:使用集成模糊逻辑控制器和可编程逻辑控制器(IFLPLC)的阶段1控制自动导引车(AGV)的导航
机译:可编程逻辑控制器一致性测试的正式模型
机译:可重构控制器逻辑设计中的正式推理
机译:用于可重构制造系统的逻辑控制器的分析和设计的形式验证。
机译:多种出血的自动闭环复苏:绵羊模型中的模糊逻辑和决策表控制器之间的比较
机译:正式指定自动导航控制器的逻辑