Actuator channel setting strategy for ship information systems based on reachability analysis and physical characteristic | IEEE Conference Publication | IEEE Xplore