1 |
Sarter, N. B., Woods, D. D. and Billings, C. E., 1997, "Automation Surprises," Handbook of Human Factors and Ergonomics, 2nd ed., G. Salvendy, Ed., Wiley, New York, pp. 1926-1943.
|
2 |
Butler, R. W., Miller, S. P., Potts, J. N. and Carreno, V. A., 1998, "A Formal Methods Approach to the Analysis of Mode Confusion," Proceedings of AIAA/IEEE 17th Digital Avionics Systems Conference, Oct 31 - Nov 7, Bellevue, WA, pp. C41-1-8.
|
3 |
Moon, I. and Yi, K., 2005, "Multi-Vehicle Tracking Adaptive Cruise Control," Trans. Korean Soc. Mech. Eng. A, Vol. 29, No. 1, pp. 139-144.
DOI
|
4 |
Bolton, M. L., Bass, E. J. and Siminiceanu, R. I., 2013, "Using Formal Verification to Evaluate Human-Automation Interaction: A Review," IEEE Transactions on Systems, Man and Cybernetics: Systems, Vol. 43, No. 3, pp. 488-503.
DOI
|
5 |
Degani, A. and Heymann, M., 2002, "Formal Verification of Human-Automation Interaction," Human Factors: The Journal of the Human Factors and Ergonomics Society, Vol. 44, No. 1, pp. 28-43.
DOI
|
6 |
Heymann, M. and Degani, A., 2007, "Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm," Human Factors: The Journal of the Human Factors and Ergonomics Society, Vol. 49, No. 2, pp. 311-330.
DOI
|
7 |
Horiguchi, Y., Fukuju, R. and Sawaragi, T., 2006, "An Estimation Method of Possible Mode Confusion in Human Work with Automated Control Systems," Proceedings of SICE-ICASE International Joint Conference, Oct 18-21, Busan, South Korea, pp. 943-948.
|
8 |
Horiguchi, Y., Fukuju, R. and Sawaragi, T., 2007, "Differentiation of Input-Output Relations to Facilitate User's Correct Awareness of Operating Mode of Automated Control System," Proceedings of 2007 IEEE International Conference on Systems, Man and Cybernetics, pp. 2570-2575.
|
9 |
Furukawa, H., Inagaki, T., Shiraishi, Y. and Watanabe, T., 2003, "Mode Awareness of a Dualmode Adaptive Cruise Control System," Proceedings of 2003 IEEE International Conference on Systems, Man and Cybernetics, Vol. 1, pp. 832-837.
|
10 |
ISO, 1997, ISO 15662 Document, http://www.iso.org/iso/home/store/catalogue_tc/catalogue_detail.htm?csnumber=44322.
|
11 |
Hyundai Motor Co., 2013, EQUUS Manual, http://www.hyundai.com/kr/blu/selectDlExpdList.do#none.
|
12 |
TASS International, 2013, PreScan Manual, http://www.tassinternational.com.
|