elevator control; defeasible deontic reasoning; logical verification; annotated logic program; evalpsn.;
机译:泛函逻辑程序BF-EVALPSN在智能控制中的应用
机译:现代电梯交通工程,第十一部分:电梯组控制简介
机译:基于EVALPSN安全验证的管道阀门控制。
机译:基于Acdpsn的智能电梯控制简介
机译:基于鲁棒自适应观测器的电液驱动电梯的主动容错控制。
机译:医院感染智能控制的探索-基于物联网技术的手部卫生智能提醒与管理
机译:基于气液活性导鞋的高速电梯水平振动智能控制