Sökning: "Sudakshin Ganesan"
Hittade 1 uppsats innehållade orden Sudakshin Ganesan.
1. Real Time Reachability Analysis for Marine Vessels
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)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
Resultatsidor:
1