• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

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

研究課題

研究課題/領域番号 21500009
研究種目

基盤研究(C)

配分区分補助金
応募区分一般
研究分野 情報学基礎
研究機関北陸先端科学技術大学院大学

研究代表者

平石 邦彦  北陸先端科学技術大学院大学, 情報科学研究科, 教授 (40251970)

研究分担者 小林 孝一  北陸先端科学技術大学院大学, 情報科学研究科, 助教 (50452115)
研究期間 (年度) 2009 – 2011
研究課題ステータス 完了 (2011年度)
配分額 *注記
4,420千円 (直接経費: 3,400千円、間接経費: 1,020千円)
2011年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2010年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2009年度: 2,340千円 (直接経費: 1,800千円、間接経費: 540千円)
キーワード形式検証 / 形式手法 / ハイブリッドシステム / 実時間システム / 性能評価
研究概要

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

報告書

(4件)
  • 2011 実績報告書   研究成果報告書 ( PDF )
  • 2010 実績報告書
  • 2009 実績報告書
  • 研究成果

    (24件)

すべて 2011 2010 2009

すべて 雑誌論文 (13件) (うち査読あり 11件) 学会発表 (11件)

  • [雑誌論文] Simulating Stochastic Discrete Event Systems by Difference Equations with Interval Parameters2011

    • 著者名/発表者名
      Kunihiko Hiraishi
    • 雑誌名

      Proc. IEEE IECON2011

      ページ: 3669-3674

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [雑誌論文] 遷移関係に基づくハイブリッドシステムの近似双模倣2011

    • 著者名/発表者名
      崔舜星, 平石邦彦, 小林孝一
    • 雑誌名

      計測自動制御学会論文集

      巻: 47-12 ページ: 614-620

    • NAID

      10030165675

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Simulating Stochastic Discrete Event Systems by Difference Equations with Interval Parameters2011

    • 著者名/発表者名
      Kunihiko Hiraishi
    • 雑誌名

      Proc.IEEE IECON2011

      ページ: 3669-3674

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] An Approximation Algorithm for Box Abstraction of Transition Systems on Real Vector Fields2010

    • 著者名/発表者名
      K. Hiraishi and K. Kobayashi
    • 雑誌名

      計測自動制御学会第48回離散事象システム研究会予稿集

      ページ: 49-56

    • 関連する報告書
      2011 研究成果報告書
  • [雑誌論文] On Analysis of a Class of Timed Continuous Petri Nets and Its Applications2010

    • 著者名/発表者名
      Kunihiko Hiraishi
    • 雑誌名

      Proc. SICE Annual Conference 2010

      ページ: 2253-2259

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [雑誌論文] 整数計画法を用いた確率ブーリアンネットワークの最適制御2010

    • 著者名/発表者名
      小林孝一, 平石邦彦
    • 雑誌名

      計測自動制御学会論文集

      巻: 46-11 ページ: 659-665

    • NAID

      10027445679

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] MLD-Based Modeling of Hybrid Systems with Parameter Uncertainty2009

    • 著者名/発表者名
      Koichi Kobayashi and Kunihiko Hiraishi
    • 雑誌名

      IEICE Trans Fundamentals

      巻: Vol.E92-A, No.11 ページ: 2745-2754

    • NAID

      10026860756

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [雑誌論文] ハイブリッドシステムにおける述語抽象化計算の効率化2009

    • 著者名/発表者名
      平石邦彦, 小林孝一
    • 雑誌名

      計測自動制御学会第45回離散事象システム研究会予稿集

      ページ: 53-58

    • 関連する報告書
      2011 研究成果報告書
  • [雑誌論文] A Faster Approximation Technique for Predicate Abstraction of Hybrid Systems2009

    • 著者名/発表者名
      Kunihiko Hiraishi and Koichi Kobayashi
    • 雑誌名

      Proc. ICCAS-SICE2009

      ページ: 1717-1721

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [雑誌論文] Analysis and Control of Hybrid Systems with Parameter Uncertainty Based on Interval Methods2009

    • 著者名/発表者名
      Koichi Kobayashi and Kunihiko Hiraishi
    • 雑誌名

      Proc. 2009 American Control Conference

      ページ: 3632-3637

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [雑誌論文] MLD-Based Modeling of Hybrid Systems with Parameter Uncertainty2009

    • 著者名/発表者名
      Koichi Kobayashi, Kunihiko Hiraishi
    • 雑誌名

      IEICE Trans.Fundamentals E92A-4

      ページ: 2745-2754

    • NAID

      10026860756

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] Analysis and Control of Hybrid Systems with Parameter Uncertainty Based on Interval Methods2009

    • 著者名/発表者名
      Koichi Kobayashi, Kunihiko Hiraish
    • 雑誌名

      Proc.2009 American Control Conference

      ページ: 3632-3637

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] A Faster Approximation Technique for Predicate Abstraction of Hybrid Systems2009

    • 著者名/発表者名
      Kunihiko Hiraishi, Koichi Kobayashi
    • 雑誌名

      Proc.ICCAS-SICE2009

      ページ: 1717-1721

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [学会発表] Simulating Stochastic Discrete Event Systems by Difference Equations with Interval Parameters2011

    • 著者名/発表者名
      Kunihiko Hiraishi
    • 学会等名
      IEEE IECON2011
    • 発表場所
      Melbourne, Australia
    • 関連する報告書
      2011 実績報告書 2011 研究成果報告書
  • [学会発表] An Approximation Algorithm for Box Abstraction of Transition Systems on Real Vector Fields2010

    • 著者名/発表者名
      K. Hiraishi, K. Kobayashi
    • 学会等名
      計測自動制御学会離散事象システム研究会
    • 発表場所
      名古屋市,愛知
    • 年月日
      2010-12-09
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] An Approximation Algorithm for Box Abstraction of Transition Systemson Real Vector Fields2010

    • 著者名/発表者名
      K.Hiraishi, K.Kobayashi
    • 学会等名
      計測自動制御学会第48回離散事象システム研究会
    • 発表場所
      名城大学(愛知)
    • 年月日
      2010-12-09
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Integer Programming2010

    • 著者名/発表者名
      K.Hiraishi, K.Kobayashi
    • 学会等名
      49th IEEE Conference on Decision and Control
    • 発表場所
      Hilton Atlanta Hotel(Atlanta, USA)
    • 年月日
      2010-12-02
    • 関連する報告書
      2010 実績報告書
  • [学会発表] On Analysis of a Class of Timed Continuous Petri Nets and Its Applications2010

    • 著者名/発表者名
      Kunihiko Hiraishi
    • 学会等名
      SICE Annual Conference2010
    • 発表場所
      Taipei, Taiwan
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] On Analysis of a Class of Timed Continuous Petri Nets and Its Applications2010

    • 著者名/発表者名
      K.Hiraishi
    • 学会等名
      SICE Annual Conference
    • 発表場所
      円山大飯店(Taipei, Taiwan)
    • 関連する報告書
      2010 実績報告書
  • [学会発表] モデル検査を用いた確率ブーリアンネットワークの可到達性解析2010

    • 著者名/発表者名
      小林孝一, 平石邦彦
    • 学会等名
      第54回システム制御情報学会研究発表講演会
    • 発表場所
      京都リサーチパーク(京都)
    • 関連する報告書
      2010 実績報告書
  • [学会発表] ハイブリッドシステムにおける述語抽象化計算の効率化2009

    • 著者名/発表者名
      平石邦彦,小林孝一
    • 学会等名
      計測自動制御学会第45回離散事象システム研究会
    • 発表場所
      港区,東京
    • 年月日
      2009-12-07
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] ハイブリッドシステムに対する区間法の適用について2009

    • 著者名/発表者名
      平石邦彦
    • 学会等名
      計測自動制御学会・第46回離散事象システム研究会
    • 発表場所
      東京
    • 年月日
      2009-12-07
    • 関連する報告書
      2009 実績報告書
  • [学会発表] A Faster Approximation Technique for Predicate Abstraction of Hybrid Systems2009

    • 著者名/発表者名
      Kunihiko Hiraishi and Koichi Kobayashi
    • 学会等名
      ICCAS-SICE2009
    • 発表場所
      福岡市,福岡
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] Analysis and Control of Hybrid Systems with Parameter Uncertainty Based on Interval Methods2009

    • 著者名/発表者名
      Koichi Kobayashi and Kunihiko Hiraishi
    • 学会等名
      2009 American Control Conference
    • 発表場所
      St. Louis, USA
    • 関連する報告書
      2011 研究成果報告書

URL: 

公開日: 2009-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi