A Formal Model of a Multi-Robot Control and Communication Task

@inproceedings{Klavins2003AFM,
  title={A Formal Model of a Multi-Robot Control and Communication Task},
  author={Eric Klavins},
  year={2003}
}
We introduce the Computation and Control Language (CCL), a guarded-command language for expressing systems wherein control and computation are intertwined. A CCL program consists of a set of guarded commands that may update continuous or discrete variables and that can be reasoned about using a simple temporal logic. In this paper, a detailed case study of a robot capture-the-flag system, called the “RoboFlag Drill”, is encoded in CCL and certain properties of it are verified. The example… CONTINUE READING

Similar Papers

Loading similar papers…