电梯逻辑控制：COCOLOG系统在有限状态指令中的应用

本篇论文主要探讨了电梯的逻辑控制系统，特别是针对有限状态指令的逻辑反馈控制器设计。作者引用了Derek N. Dyck和Peter E. Caines的研究成果，他们提出了一种名为COCOLOG的逻辑系统，用于状态判断和控制决策。COCOLOG的特点在于其灵活性，通过修改式子可以直接改变控制过程，确保了精确的控制行为与控制对象之间的关系。 电梯被模型化为控制对象，其状态由位置、目的地和挫折等级等构成，这体现了系统的复杂性和多样的控制策略。论文的核心内容包括电梯状态的定义、动力学分析以及COCOLOG如何应用于电梯控制的具体示例。电梯的控制指令分为三个类别，每种指令对应不同的操作，如上行、下行或保持。 在COCOLOG系统中，控制输入（Y）的生成依赖于当前状态（X）满足特定条件，即当电梯处于某一状态并且执行某种控制行为能够导向目标状态时。自动推理机制（ATP）负责评估哪些指令（X）有效，并据此决定相应的控制动作（y）。这种方法强调了逻辑状态描述和逻辑反馈控制的重要性。 论文的第二部分详细介绍了电梯的基本工作原理，包括其动力学模型和控制策略。第三到第五部分则深入解析了COCOLOG在电梯控制中的应用，提供了一种新颖的逻辑结构设计。第六和第七部分展示了通过ATP计算机模拟的实验结果，并基于这些结果进行了深入的讨论和结论。 本文旨在通过实际的电梯控制案例，展示COCOLOG系统在复杂控制系统中的实用性和优势，为读者提供了理解和设计类似逻辑控制系统的深入理解。