スケジュール見直し実施の契機と着目パラメータ検出のための数理的手法

摘要

先の研究で、与えられた制御システムの下で要求仕様を満足できるような操作遅延許容領域を、QE(：Quantifier elimination)を使って求める方法を提案した。また、得られる操作遅延許容領域から、操作遅延の上限等、プラント操作上有用な情報の抽出が可能であることを示した。以上の結果を踏まえた実践的研究成果の一つとして、本報では、再スケジューリング実施のための一契機と着目パラメータを、上記の操作遅延許容領域を表す不等式制約全体から検出するための数理的方法について示す。更に、本方法の妥当性を、バッチプラントを用いた検証実験の結果を通して示す。