連続·論理·離散事象システムの制御統合: 有向グラフによる統一記述と統合アルゴリズムについて

摘要

部分システムとして連続動的システム／論理動的システム／離散事象システムを含む統合化システムにおける動的現象は、離散事象発生の伝播とシステムの状態遷移と信号の伝達によるシステムの挙動で表現される。 本報告では、グラフ表現による一貫した統合化システムのモデル化方法を提案し、これに基づくシミュレーションあるいは制御実行に必要なグラフ処理アルゴリズムについて提案する。