This paper presents a novel scheduling approach for inland waterway transport (IWT) vessels that must pass through multi-chamber locks. A switching max-plus linear (SMPL) model is built to determine, for each vessel, the most appropriate route, the arrival times at relevant waypoints as well as at the destination, the relative order in which it moves through the network with respect to other vessels, its assignment to certain lock chambers together with other vessels, and its position inside each chamber. The SMPL constraints are translated to mixed integer linear programming (MILP) constraints for the optimization problem to be solvable, and objectives minimizing arrival times or arrival time offsets are defined. The proposed approach is tested on a multi-lock waterway, and its performance is compared to the current state of practice using relevant key performance indicators (KPIs), which allows to demonstrate the superior performance of the proposed approach.

Over the past decade, autonomous surface vessels (ASVs) have increasingly operated in a range of challenging environments involving safety-critical scenarios. Their navigational capabilities rely on rich and reliable sensor data, enabling accurate localisation, situational awareness and environmental perception. This allows ASVs to perform motion planning, collision avoidance and navigational control tasks. To ensure maritime safety, faults affecting onboard navigational sensors must be diagnosed. This paper presents a model-based fault diagnosis scheme for ASVs affected by multiple sensor faults. Model-based methods utilise available sensors and dynamical models for residual generation. However, models describing the navigation may vary considerably for ASVs due to differences in vessel types, actuator configurations and sensor setups. To address this challenge, multiple residuals are synthesised using observer-based monitoring modules in the navigational sensors. Considering the impact of uncertainties, the residuals are designed to be bounded by adaptive thresholds proposed for each monitoring module. Fault isolation is then performed using a combinatorial decision logic, achieved by grouping the available sensors into multiple sensor sets and supported by model-based sensitivity analysis. Finally, the effectiveness of the proposed scheme is verified through simulation examples of two real-world vessels of different types with different sensor and actuator configurations, thereby illustrating its application.

System identification of full-scale surface vessels must address significant uncertainties arising from model mismatch, sensor noise, and environmental disturbances. To provide safety, robustness, and constraint satisfaction guarantees, especially for autonomous navigation applications, it is essential to quantify the bounds of parametric model uncertainty. This paper proposes a set-membership identification method for estimating key parameters of a nonlinear vessel maneuvering model, including inertia and added-mass terms, other hydrodynamic derivatives in the Coriolis-centripetal, damping matrices, and actuation-related parameters. The method provides a bounded-error characterisation of uncertainties, offering a reliable framework for modelling the effects of measurement noise, wind, and waves. It involves computing a data-driven parameter set (DDPS) using input-output measurements and model assumptions, which is further used to compute a feasible parameter set (FPS). The parameter estimates are then obtained by iteratively solving a quadratic program over the FPS polytope. Validation of the method using experimental data from a full-scale catamaran demonstrates improved accuracy of up to 26.5% as compared to existing approaches, significantly faster computational times, and its capability to provide bounded parameter estimates.

This paper considers the presence of movable bridges in inland waterway transport, and presents a control framework for the joint dynamic coordination of bridge operations and autonomous vessel navigation to minimize waiting times of vessels at bridges. Simultaneous evolution of bridge occupancy and vessel position is captured by a control-oriented model that incorporates qualitative behavior in the form of propositional logic expressions. A model predictive control (MPC) strategy is designed considering adaptable bridge opening regimes to exploit vessel passage demand, and operational preferences of both vessel skippers and bridge operators are taken into account to reach fair trade-off decisions. A realistic case study pertaining to the Rhine-Alpine corridor is used to demonstrate the effectiveness of the approach. Appropriate key performance indicators (KPIs) are defined and employed for a quantitative comparison with a mixed-integer programming (MIP) strategy with fixed opening regimes. Furthermore, sensitivity to the main MPC parameters is examined by carrying out extensive testing to assess the effect of each design parameter on the solution.

Autonomous inland shipping offers a safer and more efficient form of transportation over water with the potential to reduce maritime carbon emissions. However, the operation of autonomous vessels presents unique challenges due to complex dynamics, varying traffic conditions, and environmental disturbances. To ensure the safe navigation of these vessels in confined inland waterways, it is crucial to address manoeuvring prediction and motion control challenges. Research focusing on these challenges disregards or only partially incorporates inland waterway characteristics related to the vessel and its surroundings. This study provides a comprehensive analysis of these key factors. By modelling the vessel using a modified Manoeuvring Modelling Group (MMG) model specifically tailored for confined waterways, hydrodynamic effects due to shallow water, channel banks, and current are accounted for. A nonlinear model predictive controller (NMPC) is employed for the vessel path following control under various scenarios, including straight channels, confluences, and river bends. It is observed that the hydrodynamic effects from the channel banks significantly impact vessel steering. Compared to conventional proportional-integral-derivative (PID) controllers, NMPC effectively reduces course deviations and cross-track errors under varying water depth and ship-to-bank distance conditions, while also requiring fewer rudder deflections. Furthermore, key performance metrics related to the control of inland waterway vessels are proposed to evaluate the controller's performance further. The NMPC control law demonstrates its effectiveness in capturing the hydrodynamic effects and improving navigation safety in confined waterways.

