摘要:容错和控制系统的安全性验证是自发机扑系统成功的关键,一种叫做任务数据系统MDS(Mission Data Symstem)的控制框架的软件理论被提了出来,而它的产生则推动了一种基于对象的控制方法的产生。本文将讨论一种设计方法,该方法的设计目的是将对象网络控制程序转化为线性混合系统。该线性混合系统在使用信号模拟检测器进行检测时,在出现错误时是可以证明其安全性的。本文将结合例子介绍这种方法。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
热门期刊服务
影响因子:0.34
期刊级别:部级期刊
发行周期:月刊
期刊在线咨询,1-3天快速下单!
查看更多>
超1000杂志,价格优惠,正版保障!
一站式期刊推荐服务,客服一对一跟踪服务!