Verification of autonomous robotic systems: A perspective

被引：0
作者：
Hochgeschwender, Nico [1 ]
Voos, Holger [2 ]
机构：
[1] ESG Elekt Syst & Logist GmbH, D-81675 Munich, Germany
[2] Univ Appl Sci Ravensburg Weingarten, Mobile Robot Lab, D-88250 Weingarten, Germany
来源：
PROCEEDINGS OF THE 13TH IASTED INTERNATIONAL CONFERENCE ON ROBOTICS AND APPLICATIONS/PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON TELEMATICS | 2007年
关键词：
autonomous control; programming; verification; unmanned aerial vehicles;
D O I：
暂无
中图分类号：
TP24 [机器人技术];
学科分类号：
080202 ; 1405 ;
摘要：
One precondition before autonomous mobile robots can be used in commercial application is a method to guarantee a desired behavior or the fulfillment of security requirements. However, this tasks leads to a contradiction between the desired flexible autonomous action of the robot in a complex environment and the required proof of a certain behavior. In this contribution we present a first step in this direction by applying formal verification using model checking to autonomous control architectures. The proposed approach has been investigated using a simple UAV application and some first results are presented.
引用
收藏
页码：204 / +
页数：2
相关论文
共 10 条
[1]  
Bordini R., 2003, P 1 INT WORKSH PROGR
[2]  
Bordini R., 2007, JASON JAVA BASED INT
[3]   AUTOMATIC VERIFICATION OF FINITE-STATE CONCURRENT SYSTEMS USING TEMPORAL LOGIC SPECIFICATIONS [J].
CLARKE, EM ;
EMERSON, EA ;
SISTLA, AP .
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1986, 8 (02) :244-263
[4]  
Frey G., 2002, Design and Formal Analysis of Petri Net Based Logic Control Algorithms
[5]   The model checker SPIN [J].
Holzmann, GJ .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1997, 23 (05) :279-295
[6]  
RAO A, 1996, P 7 EUR WORKSH MOD A, V1038
[7]  
Robin Murphy RC, 2000, INTRO AI ROBOTICS
[8]  
Steels L., 1995, The Artificial life route to artificial intelligence, DOI DOI 10.4324/9781351001885
[9]  
VOOS H, 2003, P 18 BRIST INT C UNM
[10]  
Wooldridge MJ., 2000, Reasoning about Rational Agents
1