Modelling of autonomous vessels' navigation rules with Timed Petri nets and formal verification of collision avoidance situations with compositional model checking

Eha Merirand, doktorant, (juh) Jüri Vain; JOHAN LILIUS, Modelling of autonomous vessels' navigation rules with Timed Petri nets and formal verification of collision avoidance situations with compositional model checking (Autonoomsete laevade navigeerimisreeglite modelleerimine ajaga Petri võrkude abil ja liiklussituatsioonide ohutuse formaalne tõestamine kompositsioonilise mudelkontrolliga), Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut.
Eha Mugamäe
doktorikraad
Õpingud pooleli
Ei
23.08.2018
Inglise
Modelling of autonomous vessels' navigation rules with Timed Petri nets and formal verification of collision avoidance situations with compositional model checking
Autonoomsete laevade navigeerimisreeglite modelleerimine ajaga Petri võrkude abil ja liiklussituatsioonide ohutuse formaalne tõestamine kompositsioonilise mudelkontrolliga
Modelling of autonomous vessels' navigation rules with Timed Petri nets and formal verification of collision avoidance situations with compositional model checking
ETIS klassifikaatorAlamvaldkondCERCS klassifikaator
4. Loodusteadused ja tehnika4.13. Mehhanotehnika, automaatika, tööstustehnoloogiaT125 Automatiseerimine, robootika, juhtimistehnika
4. Loodusteadused ja tehnika4.15. Ehitus- ja kommunaaltehnikaT300 Veetransporditehnoloogia
4. Loodusteadused ja tehnika4.6. ArvutiteadusedP170 Arvutiteadus, arvutusmeetodid, süsteemid, juhtimine (automaatjuhtimisteooria)