ジッターがある同期型事象をもつハイブリッドシステムのモデル化

抄録

ネットワーク制御のように、一般に同期型事象においてジッターが存在する。このジッターの存在を考慮して、同期型事象をもつハイブリッドシステムをモデル化する。