The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Formal Modeling and Analysis of Collaborative Humanoid Robotics
Abstract
A humanoid robot is inherently complex due to the heterogeneity of accessory devices and to the interactions of various interfaces, which will be exponentially increased in multiple robotics collaboration. Therefore, the design and implementation of multiple humanoid robotics (MHRs) remains a very challenging issue. It is known that formal methods provide a rigorous analysis of the complexity in both design of control and implementation of systems. This article presents an agent-based framework of formal modeling on the design of communication and control strategies of a team of autonomous robotics, to attain the specified tasks in a coordinated manner. To ensure a successful collaboration of multiple robotics, this formal agent-based framework captures behaviors in Petri Net models and specifies collaboration operations in four defined operations. To validate the framework, a non-trivial soccer bot set was implemented and simulation results were discussed.
Related Content
|
R. N. Ravikumar, S. Aarthi.
© 2026.
32 pages.
|
|
P. Sriramalakshmi, H. Bavya Shree, Sonakshi Agrawal.
© 2026.
30 pages.
|
|
Gurpreet Singh, Vakil Singh.
© 2026.
36 pages.
|
|
Y. Sree Vani, P. Selvakumar, B. Prabhanjan Yadav, M. Kanipriya, M. R. Arun, Arti Bansal, T. C. Manjunath.
© 2026.
30 pages.
|
|
T. Grace Shalini, P. Bhavesh, S. S. Krishikaa Mathi Bharathi, Nayantra Ramakrishnan.
© 2026.
34 pages.
|
|
Muhammad Usman Tariq.
© 2026.
26 pages.
|
|
Ma. de los Angeles Alamilla Daniel, Angel Ricardo Licona RodrÃguez.
© 2026.
30 pages.
|
|
|