English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

Recently, during search and rescue actions at sea, Unmanned Aerial Vehicles (UAVs) have been used. Onboard decision capabilities allow an UAV vehicle to reach the entity that is in dis­tress at sea. UAVs are launched within a few minutes to begin search actions. When the exact location of the irtjured entity is detected, a rescue action should begin. According to the collected information about the vessel's position, manoeuvrability, and velocity, the control centre deter­mines which vessel is to be engaged in the rescue action. This highly autonomous system can be described as a discrete event system. Certain states of such systems, such as collisions, are undesirable. This paper presents implementation of information flow to supervise, control, and monitor the behaviour of the UAVs during the search, to avoid collisions and to communicate with computational onboard sub-systems. Planning algorithms and coloured Petri nets are used to specify different phases of the mission execution. When a certain UAV detects an injured entity, alternative encoded reactions are triggered and a control centre starts implementing the rescue plan.

A formal model for planning and controlling search and rescue actions at sea