Abstract
The application of robots in urban search and rescue (USAR) is a domain receiving increasing attention from the scientific community, although it does not yet grant the requirements for field implementation, such as robustness, reliability, and safety. In this work, we propose a multi-robots coordination system based on the supervisory control theory (SCMCS) divided into two layers: reactive and deliberative. While the reactive layer assures that each robot attains to the critical USAR requirements in face of unexpected events by means of a maximally permissive and nonblocking supervisory control, the deliberative layer coordinates the multi-robots system exploiting heuristics to perform the missions with efficiency. The formal modeling and synthesis of supervisors are applied to a case study based on the international USAR agency procedures. The SCMCS architecture is implemented in a simulated scenario composed of two ground robots and two aerial robots executing USAR missions in a post-disaster scene subject to unexpected events such as robot failures, victims and dangers detection and battery losses. The simulation results show that SCMCS is capable of efficiently coordinating the tasks assigned to multiple robots while guaranteeing critical requirements even in face of the uncertainties of robots and environments in USAR disasters.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Åkesson, K., Fabian, M., Flordal, H., & Vahidi, A. (2003). Supremica-a tool for verification and synthesis of discrete event supervisors. In Proceeding 11th Mediterranean Conference on Control and Automation.
Battistella, S., & de Queiroz, M. H. (2014). Simulation environment of an architecture for mission control system of AUVs operating in lakes of hydroelectric dams. In Proceedings of the 3rd International Conference on Applied Robotics for the Power Industry (pp. 1–6).
Cassandras, C. G., & Lafortune, S. (2008). Introduction to discrete event systems. Springer.
CNN. (2019). September 11 terror attacks fast facts. https://edition.cnn.com/2013/07/27/us/september-11-anniversary-fast-facts/index.html
Delmerico, J., Mintchev, S., Giusti, A., Gromov, B., Melo, K., Horvat, T., Cadena, C., Hutter, M., Ijspeert, A., Floreano, D., et al. (2019). The current state and future outlook of rescue robotics. Journal of Field Robotics, 36(7), 1171–1191.
Kleiner, A., & Dornhege, C. (2007). Real-time localization and elevation mapping within urban search and rescue scenarios. Journal of Field Robotics, 24(8–9), 723–745.
Liu, Y., & Nejat, G. (2013). Robotic urban search and rescue: A survey from the control perspective. Journal of Intelligent & Robotic Systems, 72(2), 147–165.
Liu, Y., & Nejat, G. (2016). Multirobot cooperative learning for semiautonomous control in urban search and rescue applications. Journal of Field Robotics, 33(4), 512–536.
Murphy, R. R. (2004). Trial by fire [rescue robots]. IEEE Robotics Automation Magazine, 11(3), 50–61.
Murphy, R. R. (2014). Disaster robotics. MIT press.
Murphy, R. R., Tadokoro, S., Nardi, D., Jacoff, A., Fiorini, P., Choset, H., & Erkmen, AM. (2008). Springer handbook of robotics, chap Search and Rescue Robotics (pp. 1151–1173).
de Queiroz, M. H., & Cury, J. E. (2000). Modular supervisory control of large scale discrete event systems. Discrete Event Systems (pp. 103–110). Springer.
de Queiroz, M. H., & Cury, J. E. (2002). Synthesis and implementation of local modular supervisory control for a manufacturing cell. In Proceeding Sixth International Workshop on Discrete Event Systems, 2002 (pp. 377–382). IEEE.
Ramadge, P. J., & Wonham, W. M. (1987). Supervisory control of a class of discrete event processes. SIAM Journal on Control and Optimization, 25(1), 206–230.
Simon, M. E. (2021a). TCS code generator. https://github.com/mSimon12/TCS_supervisor
Simon, M. E. (2021b) USAR multi-robots. https://github.com/mSimon12/usar_multirobot
Simon, M. E. (2022). Multi-robots coordination system for urban search and rescue post-disaster assistance based on supervisory control theory. Master’s thesis, Federal University of Santa Catarina.
Veras, M. Z., Cabral, F. G., & Moreira, M. V. (2021). Distributed synchronous diagnosis of discrete event systems modeled as automata. Control Engineering Practice, 115, 104892.
Acknowledgements
This work was partially supported by the Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Brasil (CAPES) Finance Code 001.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors have no conflict of interest to declare that are relevant to the content of this article.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Simon, M.E., Baldissera, F.L., de Queiroz, M.H. et al. Multi-robots Coordination System for Urban Search and Rescue Assistance Based on Supervisory Control Theory. J Control Autom Electr Syst 34, 484–495 (2023). https://doi.org/10.1007/s40313-023-00986-7
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40313-023-00986-7