控制软件分析.第II部分：闭环分析
Control software analysis, part II: Closed-loop analysis
摘要：
对闭环控制软件属性的分析和适当的文档与对运行开环的同一软件的分析有许多不同的方面。出现了物理系统表示的问题，并且期望这样的表示保持独立于控制程序的表示。为此，提出了一个并发程序表示的工厂和控制过程，虽然闭环系统是足够的串行化，使顺序分析。在处理闭环系统特性的同时，还通过示例显示了非线性的特殊处理如何从控制规范分析扩展到代码分析。
英文摘要：
The analysis and proper documentation of the properties of closed-loop control software presents many distinct aspects from the analysis of the same software running open-loop. Issues of physical system representations arise, and it is desired that such representations remain independent from the representations of the control program. For that purpose, a concurrent program representation of the plant and the control processes is proposed, although the closed-loop system is sufficiently serialized to enable a sequential analysis. While dealing with closed-loop system properties, it is also shown by means of examples how special treatment of nonlinearities extends from the analysis of control specifications to code analysis.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
