The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Reconfiguration of Autonomous Robotics
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 reconfiguration based on the natural transformation is introduced.
Related Content
Rashmi Rani Samantaray, Zahira Tabassum, Abdul Azeez.
© 2024.
32 pages.
|
Sanjana Prasad, Deepashree Rajendra Prasad.
© 2024.
25 pages.
|
Deepak Varadam, Sahana P. Shankar, Aryan Bharadwaj, Tanvi Saxena, Sarthak Agrawal, Shraddha Dayananda.
© 2024.
24 pages.
|
Tarun Kumar Vashishth, Vikas Sharma, Kewal Krishan Sharma, Bhupendra Kumar, Sachin Chaudhary, Rajneesh Panwar.
© 2024.
29 pages.
|
Mrutyunjaya S. Hiremath, Rajashekhar C. Biradar.
© 2024.
30 pages.
|
C. L. Chayalakshmi, Mahabaleshwar S. Kakkasageri, Rajani S. Pujar, Nayana Hegde.
© 2024.
30 pages.
|
Amit Kumar Tyagi.
© 2024.
29 pages.
|
|
|