叶文, 杨叔子. 基于过程代数的智能机器人系统建模[J]. 机器人, 1998, 20(1): 9-14,19.
引用本文: 叶文, 杨叔子. 基于过程代数的智能机器人系统建模[J]. 机器人, 1998, 20(1): 9-14,19.
YE Wen, YANG Shuzi. PROCESS ALGEBRA BASED INTELLIGENT ROBOT SYSTEM MODELLING[J]. ROBOT, 1998, 20(1): 9-14,19.
Citation: YE Wen, YANG Shuzi. PROCESS ALGEBRA BASED INTELLIGENT ROBOT SYSTEM MODELLING[J]. ROBOT, 1998, 20(1): 9-14,19.

基于过程代数的智能机器人系统建模

PROCESS ALGEBRA BASED INTELLIGENT ROBOT SYSTEM MODELLING

  • 摘要: 本文描述用于智能机器人系统建模的过程代数ACPR,给出ACPR的语法规则和语义解释,研究了过程组合操作子的性质及ACPR的过程演化特性,讨论了开放式IRS问题求解.最后给出移动机器人协调级建模实例.

     

    Abstract: Process algebra ACPR for intelligent robot system modelling is proposed in this paper.ACPR's syntax and semantics are given,the research on properties of process combining operators and process evolution are conducted.Open IRS problem-solving is discussed.An example of coordination-level modelling of moving IRS is given.

     

/

返回文章
返回