Sökning: "Sudakshin Ganesan"

Hittade 1 uppsats innehållade orden Sudakshin Ganesan.

  1. 1. Real Time Reachability Analysis for Marine Vessels

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Sudakshin Ganesan; [2018]
    Nyckelord :Reachable set; Safety Verification; Marine dynamics; Machine Learning; Optimal control; Säkerhetsverifiering; nåbarhetsanalys; fartyg dynamisk;

    Sammanfattning : Safety verification of continuous dynamical systems require the computationof the reachable set. The reachable set comprises those states the systemcan reach at a specific point in time. LÄS MER