Buchumschlag

Symbolic Control for Autonomous Docking of Marine Surface Vessels

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Dietrich, Elizabeth, Gezer, Emir Cem, Zhong, Bingzhuo, Arcak, Murat, Zamani, Majid, Skjetne, Roger, Sørensen, Asgeir Johan
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Maneuvering-based Dynamic Thrust Allocation for Fully-Actuated Vessels
von: Gezer, Emir Cem, et al.
Veröffentlicht: (2025)

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis
von: Dietrich, Elizabeth, et al.
Veröffentlicht: (2025)

Digital-physical testbed for ship autonomy studies in the Marine Cybernetics Laboratory basin
von: Gezer, Emir Cem, et al.
Veröffentlicht: (2025)

Controlled Invariant Sets for Gaussian Process State Space Models
von: Griffioen, Paul, et al.
Veröffentlicht: (2024)

Hierarchical Control for Continuous-time Systems via General Approximate Alternating Simulation Relations
von: Huang, Zhiyuan, et al.
Veröffentlicht: (2026)

Secure-by-Construction Synthesis for Control Systems
von: Zhong, Bingzhuo, et al.
Veröffentlicht: (2023)

Transfer Learning for Control Systems via Neural Simulation Relations
von: Nadali, Alireza, et al.
Veröffentlicht: (2024)

Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach
von: Zhong, Bingzhuo, et al.
Veröffentlicht: (2024)

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison
von: Dietrich, Elizabeth, et al.
Veröffentlicht: (2026)

Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis
von: Sibai, Hussein, et al.
Veröffentlicht: (2024)

Data-Driven Reachability with Scenario Optimization and the Holdout Method
von: Dietrich, Elizabeth, et al.
Veröffentlicht: (2025)

Importance Sampling for Statistical Certification of Viable Initial Sets
von: Dietrich, Elizabeth, et al.
Veröffentlicht: (2026)

Stability Margins of Neural Network Controllers
von: Junnarkar, Neelay, et al.
Veröffentlicht: (2024)

Learning Neural Network Controllers with Certified Robust Performance via Adversarial Training
von: Junnarkar, Neelay, et al.
Veröffentlicht: (2026)

Synthesizing Neural Network Controllers with Closed-Loop Dissipativity Guarantees
von: Junnarkar, Neelay, et al.
Veröffentlicht: (2024)

Communication-Aware Synthesis of Safety Controller for Networked Control Systems
von: Liu, Yihan, et al.
Veröffentlicht: (2026)

Perspective on the Marine Simulator for Autonomous Vessel Development
von: Sawada, Ryouhei, et al.
Veröffentlicht: (2024)

Solving Monotone Variational Inequalities with Best Response Dynamics
von: Chen, Yu-Wen, et al.
Veröffentlicht: (2024)

On Exact Solutions to the Linear Bellman Equation
von: Ohlin, David, et al.
Veröffentlicht: (2025)

Nonlinear Model Predictive Control for Enhanced Navigation of Autonomous Surface Vessels
von: Menges, Daniel, et al.
Veröffentlicht: (2024)

Risk-Aware Obstacle Avoidance Algorithm for Real-Time Applications
von: Kaya, Ozan, et al.
Veröffentlicht: (2026)

Grouping of $N-1$ Contingencies for Controller Synthesis: A Study for Power Line Failures
von: Junnarkar, Neelay, et al.
Veröffentlicht: (2024)

Lure-and-Reveal: An Exposure Framework for Stealthy Deception Attack in Multi-sensor Uncertain Systems
von: Tian, Meiqi, et al.
Veröffentlicht: (2026)

Hierarchical Decision-Making in Population Games
von: Chen, Yu-Wen, et al.
Veröffentlicht: (2025)

Data-driven Construction of Finite Abstractions for Interconnected Systems: A Compositional Approach
von: Ajeleye, Daniel, et al.
Veröffentlicht: (2024)

Trajectory-based Safety of Monotone Systems: Verification and Control Synthesis
von: Galarza-Jimenez, Felipe, et al.
Veröffentlicht: (2026)

Set Invariance with Probability One for Controlled Diffusion: Score-based Approach
von: Wang, Wenqing, et al.
Veröffentlicht: (2025)

Intelligent Sailing Model for Open Sea Navigation
von: Krasowski, Hanna, et al.
Veröffentlicht: (2025)

Finite Horizon Robustness Analysis of LTV Systems Using Integral Quadratic Constraints
von: Seiler, Peter, et al.
Veröffentlicht: (2017)

Synthesis of Stabilizing Recurrent Equilibrium Network Controllers
von: Junnarkar, Neelay, et al.
Veröffentlicht: (2022)

Evolutionary Games on Infinite Strategy Sets: Convergence to Nash Equilibria via Dissipativity
von: Anderson, Brendon G., et al.
Veröffentlicht: (2023)

Exploiting Symmetry in Dynamics for Model-Based Reinforcement Learning with Asymmetric Rewards
von: Sonmez, Yasin, et al.
Veröffentlicht: (2024)

On Approximate Opacity of Stochastic Control Systems
von: Liu, Siyuan, et al.
Veröffentlicht: (2024)

Certifying Stability and Performance of Uncertain Differential-Algebraic Systems: A Dissipativity Framework
von: Jensen, Emily, et al.
Veröffentlicht: (2023)

Fast Assignment in Asset-Guarding Engagements using Function Approximation
von: Junnarkar, Neelay, et al.
Veröffentlicht: (2024)

Forward Reachability for Discrete-Time Nonlinear Stochastic Systems via Mixed-Monotonicity and Stochastic Order
von: Sivaramakrishnan, Vignesh, et al.
Veröffentlicht: (2024)

Model Predictive Control for Cooperative Docking Between Autonomous Surface Vehicles with Disturbance Rejection
von: Battocletti, Gianpietro, et al.
Veröffentlicht: (2025)

This is the Way: Mitigating the Roll of an Autonomous Uncrewed Surface Vessel in Wavy Conditions Using Model Predictive Control
von: Jenkins, Daniel L., et al.
Veröffentlicht: (2024)

Control Closure Certificates
von: Murali, Vishnu, et al.
Veröffentlicht: (2025)

Digital Twin for Autonomous Surface Vessels: Enabler for Safe Maritime Navigation
von: Menges, Daniel, et al.
Veröffentlicht: (2024)