Resumen de Descripción formal como máquinas de estado finitas de escenarios de maniobras en un entorno para la cooperación de vehículos marinos

Francisco Jesús Velasco González, Emiliano Moyano Pérez, Amaya Lombera Medina, Eloy López García, Jose María Riola Rodríguez

• Los vehículos marinos efectúan en muchos casos actuaciones en cooperación de especial interés. Para modelar este tipo de maniobras es adecuada una descripción como máquina de estados finitos de los escenarios de operación. Se utiliza Stateflow que es una toolbox de Matlab/Simulink basada en el formalismo de Statechart. En este artículo se presenta este formalismo para representar los diferentes estados en que se puede descomponer la maniobra de abarloamiento.