Real Time Reachability Analysis for Marine Vessels

Real Time Reachability Analysis for Marine Vessels

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. The present work aims to compute thisreachable set for the marine vessel, in the presence of uncertainties in the...

Full description

Bibliographic Details
Main Author:	Ganesan, Sudakshin
Format:	Others
Language:	English
Published:	KTH, Skolan för elektroteknik och datavetenskap (EECS) 2018
Subjects:	Reachable set Safety Verification Marine dynamics Machine Learning Optimal control Säkerhetsverifiering nåbarhetsanalys fartyg dynamisk Engineering and Technology Teknik och teknologier
Online Access:	http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-247878

Similar Items

Algorithm of Quasiuniform Filling of Reachable Set for Nonlinear Control System
by: E. Finkelstein, et al.
Published: (2017-03-01)

On a reachability set of automaton 3-counter machines
by: E. V. Kuzmin, et al.
Published: (2009-09-01)

Estimates of Reachable Set and Sufficient Optimality Condition for Discrete Control Problems
by: S. P. Sorokin
Published: (2017-03-01)

Själv-optimerande dynamisk adaptiv struktur för WebGL-applikationer
by: Wallin, Hektor
Published: (2013)

Verification of systems with behavior parallelism on the basis of the graph of reachable states
by: Yu. V. Pottosin, et al.
Published: (2019-06-01)

AN ALGORITHM FOR COMPUTING BOUNDARY POINTS OF REACHABLE SETS OF CONTROL SYSTEMS UNDER INTEGRAL CONSTRAINTS
by: Mikhail I. Gusev
Published: (2017-07-01)

Dynamiska elnätstariffer : Incitament för en effektivare användning av eldistributionsnäten
by: Nilsson, Anna
Published: (2017)

Estimates of Reachable Sets for Systems with Impulsive Control, Uncertainty and Nonlinearity
by: T. F. Filippova
Published: (2017-03-01)

Vilka platser ombord löper störst brandrisk : Var startar bränderna ombord
by: Andersson, Martin
Published: (2018)

Autonomous Overtaking Using Reachability Analysisand MPC
by: Klaesson, Filip, et al.
Published: (2018)

Reachability Analysis of RTL Circuits Using k-Induction Bounded Model Checking and Test Vector Compaction
by: Roy, Tonmoy
Published: (2017)

On a reachability set of automaton counter machines
by: E. V. Kuzmin, et al.
Published: (2010-03-01)

Estimating Attractor Reachability in Asynchronous Logical Models
by: Nuno D. Mendes, et al.
Published: (2018-09-01)

The calculation of discriminating kernel based on viability kernel and reachability
by: Yanli Han, et al.
Published: (2017-11-01)

HcRPC: Highly Compact Reachability Preserving Graph Compression With Corrections
by: Rui Bing, et al.
Published: (2019-01-01)

Reinforcing Reachable Routes
by: Thirunavukkarasu, Muthukumar
Published: (2011)

An estimation from within of the reachable set of nonlinear R. Brockett integrator with small nonlinearity
by: Moussa Aboubacar, et al.
Published: (2013-01-01)

THE LIMITS OF APPLICABILITY OF THE LINEARIZATION METHOD IN CALCULATING SMALL–TIME REACHABLE SETS
by: Mikhail I. Gusev
Published: (2020-07-01)

Computing Label-Constraint Reachability in Graph Databases
by: HONG, HUI
Published: (2012)

När ska dieselelektrisk framdrift av fartyg väljas?
by: Gustafsson, Daniel
Published: (2008)

Strong Reachability of Reactions with Reversible Steps
by: Virágh Eszter, et al.
Published: (2018-12-01)

Dynamiska avprovningar : En visuell jämförelse mellan virtuella och fysiska avprovningar i rörelse
by: Hallvede, Jonathan
Published: (2021)

An Algorithm of Recognizing Unbounded Petri Nets With Semilinear Reachability Sets and Constructing Their Reachability Trees
by: Dan You, et al.
Published: (2018-01-01)

Static Analysis to improve RTL Verification
by: Agrawal, Akash
Published: (2017)

Legionella : En risk som bör beaktas ombord?
by: Johansson, Andreas, et al.
Published: (2012)

Reachability of standard and fractional continuous-time systems with constant inputs
by: Rogowski Krzysztof
Published: (2016-06-01)

Modular Decomposition-Based Graph Compression for Fast Reachability Detection
by: Shikha Anirban, et al.
Published: (2019-08-01)

Reachable Set Estimation for a Class of Memristor-Based Neural Networks With Time-Varying Delays
by: Jiemei Zhao
Published: (2018-01-01)

A Transmission Power Optimization with a Minimum Node Degree for Energy-Efficient Wireless Sensor Networks with Full-Reachability
by: Bin-Yih Liao, et al.
Published: (2013-03-01)

Robust Model Predictive Control for Marine Vessels
by: Andre do Nascimento, Allan
Published: (2018)

Aiding the implementation of autonomus machines in dynamic environments
by: Elawad, Kristian
Published: (2017)

Verification of networks of communicating processes : Reachability problems and decidability issues
by: Rezine, Othmane
Published: (2017)

New results on reachable set bounding for linear time delay systems with polytopic uncertainties via novel inequalities
by: Hao Chen, et al.
Published: (2017-11-01)

SAT-based Verification for Analog and Mixed-signal Circuits
by: Deng, Yue
Published: (2012)

Mining Spatio-Temporal Reachable Regions over Massive Trajectory Data
by: Ding, Yichen
Published: (2017)

Construction of the Reachable Set for a Two-Dimensional Bilinear Impulsive Control System
by: D. Apanovich, et al.
Published: (2016-03-01)

Varvsbyggnad på Beckholmen
by: Nilsson, Ellen
Published: (2013)

Professionella möten på fartyg : En studie om exraordinära upplevelser på konferensresor
by: Hasselgren, Hanna, et al.
Published: (2014)

A reachable probability approach for the analysis of spatio-temporal dynamics in the human functional network
by: Qing Gao, et al.
Published: (2021-11-01)

Sättningar vid cyklisk och dynamisk lastpåverkan i sand
by: Ahmed, Mohammed, et al.
Published: (2017)