A computation and control language for multi-vehicle systems

被引：0
作者：
Klavins, E [1 ]
机构：
[1] Univ Washington, Dept Elect Engn, Seattle, WA 98195 USA
来源：
42ND IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-6, PROCEEDINGS | 2003年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We introduce the Computation and Control Language (CCL), a guarded-command formalism for expressing systems wherein control and computation are intertwined. A CCL program consists of a set of guarded commands that update continuous or discrete variables. CCL programs are used to specify systems and program them. Their properties can be analyzed using temporal logic. In this paper, a robot capture-the-flag system, called the "RoboFlag Drill", is encoded in CCL and certain desirable properties of it are verified. The example consists of a self-stabilizing communications protocol whose behavior depends on the actions taken by the robots in their environment. The paper concludes with a brief overview of our initial implementation of the formal semantics of CCL as a practical programming language.
引用
收藏
页码：4133 / 4139
页数：7
相关论文
共 15 条
  • [1] Alur R, 2000, LECT NOTES COMPUT SC, V1790, P6
  • [2] CARRUTH A, 1984, TR9410 U TEX AUST
  • [3] Chandy K.M., 1988, Parallel Program Design: A Foundation
  • [4] CREMEAN L, 2002, 41 IEEE C DEC CONTR
  • [5] DANDREA R, 2003, AM CONTR C
  • [6] Desharnais J, 2002, IEEE S LOG, P413, DOI 10.1109/LICS.2002.1029849
  • [7] SELF-STABILIZING SYSTEMS IN SPITE OF DISTRIBUTED CONTROL
    DIJKSTRA, EW
    [J]. COMMUNICATIONS OF THE ACM, 1974, 17 (11) : 643 - 644
  • [8] Henzinger T.A., 2001, EMSOFT 2001, P166
  • [9] Klavins E, 2000, LECT NOTES COMPUT SC, V1790, P174
  • [10] KLAVINS E, 2002, WORKSH ALG FDN ROB D
12