Formal framework for detection of automation surprises in human-machine systems modeled by hybrid automata

التفاصيل البيبلوغرافية
العنوان: Formal framework for detection of automation surprises in human-machine systems modeled by hybrid automata
المؤلفون: Ishii, Daiki, Ushio, Toshimitsu
المصدر: 2014 IEEE 3rd Global Conference on Consumer Electronics (GCCE) Consumer Electronics (GCCE), 2014 IEEE 3rd Global Conference on. :372-373 Oct, 2014
Relation: 2014 IEEE 3rd Global Conference on Consumer Electronics (GCCE)
قاعدة البيانات: IEEE Xplore Digital Library
الوصف
ردمك:9781479951451
تدمد:23788143
DOI:10.1109/GCCE.2014.7031113