1. 首页
  2. 编程语言
  3. 其他
  4. A Formal Model of a MultiRobot Control and Communication Task

A Formal Model of a MultiRobot Control and Communication Task

上传者: 2019-07-29 11:39:57上传 PDF文件 500kb 热度 35次
WeintroducetheComputationandControlLanguage(CCL),aguarded-commandlanguageforexpressingsystemswhereincontrolandcomputationareinter-twined.ACCLprogramconsistsofasetofguardedcommandsthatmayupdatecontinuousordiscretevari-ablesandthatcanbereasonedaboutusingasimpletemporallogic.Inthispap
用户评论