デッドロックのない最大可制御部分述語の計算とその警報器設計への応用

抄録

筆者らは，離散事象システムにおいてオートメーションサプライズを回避するために，状態フィードバックに基づいた人間-機械システムにおける警報器の設計法を提案した．しかし，この方法ではデッドロックに陥る可能性がある．本報告では，デッドロックのない可制御な最大部分述語の計算法を示し，オートメーションサプライズとデッドロックを同時に回避する警報器の設計法を提案する．