基于谓词不变性的状态反馈控制在机器人遥操作中的应用

传统的基于事件遥操作系统虽然巧妙地避开了变化时延问题[8] ,但是它具有“走走停停”的特点 ,即机器人将当前状态发送出去之后直到操作者的下一个指令到来之前机器人必须保证状态没有变化。对此本文首次提出了利用基于谓词不变性的状态反馈控制来对原有的方法进行改进 。