1D4-01 組込みプログラムの自動生成に関する研究―制御構造の論理表現と処理

山内 平行 (前橋工科大学)
大須賀 節雄 (早稲田大学大学院理工学研究科)


5月29日(水)   設計システム   16:50-18:50 (D会場)

概要:
本論文は制御系設計を「行為対を作ること」と定義し、与えられた行為対集合(グラフを形成)の論理表現、行為対集合から推論による候補制御構造の導出、候補制御構造からのプログラム自動合成用データの生成に関する。