Formal Verification of Maritime Autonomous Systems Using UPPAAL STRATEGO

Fatima Shokri-Manninen, Vain Jüri, Marina Walden, Uustalu Tarmo (Toimittaja), Vain Jüri (Toimittaja)

Tutkimustuotos: Muu myötävaikuttaminenvertaisarvioitu

Abstrakti

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.

AlkuperäiskieliEnglanti
TilaJulkaistu - 2019
OKM-julkaisutyyppiO2 Other

Keywords

  • Formal verification
  • Autonomous systems

Sormenjälki Sukella tutkimusaiheisiin 'Formal Verification of Maritime Autonomous Systems Using UPPAAL STRATEGO'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Viittausmuodot