プログラム合成における入出力条件チェックでのペトリネットの利用
スポンサーリンク
概要
- 論文の詳細を見る
プログラム合成において、各モジュールごとに持たせた入出力条件のチェックを行う際、合成されたプログラムのペトリネットモデルに対し、可到達性の判定を行うことで、合成されたプログラムの可動性の判定ができないか検討を行う。 ペトリネットの可到達性の判定には、状態方程式の解の存在を証明する手法を用いるが、これだけでは解の存在の証明にしかならず、ペトリネットにおける解である非負整数解の存在の証明にはならない。このため、T-インバリアントを求めるための手法であるFourie-Motzkin法を改良し、直接、発火回数ベクトルを数学的に求めることで解を導出し、ペトリネットの可到達性の判定を行う。
- 一般社団法人情報処理学会の論文
- 2012-03-06
著者
関連論文
- 新年を迎えて
- 進化的多目的最適化法によるRBFネットワークのアンサンブル学習(セッション1)
- 進化戦略に基づく粒子フィルタによる状態推定(制御工学への知能科学からの接近)
- 2C4-2 Growing Neural Gasを用いたQ-Learningとそのサッカーエージェントの行動選択への適用(2C4 OS:ニューラルネットワーク)
- 隠れマルコフモデルを用いた運動データの識別に関する基本的検討 (テーマ:特集「スキルサイエンス」および一般)
- ローカルモデリングとその応用
- 非線形システムモデリングの新しい展開
- 遺伝的アルゴリズムによる選挙区の区割り決定に関する研究
- 2-115 遺伝的アルゴリズムを用いた小選挙区区割り画定法
- 32nd ISCIE International Symposium on Stochastic Systems Theory and its Applications (SSS2000)
- 遺伝的プログラミングを用いた非線形モデルの生成法とその効率の改善
- 遺伝的プログラミングを用いた非線形システム同定
- むだ時間を含むシステムの進化戦略を用いた同定法
- ニューラルネットワークを用いたなすの等階級選別
- 第6回計測自動制御学会中国支部学術講演会
- 第11回システム同定に関するIFACシンポジウム(SYSID' 97)
- 協調行動を組み込んだ進化戦略
- 構造未知な線形離散値系に対する同定入力の一決定法
- AHP手法を用いた鳥取県の三地域(東部・中部・西部)の観光地域としての個人別評価
- 複数忘却因子法による適応同定法
- 第11回システム同定に関するIFACシンポジウム(SYSID' 97)
- Kullbackの識別情報量に基づく自己回帰モデル識別のための最適入力
- 第11回システム同定に関するIFACシンポジウム(SYSID' 97)
- 第11回システム同定に関するIFACシンポジウム(SYSID' 97)
- 第11回システム同定に関するIFACシンポジウム(SYSID' 97)
- 4ZK-8 Mixed Realistic Soccer Agentを活用したプログラミング実習授業に向けて(情報科学工学教育,学生セッション,コンピュータと人間社会,情報処理学会創立50周年記念)
- 4ZK-6 マイクロロボットEco-Be!を用いた教育用教材開発(情報科学工学教育,学生セッション,コンピュータと人間社会,情報処理学会創立50周年記念)
- 非線形フィルタリングの新しい展開(第40回確率システムシンポジウム記念)
- 小特集「制御工学への知能科学からの接近」について
- 非線形フィルタリング : 過去,現在,未来(アイサイ50年とシステム・制御・情報)
- 新年を迎えて
- P/Tペトリネットにおける特解導出法に関する一考察
- A-023 P/Tペトリネットにおける特解導出のためのアルゴリズムに関する一考察(アルゴリズムと応用(2),A分野:モデル・アルゴリズム・プログラミング)
- マイクロロボットとスクラッチによる組込みシステムの学習に向けて
- RoboCupサッカー3Dシミュレーションリーグにおける行動選択確率の更新と試合結果への影響
- プログラム合成における入出力条件チェックでのペトリネットの利用