Theory/practice Gap; Verification and validation; Anytime algorithms; Probabilistic verification;
机译:高置信度控制:确保高性能实时系统的可靠性
机译:一种确保实时离散事件系统一致性的监督控制方法
机译:通过控制干预来确保机械系统的可靠性
机译:高置信控制:确保高性能实时系统的可靠性
机译:在实时系统中控制可调度性-可靠性之间的权衡。
机译:支持适航性认证的无人机飞行控制系统的实时可靠性验证
机译:基于组件的高置信度分布式实时嵌入式系统构建方法
机译:用于自适应分布式嵌入式控制系统高可信度设计的框架和工具。分布式嵌入式系统高可信设计的多大学研究计划