離散ダイナミクスの流体化によるシステムの安全性検証

2011 年度 研究成果報告書

• 研究課題/領域番号: 21500009
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: 情報学基礎
• 研究機関: 北陸先端科学技術大学院大学
• 研究代表者: 平石 邦彦 北陸先端科学技術大学院大学, 情報科学研究科, 教授 (40251970)
• 研究分担者: 小林 孝一 北陸先端科学技術大学院大学, 情報科学研究科, 助教 (50452115)
• 研究期間 (年度): 2009 – 2011
• キーワード: 形式検証 / 形式手法 / ハイブリッドシステム / 実時間システム / 性能評価

研究概要

指数分布の発火遅延時間をもつ一般化確率ペトリネットに対して,各プレースにおける確率分布の分散を,流体モデル上のトランジションの区間発火速度で表現する方法を考案し,さらに,モデルが区間パラメータをもつ区分的線形システムで等価的に表現できることを示した。また,モデルのシミュレーションのために,常微分方程式に対する区間法を拡張した手法,および,連続状態システムに対する離散抽象化手法の一つである箱抽象化計算の高速化手法の2つを開発した。

研究成果

• [雑誌論文] Simulating Stochastic Discrete Event Systems by Difference Equations with Interval Parameters (2011)
  • 著者名/発表者名: Kunihiko Hiraishi
  • 雑誌名: Proc. IEEE IECON2011 ページ: 3669-3674
  • 査読あり
• [雑誌論文] An Approximation Algorithm for Box Abstraction of Transition Systems on Real Vector Fields (2010)
  • 著者名/発表者名: K. Hiraishi and K. Kobayashi
  • 雑誌名: 計測自動制御学会第48回離散事象システム研究会予稿集 ページ: 49-56
• [雑誌論文] On Analysis of a Class of Timed Continuous Petri Nets and Its Applications (2010)
  • 著者名/発表者名: Kunihiko Hiraishi
  • 雑誌名: Proc. SICE Annual Conference 2010 ページ: 2253-2259
  • 査読あり
• [雑誌論文] MLD-Based Modeling of Hybrid Systems with Parameter Uncertainty (2009)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 雑誌名: IEICE Trans Fundamentals 巻: Vol.E92-A, No.11 ページ: 2745-2754
  • 査読あり
• [雑誌論文] ハイブリッドシステムにおける述語抽象化計算の効率化 (2009)
  • 著者名/発表者名: 平石邦彦, 小林孝一
  • 雑誌名: 計測自動制御学会第45回離散事象システム研究会予稿集 ページ: 53-58
• [雑誌論文] A Faster Approximation Technique for Predicate Abstraction of Hybrid Systems (2009)
  • 著者名/発表者名: Kunihiko Hiraishi and Koichi Kobayashi
  • 雑誌名: Proc. ICCAS-SICE2009 ページ: 1717-1721
  • 査読あり
• [雑誌論文] Analysis and Control of Hybrid Systems with Parameter Uncertainty Based on Interval Methods (2009)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 雑誌名: Proc. 2009 American Control Conference ページ: 3632-3637
  • 査読あり
• [学会発表] Simulating Stochastic Discrete Event Systems by Difference Equations with Interval Parameters (2011)
  • 著者名/発表者名: Kunihiko Hiraishi
  • 学会等名: IEEE IECON2011
  • 発表場所: Melbourne, Australia
  • 年月日: 20111107-10
• [学会発表] On Analysis of a Class of Timed Continuous Petri Nets and Its Applications (2010)
  • 著者名/発表者名: Kunihiko Hiraishi
  • 学会等名: SICE Annual Conference2010
  • 発表場所: Taipei, Taiwan
  • 年月日: 20100818-21
• [学会発表] An Approximation Algorithm for Box Abstraction of Transition Systems on Real Vector Fields (2010)
  • 著者名/発表者名: K. Hiraishi, K. Kobayashi
  • 学会等名: 計測自動制御学会離散事象システム研究会
  • 発表場所: 名古屋市,愛知
  • 年月日: 2010-12-09
• [学会発表] A Faster Approximation Technique for Predicate Abstraction of Hybrid Systems (2009)
  • 著者名/発表者名: Kunihiko Hiraishi and Koichi Kobayashi
  • 学会等名: ICCAS-SICE2009
  • 発表場所: 福岡市,福岡
  • 年月日: 20090818-21
• [学会発表] Analysis and Control of Hybrid Systems with Parameter Uncertainty Based on Interval Methods (2009)
  • 著者名/発表者名: Koichi Kobayashi and Kunihiko Hiraishi
  • 学会等名: 2009 American Control Conference
  • 発表場所: St. Louis, USA
  • 年月日: 20090610-12
• [学会発表] ハイブリッドシステムにおける述語抽象化計算の効率化 (2009)
  • 著者名/発表者名: 平石邦彦,小林孝一
  • 学会等名: 計測自動制御学会第45回離散事象システム研究会
  • 発表場所: 港区,東京
  • 年月日: 2009-12-07