机译:可编程逻辑控制器的控制逻辑规范的实证研究
Department of Signals and Systems, Chalmers University of Technology, 412 96, Goeteborg, Sweden;
Department of Signals and Systems, Chalmers University of Technology, 412 96, Goeteborg, Sweden;
Department of Signals and Systems, Chalmers University of Technology, 412 96, Goeteborg, Sweden;
Department of Signals and Systems, Chalmers University of Technology, 412 96, Goeteborg, Sweden;
Industrial study; Software requirements and specification; Formal specification; Temporal logic; Programmable logic controller (PLC); IEC 61131-3;
机译:使用带有可编程逻辑控制器(IFLPLC)的集成模糊逻辑控制器控制自动导引车(AGV)的导航-阶段1
机译:使用集成模糊逻辑控制器和可编程逻辑控制器(IFLPLC)的阶段1控制自动导引车(AGV)的导航
机译:使用UML结构图对逻辑控制器的程序进行图形规范
机译:基于现场可编程门阵列(FPGA)的VHDL的梯形逻辑转换的研究与实现 - 基于可编程逻辑控制器(PLC)
机译:将移动目标防御技术应用于可编程逻辑控制器的安全性
机译:多种出血的自动闭环复苏:绵羊模型中的模糊逻辑和决策表控制器之间的比较
机译:从有限状态机规范测试可编程逻辑控制器