RMTool: Recent Enhancements

被引:8
作者
Parrilla, Luis [1 ]
Mahulea, Cristian [1 ]
Kloetzer, Marius [2 ]
机构
[1] Univ Zaragoza, Aragon Inst Engn Res I3A, Maria de Luna 1, Zaragoza 50018, Spain
[2] Tech Univ Iasi, Dept Automat Control & Appl Informat, Iasi 700050, Romania
关键词
Software Tool; Discrete Event Systems; Mobile Robots;
D O I
10.1016/j.ifacol.2017.08.539
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This paper presents the enhancements introduced in the second version of RMTool, an open source Matlab-based interactive software for teaching mobile robotics in introductory courses. In the first version only navigation problem of one robot has been considered (the robot should avoid obstacles and reach a desired position). In the actual version, the toolbox introduces new algorithms to cope with modeling and path planning of multiple identical robots, where the final states of the robots and the regions visited along trajectories should satisfy Linear Temporal Logic (LTL) or Boolean-based formulas. The paper includes extensive simulation results performed in RMToo1, pertained to multi-robot path planning based on an LTL or Boolean team specification. (C) 2017, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.
引用
收藏
页码:5824 / 5830
页数:7
相关论文
共 26 条
[1]  
[Anonymous], 2016, IBM ILOG CPLEX OPT S
[2]  
[Anonymous], 2006, Planning algorithms
[3]  
[Anonymous], 2011, Introduction to Autonomous Mobile Robots
[4]  
[Anonymous], 2005, Principles of robot motion: theory, algorithms, and implementations
[5]  
Baier C, 2008, PRINCIPLES OF MODEL CHECKING, P1
[6]   Controlling a class of nonlinear systems on rectangles [J].
Belta, Calin ;
Habets, Luc C. G. J. M. .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2006, 51 (11) :1749-1759
[7]  
Corke P.I., 2011, Robotics, Vision and Control: Fundamental Algorithms in MATLAB, VVolume 73, DOI DOI 10.1007/978-3-642-20144-8
[8]  
CORKE PI, 1996, AUTOMATION, V3, P24
[9]  
Couceiro M.-S., 2012, MRSIM MULTIROBOT SIM
[10]  
De Berg Mark., 2000, COMPUTATIONAL GEOMET, P1, DOI DOI 10.1007/978-3-662-04245-8_1