Welcome to the InfoSci Platform
Reconfiguration of Autonomous Robotics

Reconfiguration of Autonomous Robotics

Yujian Fu, Steven Drager
Copyright: © 2015 |Volume: 3 |Issue: 1 |Pages: 18
ISSN: 2166-7195|EISSN: 2166-7209|EISBN13: 9781466680531|DOI: 10.4018/IJRAT.2015010103
Cite Article Cite Article

MLA

Fu, Yujian, and Steven Drager. "Reconfiguration of Autonomous Robotics." IJRAT vol.3, no.1 2015: pp.41-58. http://doi.org/10.4018/IJRAT.2015010103

APA

Fu, Y. & Drager, S. (2015). Reconfiguration of Autonomous Robotics. International Journal of Robotics Applications and Technologies (IJRAT), 3(1), 41-58. http://doi.org/10.4018/IJRAT.2015010103

Chicago

Fu, Yujian, and Steven Drager. "Reconfiguration of Autonomous Robotics," International Journal of Robotics Applications and Technologies (IJRAT) 3, no.1: 41-58. http://doi.org/10.4018/IJRAT.2015010103

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

Autonomous robotics systems (ARSs) consist of multiple heterogeneous objects and intelligent inferences that are expected to take appropriate actions even in unforeseen circumstances. Dynamic reconfiguration of ARSs is a key enabling technology and plays a major role in the future cyber-enabled battle field. This research work, focused on the development of a formal approach to the specification and verification of reconfigurability of ARSs. Two typical problems w.r.t. the dynamic adaptation and reconfiguration of ARSs were identified and studied. The first problem is how to formally represent the ARSs and describe the reconfigurable behavior precisely so that the ARSs can adapt to the new changes. The second problem focuses on how to analyze and verify the formal model of the reconfiguration and ensure the correctness of the system during reconfiguration. Considering behavior preserving in the reconfiguration model, a net reconfigurations based on the natural transformation is introduced.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.