Waterborne transport is very important for moving freight and passengers globally. To make this transport more efficient, vessel design must adapt to changing missions, regulations and the occurrence of malfunctions. This paper presents the design of an intelligent decision-support framework to assist marine engineers and vessel operators in updating the system and control architecture of marine vessels before and during a mission. The connection between the system architecture and control design perspectives is enabled using a semantics-based technique. To this end, the multi-level vessel control system is described by a semantic database, a knowledge graph used to connect the components automatically, and quantitative service criteria. Considering the system architecture, the optimal modification is deduced using modularity and complexity criteria, originating from the field of network theory. On the control side, an intelligent automation supervisor is designed to make offline and online decisions regarding the energy deficit to execute a new mission and the active automation configuration during operation. For offline decisions, system architecture modifications are requested by the vessel designers to cover the energy deficit. During operation, switching between hardware and virtual sensors as well as switching between energy management controllers is implemented to handle the effects of sensor faults. The framework is successfully applied to a case study of a tugboat used to adapt to missions with different power requirements, while simulation results are used to indicate its application in supporting the decisions of vessel designers and human vessel operators.

Solid Oxide Fuel Cells are promising power generation technologies, especially for large-scale applications. As the marine industry is targeting a full de-carbonization by year 2050, increasing attention is being directed toward the implementation of these technologies. Solid Oxide Fuel Cells are complex systems where thermodynamics and electrochemical reactions are coupled, resulting in highly non-linear dynamics, tight operational constraints, and multiple distributed sensors. Those quantities that cannot be directly measured, need to be estimated. Among these, the so called Area Specific Resistance is an indicator of cell's health condition, related to the cell degradation. This paper proposes a Moving Horizon Estimator based on an extended state-space model of a methane-fueled Solid Oxide Fuel Cell, to estimate in real time the Area Specific Resistance of the cell. Using the estimated value, along with its maximum and average rates, a predictive framework is developed to estimate the Remaining Useful Life of the cell. Simulations are used to illustrate the application and the efficiency of the proposed method.

This paper introduces a Fault Diagnosis (Detection, Isolation, and Estimation) method using Set-Membership Estimation (SME) designed for a class of nonlinear systems that are linear to the fault parameters. The methodology advances fault diagnosis by continuously evaluating an estimate of the fault parameter and a feasible parameter set where the true fault parameter belongs. Unlike previous SME approaches, in this work, we address nonlinear systems subjected to both input and output uncertainties by utilizing inclusion functions and interval arithmetic. Additionally, we present an approach to outer-approximate the polytopic description of the feasible parameter set by effectively balancing approximation accuracy with computational efficiency resulting in improved fault detectability. Lastly, we introduce adaptive regularization of the parameter estimates to enhance the estimation process when the input-output data are sparse or non-informative, enhancing fault identifiability. We demonstrate the effectiveness of this method in simulations involving an Autonomous Surface Vehicle in both a path-following and a realistic collision avoidance scenario, underscoring its potential to enhance safety and reliability in critical applications.

As Autonomous Surface Vessels (ASVs) become increasingly prevalent in marine applications, ensuring their safe operation, in the presence of faults, is crucial to human safety. This paper presents a scheme that encompasses the detection and isolation of actuator faults within ASVs to ensure uninterrupted and safe operation. The method primarily addresses the loss of thruster effectiveness as a specific actuator fault. For fault detection, the proposed method leverages residuals generated by nonlinear observers, coupled with adaptive thresholds, enhancing fault detection accuracy. The active fault isolation strategy employs actuator redundancy to insulate specific system states from faults by dynamically reconfiguring the actuation configuration in response to detected faults. Comprehensive simulation results demonstrate the effectiveness of this methodology across diverse marine traffic scenarios where the ASV needs to perform a collision avoidance maneuver.

This paper proposes a greedy stochastic optimization algorithm for the sensor set decomposition used in the sensor fault monitoring of marine propulsion systems, based on fault isolability criteria. These criteria are expressed mathematically in terms of the number of unique columns in the theoretical fault signature matrices (FSMs) used during the sensor fault isolation process. Due to the large scale and complexity of marine propulsion plants, the diagnostic layer follows a distributed architecture with a combinatorial logic used for fault isolation in two cyber levels; the local and global decision logic. As a result, the FSMs of both levels are formulated as an integrated optimization problem. Each solution regarding the sensor set decomposition is then used to generate the respective distributed monitoring architecture, using semantic (qualitative) knowledge for the propulsion plant. Thus, the need for an analytical model of the plant is removed. Moreover, based on the design of the distributed monitoring architecture, the respective theoretical FSMs (quantitative) are Automatically generated and used for the evaluation of the objective function. Finally, simulation results are used to illustrate the application of the greedy stochastic optimization algorithm and its efficiency.

