PROCESS ALGEBRA BASED INTELLIGENT ROBOT SYSTEM MODELLING

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.