Pregled bibliografske jedinice broj: 923890
A formal model for planning and controlling search and rescue actions at sea
A formal model for planning and controlling search and rescue actions at sea // Ekonomiczne Problemy Usług, 124 (2016), 3; 27-37 doi:10.18276/epu.2016.124-03 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 923890 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
A formal model for planning and controlling search and rescue actions at sea
Autori
Medić, Dario ; Gudelj, Anita ; Krčum, Maja
Izvornik
Ekonomiczne Problemy Usług (1896-382X) 124
(2016), 3;
27-37
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
conflict avoidance ; Petri net modeling ; UAV
Sažetak
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 determines 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.
Izvorni jezik
Engleski
Znanstvena područja
Tehnologija prometa i transport, Informacijske i komunikacijske znanosti
POVEZANOST RADA
Ustanove:
Pomorski fakultet, Split,
Sveučilište u Splitu
Citiraj ovu publikaciju:
Uključenost u ostale bibliografske baze podataka::
- BazEkon
- BazHum
- Google Scholar
- Index Copernicus