A Formal Model of a MultiRobot Control and Communication Task
WeintroducetheComputationandControlLanguage(CCL),aguarded-commandlanguageforexpressingsystemswhereincontrolandcomputationareinter-twined.ACCLprogramconsistsofasetofguardedcommandsthatmayupdatecontinuousordiscretevari-ablesandthatcanbereasonedaboutusingasimpletemporallogic.Inthispap