複数のユーザによって操作される離散事象システムにおけるオートメーションサプライズの検出

鈴木 絢子; 潮 俊光; 足立 正和

doi:10.11509/sci.SCI06.0.277.0

第50回システム制御情報学会研究発表講演会

セッションID: 7F2-4

DOI https://doi.org/10.11509/sci.SCI06.0.277.0

会議情報

主催: システム制御情報学会

複数のユーザによって操作される離散事象システムにおけるオートメーションサプライズの検出

*鈴木絢子, 潮俊光, 足立正和

著者情報

キーワード: 離散事象システム, オートメーションサプライズ, ユーザインタフェース

会議録・要旨集フリー

詳細

抄録

操作によってユーザの意図したふるまいを機械がしないような現象をオートメーションサプライズという．本報告では，複数のユーザによって操作される離散事象システムに対してオートメーションサプライズを分類する．これらのオートメーションサプライズを検出するための合成則を提案する．合成オートマトンにおける可到達問題として，オートメーションサプライズの検出問題を定式化する．

責任著者(Corresponding author)

J-STAGEへの登録はこちら（無料）