Formal Verification of Maritime Autonomous Systems Using UPPAAL STRATEGO

Fatima Shokri-Manninen; Vain Jüri; Marina Walden; Uustalu Tarmo; Vain Jüri

Formal Verification of Maritime Autonomous Systems Using UPPAAL STRATEGO

Fatima Shokri-Manninen
, Vain Jüri
, Marina Walden
, Uustalu Tarmo (Redaktör)
, Vain Jüri (Redaktör)

Forskningsoutput: Övriga bidrag › Peer review

Sammanfattning

Lately the demand for autonomous ships has grown substantially. Autonomous shipsare expected to navigate safely and avoid collisions following accepted navigation rules.We model the autonomous system as a Stochastic Priced Timed Game using UPPAAL STRATEGO. The behaviour of the controller is optimised and verified in order to achievethe goal to safely reach the destination at a minimum cost.

Originalspråk	Engelska
Status	Publicerad - 2019
MoE-publikationstyp	O2 Other

Nyckelord

Formal verification
Autonomous systems

Åtkomst av dokument

https://cs.ttu.ee/events/nwpt2019/index.php?page=proc

Citera det här

@misc{b79eb41e6d544473808017c4369a8bb1,

title = "Formal Verification of Maritime Autonomous Systems Using UPPAAL STRATEGO",

abstract = "Lately the demand for autonomous ships has grown substantially. Autonomous shipsare expected to navigate safely and avoid collisions following accepted navigation rules.We model the autonomous system as a Stochastic Priced Timed Game using UPPAAL STRATEGO. The behaviour of the controller is optimised and verified in order to achievethe goal to safely reach the destination at a minimum cost.",

keywords = "Formal verification, Autonomous systems, Formal verification, Autonomous systems, Formal verification, Autonomous systems",

author = "Fatima Shokri-Manninen and Vain J{\"u}ri and Marina Walden and Uustalu Tarmo and Vain J{\"u}ri",

year = "2019",

language = "English",

type = "Other",

}

TY - GEN

T1 - Formal Verification of Maritime Autonomous Systems Using UPPAAL STRATEGO

AU - Shokri-Manninen, Fatima

AU - Jüri, Vain

AU - Walden, Marina

A2 - Tarmo, Uustalu

A2 - Jüri, Vain

PY - 2019

Y1 - 2019

N2 - Lately the demand for autonomous ships has grown substantially. Autonomous shipsare expected to navigate safely and avoid collisions following accepted navigation rules.We model the autonomous system as a Stochastic Priced Timed Game using UPPAAL STRATEGO. The behaviour of the controller is optimised and verified in order to achievethe goal to safely reach the destination at a minimum cost.

AB - Lately the demand for autonomous ships has grown substantially. Autonomous shipsare expected to navigate safely and avoid collisions following accepted navigation rules.We model the autonomous system as a Stochastic Priced Timed Game using UPPAAL STRATEGO. The behaviour of the controller is optimised and verified in order to achievethe goal to safely reach the destination at a minimum cost.

KW - Formal verification

KW - Autonomous systems

KW - Formal verification

KW - Autonomous systems

KW - Formal verification

KW - Autonomous systems

M3 - Other contribution

ER -

Formal Verification of Maritime Autonomous Systems Using UPPAAL STRATEGO

Sammanfattning

Nyckelord

Åtkomst av dokument

Fingeravtryck

Citera det här