This paper presents a rule-compliant trajectory optimization method for the guidance and control of Autonomous Surface Vessels. The method builds on Model Predictive Contouring Control and incorporates the International Regulations for Preventing Collisions at Sea relevant to motion planning. We use these rules for traffic situation assessment and to derive traffic-related constraints that are inserted in the optimization problem. Our optimization-based approach enables the formalization of abstract verbal expressions, such as traffic rules, and their incorporation in the trajectory optimization algorithm along with the dynamics and other constraints that dictate the system's evolution over a sufficiently long planning horizon. The ability to plan considering different types of constraints and the system's dynamics, over a long horizon in a unified manner, leads to a proactive motion planner that mimics rule-compliant maneuvering behavior, suitable for navigation in mixed-traffic environments. The efficacy and scalability of the derived algorithm are validated in different simulation scenarios, including complex traffic situations with multiple Obstacle Vessels.

This article proposes a distributed model-based methodology for the diagnosis of faults affecting multiple sensors used for condition monitoring and control of marine internal combustion engines (ICEs). To handle the complexity of the ICE, we consider it as a set of interconnected physical subsystems that constitute the physical layer. For every subsystem, the detection of sensor faults relies on the design of cyber agents, where every agent monitors one subsystem. To handle the heterogeneous dynamics of each subsystem in the fault detection decision-making process, each agent uses differential and algebraic residuals alongside adaptive bounds. For isolation purposes, a combinatorial decision logic is employed, realized in two cyber levels: the local and the global decision logic. The first aims at the recognition of all sensor fault patterns that might have affected the engine based on the local agent fault signatures and certain binary decision matrices. The latter is used to capture the propagation of sensor faults between the different monitoring agents. Simulation results are used to showcase the proposed methodology's efficiency in tackling the problem and its applicability.

As inland waterway usage intensifies, it increasingly intersects and conflicts with railway and road transportation modes, highlighting the need for efficient management of these critical junctures. In particular, movable bridges represent a key intersection of highway and waterway Traffic but also a potential source of conflict. This paper proposes and analyzes the use of automatic schedulers that consider both highway and waterway Traffic, reduce conflicts, and make key decisions about bridge use. The METANET macroscopic Traffic model is elaborated to allow the simulation of drawbridge openings on the highway mainline, based on the modelling of mainstream metering. Several MPC-based schedulers are proposed using the designed highway Traffic model and key vessel information, aiming to study the impact of the bridge opening and scheduling on highway Traffic. The simulation results indicate a significant reduction in Traffic conflicts at drawbridge intersections due to the implementation of these schedulers. The functioning of the schedulers is shown to be robust and demonstrate verifiable behavior, indicating their high potential in real-world applications.

To integrate and assist the system and automation design phases of complex marine vessels, this paper proposes a two-level semantically enhanced scheme. At the design level, the system components are described and automatically connected by a developed graph-making tool using semantic 'knowledge'. Decisions regarding the system selection are made based on certain Quality of Service Criteria (QoS) and enforced in the final semantic database using a dedicated cognitive agent. The automation level leverages the selected systems semantic information with that of the associated automation components and reuses the graph-making tool to update the connection graph. The resulting knowledge-graph is then used to 'reason' for the creation of feasible closed-loop control architectures while a cognitive agent determines which closed-loop architecture to use based on various QoS criteria. The chosen closed-loop architecture can then change in an online manner during the vessel operation in case that system reconfiguration is required either due to malfunctioning components, or aiming to satisfy mission's goals. The applicability and efficiency of the proposed method are shown using a case study for marine propulsion.

The regulatory endorsement of the International Maritime Organization (IMO) and the support of pivotal shipping market players in recent years motivate the investigation of the potential role that autonomous vessels play in the shipping industry. As the complexity and scale of the envisioned applications increase, research works gradually transform the focus from single-vessel systems to multi-vessel systems. Thus, autonomous multi-vessel systems applied in the shipping industry are becoming a promising research direction. One of the typical research directions is floating object manipulation by multiple tugboats. This paper offers a comprehensive literature review of the existing research on floating object manipulation by autonomous multi-vessel systems. Based on the prior knowledge of object manipulation problems in multi-robot systems, four typical ways of maritime object manipulation are summarized: attaching, caging, pushing, and towing. The advantages and disadvantages of each manipulation way are discussed, including its typical floating object and application scenarios. Moreover, the aspects of control objective, control architecture, collision avoidance operation, disturbances consideration, and role of each involved vessel are analyzed for gaining insight into the approaches for solving these problems. Finally, challenges and future directions are highlighted to give possible inspiration.