阐述可编程逻辑控制器的技术特点,PLC技术在电气工程及其自动化控制中的应用,包括机床电气设备、工业机器人、逻辑运算、控制顺序的智能化。

针对ＰＬＣ等逻辑控制器控制连续对象的可靠性问题，给出了混合系统的形式验证的方法，即用混合矩形自动机建模，通过可达性分析，从而证明控制程序的正确性，最后结合化工过程控制中的应用实例做了说明。

博世力士乐优化了新一代IndraMotionMLC，以匹配液压技术要求，从而进一步简化了跨学科工程设计的流程。在传感器和执行器的连接方面，力士乐则采用专为高频响应用而设计的输入／输出技术方案。由于已将液压专业知识融入设备配置之中，即使是对流体传动技术知之甚少的用户也能选择并操作输入／输出元件。

提出一种逻辑无环流可逆调速系统的设计方法。利用单片机的硬件资源与软件程序相结合．完成数字脉冲触发、数字逻辑切换及数字反馈等方面的控制功能，实现对直流电动机的可逆调速控制，提高可逆调速系统的精度和控制性能。