TY - GEN
T1 - Temporal logic formalization of marine traffic rules
AU - Krasowski, Hanna
AU - Althoff, Matthias
N1 - Publisher Copyright:
© 2021 IEEE.
PY - 2021/7/11
Y1 - 2021/7/11
N2 - Autonomous vessels have to adhere to marine traffic rules to ensure traffic safety and reduce the liability of manufacturers. However, autonomous systems can only evaluate rule compliance if rules are formulated in a precise and mathematical way. This paper formalizes marine traffic rules from the Convention on the International Regulations for Preventing Collisions at Sea (COLREGS) using temporal logic. In particular, the collision prevention rules between two power-driven vessels are delineated. The formulation is based on modular predicates and adjustable parameters. We evaluate the formalized rules in three US coastal areas for over 1, 200 vessels using real marine traffic data.
AB - Autonomous vessels have to adhere to marine traffic rules to ensure traffic safety and reduce the liability of manufacturers. However, autonomous systems can only evaluate rule compliance if rules are formulated in a precise and mathematical way. This paper formalizes marine traffic rules from the Convention on the International Regulations for Preventing Collisions at Sea (COLREGS) using temporal logic. In particular, the collision prevention rules between two power-driven vessels are delineated. The formulation is based on modular predicates and adjustable parameters. We evaluate the formalized rules in three US coastal areas for over 1, 200 vessels using real marine traffic data.
UR - https://www.scopus.com/pages/publications/85118893037
U2 - 10.1109/IV48863.2021.9575685
DO - 10.1109/IV48863.2021.9575685
M3 - Conference contribution
AN - SCOPUS:85118893037
T3 - IEEE Intelligent Vehicles Symposium, Proceedings
SP - 186
EP - 192
BT - 32nd IEEE Intelligent Vehicles Symposium, IV 2021
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 32nd IEEE Intelligent Vehicles Symposium, IV 2021
Y2 - 11 July 2021 through 17 July 2021
ER -
