ARCHITECTURE (COMPUTERS); CONTROLLERS; REAL TIME OPERATION; ROBOT CONTROL; ROBOTS; TELEOPERATORS; COMPUTATION; COMPUTER PROGRAMMING; ROBOTICS; TELEROBOTICS;
机译:智能飞行支持系统(IFSS):用于任务控制中心未来载人航天飞行的实时智能决策支持系统
机译:智能逻辑控制系统:克服执行级别的不确定性
机译:河马:一个正式的模型执行引擎,用于控制和验证关键的实时系统
机译:在不确定和错误执行环境中具有动态实时保证的系统
机译:用于基于规则的实时决策系统的执行环境。
机译:复杂环境下柴油机物联网分层拓扑策略与智能化评估系统
机译:动态实时系统的可测试性:约束执行环境含义的实证研究