本研究の最終的な目的は、連続変数と離散変数が混在するハイブリッドシステムの代表的モデルの1つであるハイブリッドペトリネットの代数的挙動解析(目標と初期の状態の差が固定されたもとでの可到達判定)を行うことである。 初年度(平成19年度)についでの第2年度目(平成20年度)では、まず、時間なし連続ペトリネットの状態方程式の初等的Tインバリアントと基本特解を、状態方程式の拡大システムを考えることによって一括導出する方法の具体化を行った。そこでは、非負実数空間を非負有理数空間で近似することの意義を明示した。また、連続ペトリネットと離散ペトリネットに共通する重要問題である状態方程式の基本特解の必要十分条件を明らかにするための再検討を行った。さらには、第3年度目における最終目標である可到達判定問題のための計算ツールの整備を行った。
|