信号時間論理式(STL*)の高速かつロバストなモニタリング手法 - 値凍結演算子を用いて

STLは、従来のSTLでは表現できない工学的な性質を表現できるよう、値凍結演算子を導入したロジックである。本研究では、値凍結変数が複数個含まれるSTL式に対して、効率的なブール値モニタリングおよび定量的ロバスト性モニタリングのアルゴリズムを提案する。