Automatic Deployment of Robotic Teams An Automata Theoretic Approach

被引：56

作者：

Ding, Xu Chu ^{[1
]}

Kloetzer, Marius ^{[2
]}

Chen, Yushan ^{[3
]}

Belta, Calin ^{[1
]}

机构：

[1] Boston Univ, Dept Mech Engn, Boston, MA 02215 USA

[2] Tech Univ Gheorghe Asachi Iasi, Dept Automat Control & Appl Informat, Iasi, Romania

[3] Boston Univ, Dept Elect Engn, Boston, MA 02215 USA

来源：

IEEE ROBOTICS & AUTOMATION MAGAZINE | 2011年 / 18卷 / 03期

基金：

美国国家科学基金会;

关键词：

Motion planning; Feedback; Controllers; Protocols; Mobile robots; Intelligent vehicles; DISCRETE ABSTRACTIONS; SYSTEMS;

D O I：

10.1109/MRA.2011.942117

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：75 / 86

页数：12

共 27 条

[1] Discrete abstractions of hybrid systems [J].

Alur, R ;

Henzinger, TA ;

Lafferriere, G ;

Pappas, GJ .

PROCEEDINGS OF THE IEEE, 2000, 88 (07) :971-984

[2]

[Anonymous], 2006, Planning algorithms

[3]

[Anonymous], 2004, The SPIN Model Checker-Primer and Reference Manual

[4] Discrete abstractions for robot motion planning and control in polygonal environments [J].

Belta, C ;

Isler, V ;

Pappas, GJ .

IEEE TRANSACTIONS ON ROBOTICS, 2005, 21 (05) :864-874

[5] Sequential composition of dynamically dexterous robot behaviors [J].

Burridge, RR ;

Rizzi, AA ;

Koditschek, DE .

INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH, 1999, 18 (06) :534-555

[6]

CHEN Y, 2010, P 10 INT S IN PRESS

[7] A Hierarchical Approach to Automatic Deployment of Robotic Teams with Communication Constraints [J].

Chen, Yushan ;

Birch, Samuel ;

Stefanescu, Alin ;

Belta, Calin .

IEEE/RSJ 2010 INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2010), 2010, :5079-5084

[8]

Cimatti A., 2002, Computer Aided Verification. 14th International Conference, CAV 2002. Proceedings (Lecture Notes in Computer Science Vol.2404), P359

[9]

Clarke EM, 1999, MODEL CHECKING, P1

[10]

Desai JP, 1998, IEEE INT CONF ROBOT, P2864, DOI 10.1109/ROBOT.1998.680621

← 1 2 3 →