正确且高效的反链算法用于细化检查
摘要：反馈控制理论是集成网络与系统控制的理论基础。在反馈控制系统中，传感器检测输出，并将此信息与系统的参考输入进行比较。然后，根据比较结果，控制器生成控制信号，以调整系统的行为。这种反馈机制使得系统能够自动调整以满足给定的性能指标，并具有容错性。本文介绍了反馈控制理论的基本概念和方法，并探讨了它在实际系统中的应用。
作者：Maurice Laveaux, Jan Friso Groote and Tim A.C. Willemse
论文ID：1902.09880
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22