Mathematical provision of man-machine systems design | IEEE Conference Publication | IEEE Xplore