Conference item icon

Conference item

From AgentSpeak to C for safety considerations in unmanned aerial vehicles

Abstract:

Unmanned aerial vehicles (UAV) are becoming increasingly popular for both recreational and industrial applications, leading to growing concerns about safety. Autonomous systems, such as UAVs, are typically hybrid systems consisting of a low-level continuous control part and a high-level discrete decision making part. In this paper, we discuss using the agent programming language AgentSpeak to model the high-level decision making. We present a translation from AgentSpeak to C that bridges the ...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
  • (Accepted manuscript, pdf, 308.8KB)
Publisher copy:
10.1007/978-3-319-22416-9_9

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
Publisher:
Springer
Host title:
TAROS: Conference Towards Autonomous Robotic Systems
Journal:
Lecture Notes in Computer Science: TAROS: Conference Towards Autonomous Robotic Systems More from this journal
Volume:
9287
Pages:
69-81
Publication date:
2015-01-01
DOI:
ISSN:
1611-3349 and 0302-9743
ISBN:
9783319224152
Keywords:
Pubs id:
pubs:575350
UUID:
uuid:6b7c4874-7828-4e26-9797-6f48ac12661a
Local pid:
pubs:575350
Source identifiers:
575350
Deposit date:
2017-01-28

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP