A Formal Model of a MultiRobot Control and Communication Task

DDW_Chen 33 0 pdf 2019-07-29 11:07:57

WeintroducetheComputationandControlLanguage(CCL),aguarded-commandlanguageforexpressingsystemswhereincontrolandcomputationareinter-twined.ACCLprogramconsistsofasetofguardedcommandsthatmayupdatecontinuousordiscretevari-ablesandthatcanbereasonedaboutusingasimpletemporallogic.Inthispap

用户评论
请输入评论内容
评分:
暂无评论