Implementation and verification of course controllers in the inland navigation simulator (InSim)

The formal verification of performance properties of a ship’s course control algorithm used in the InSim simulator of Maritime University of Szczecin is presented in the paper. Implementation of fuzzification, fuzzy rules and defuzzification techniques allowed the construction of a controller tuned in accordance to expert knowledge as an alternative to the industry PID standard. Both controllers’ structures are analysed. Their verification leads to the assessment and comparison of dynamic properties of a modelled ship’s course control. Further development of course controllers into track controllers has been discussed as well.