界程相关论文
近年来,随着科技的发展,各类移动机器人层出不穷,这些移动对象在其运行环境中自主移动,构成实时移动系统。运动规划是当前实时移动......
对于一个复杂的实时移动系统,为了确保其在运行过程中的安全性,需要通过形式化方法对其行为进行建模和分析。其中,判断各个移动对......