摘要：容错和控制系统的安全性验证是自发机扑系统成功的关键，一种叫做任务数据系统MDS（Mission Data Symstem）的控制框架的软件理论被提了出来，而它的产生则推动了一种基于对象的控制方法的产生。本文将讨论一种设计方法，该方法的设计目的是将对象网络控制程序转化为线性混合系统。该线性混合系统在使用信号模拟检测器进行检测时，在出现错误时是可以证明其安全性的。本文将结合例子介绍这种方法。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社