Control logic verification of safety of the intended functionality for maritime autonomous surface ships based on Event-B: A case of autonomous berthing scenario

Reliability Engineering & System Safety 2026

View at publisher

Authors: Ruiwen Zhang, Xiaoxue Ma, Weiliang Qiao, Haitao Zhang, Bing Han

DOI: 10.1016/j.ress.2026.113158

Cited by: 1

References: 57

Fields of Study & Subjects

Maritime Navigation and Safety Mathematical Control Systems and Analysis Maritime Transport Emissions and Efficiency

References 57