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

ハイブッリドペトリネットの代数的挙動解析の研究

研究課題

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

基盤研究(C)

配分区分補助金
応募区分一般
研究分野 システム工学
研究機関福井工業大学

研究代表者

松本 忠  福井工業大学, 工学部, 教授 (40020193)

研究協力者 恐神 正博  福井工業大学, 工学部, 準教授 (70298389)
茂呂 征一郎  福井大学, 大学院・工学研究科, 準教授 (00303363)
研究期間 (年度) 2007 – 2009
研究課題ステータス 完了 (2009年度)
配分額 *注記
4,290千円 (直接経費: 3,300千円、間接経費: 990千円)
2009年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2008年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2007年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
キーワードシステム工学 / 制御工学 / 数理工学 / ハイブリッドシステム / ペトリネット / 可到達性解析 / 状態方程式 / インバリアント / 数理科学
研究概要

離散変数と連続変数を混在することを許すハイブリッドペトリネットは離散ペトリネットと連続ペトリネットから構成される.連続ペトリネットとハイブリッドペトリネットの挙動は,離散ペトリネットの挙動に比し,大変複雑であり,いままでに代数的挙動解析が十分になされてこなかった.本研究では,まず,離散ペトリネットの状態方程式(目標状態と初期状態の差が固定されている)を用いて,任意の発火回数ベクトル(非負整数解)を初等的Tインバリアントと基本特解を用いて表現することを基本として,初期状態から目標状態への可到達性を有限の手数で判定することを提案している.次には,これらの手法を連続ペトリネット,ハイブリッドペトリネットへ適用するための条件を明らかにしている.更には,連続変数のみを許す連続システムから離散変数のみで表現する離散システムを得るための新しい一手法を提案している.

報告書

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

    (14件)

すべて 2010 2009 2008 2007

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

  • [雑誌論文] P/Tペトリネットの状態方程式の非負整数解の代数的構造に関する基礎的考察2009

    • 著者名/発表者名
      松本忠, 恐神正博, 茂呂征一郎
    • 雑誌名

      福井工業大学研究紀要 第39号

      ページ: 23-30

    • NAID

      120001719325

    • 関連する報告書
      2009 研究成果報告書 2008 実績報告書
    • 査読あり
  • [学会発表] 定常連続システムから離散状態システムを得る一手法2010

    • 著者名/発表者名
      松本忠, 恐神正博, 茂呂征一郎
    • 学会等名
      電子情報通信学会技術報告書(コンカレント工学)
    • 発表場所
      於金城学院大学(金沢)
    • 年月日
      2010-08-02
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] Reachability Judgement in P/T Petri Nets by Approximate Algebraic Approach2010

    • 著者名/発表者名
      Tadashi Matsumoto, Masahiro Osogami, Seiichirou Moro
    • 学会等名
      Procs. of the 9th WSEAS International Conference on Signal Processing, Robotics and Automation (ISPRA'10)
    • 発表場所
      University of Cambridge, UK
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] Reachability Judgement in P/T Petri Nets by Approximate Algebraic Approach2010

    • 著者名/発表者名
      T.Matsumoto, M.Osogami, S.Moro
    • 学会等名
      Procs.of the 9^<th> WSEAS International Conference on Signal Processing, Robotics and Automation(ISPRA'10), pp.318-323
    • 発表場所
      University of Cambridge, UK
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 時間なし連続ペトリネットの状態方程式の解について2008

    • 著者名/発表者名
      松本忠, 恐神正博, 茂呂征一郎
    • 学会等名
      電子情報通信学会技術報告書(コンカレント工学)
    • 発表場所
      静岡大学
    • 年月日
      2008-08-09
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] 時間なし連続ペトリネットの状態方程式の解について2008

    • 著者名/発表者名
      松本忠, 恐神正博, 茂呂征一郎
    • 学会等名
      電子情報通信学会技術報告書, vol. 108, no. **(コンカレント工学), CST2008-29, pp. 27-30
    • 発表場所
      静岡大学
    • 年月日
      2008-08-09
    • 関連する報告書
      2008 実績報告書
  • [学会発表] On Particular Solutions for State Equation of Autonomous Continuous Petri Nets2008

    • 著者名/発表者名
      Tadashi Matsumoto, Masahiro Osogami, Seiichirou Moro
    • 学会等名
      Procs. of 2008 International Symposium on Nonlinear Theory and its Applications (NOLTA'08)
    • 発表場所
      Budapest, Hungary
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] On Particular Solutions for State Eqtiation of Autonomous Continuous Petri Nets2008

    • 著者名/発表者名
      T. Matsumoto, M. Osogami, S. Moro
    • 学会等名
      Procs. of 2008 International Symposium on Non-linear Theory and its Applications NOLTA'08, pp. 668-671
    • 発表場所
      Budapest, Himgary
    • 関連する報告書
      2008 実績報告書
  • [学会発表] P/Tペトリネットの可到達性判定の代数的試みについて2007

    • 著者名/発表者名
      松本忠, 恐神正博, 茂呂征一郎
    • 学会等名
      電子情報通信学会技術報告書(コンカレント工学)
    • 発表場所
      新潟大学
    • 年月日
      2007-11-30
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] P/Tペトリネットの可到達性判定の代数的試みについて2007

    • 著者名/発表者名
      松本忠、恐神正博, 茂呂征一郎
    • 学会等名
      電子情報通信学会技術報告書(コンカレント工学、.回路とシステム)CST2007-29, CAS2007-28, vol.107, no.264, pp.27-30
    • 発表場所
      新潟大学工学部
    • 年月日
      2007-11-30
    • 関連する報告書
      2007 実績報告書
  • [学会発表] P/Tペトリネットの可到達性判定の代数的試み2007

    • 著者名/発表者名
      松本忠, 恐神正博, 茂呂征一郎
    • 学会等名
      平成19年度電気関係学会北陸支部連合大会講演論文集(E-44)
    • 発表場所
      福井工業大学
    • 年月日
      2007-09-08
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] P/Tペトリネットの初等的インバリアントの導出法の比較, 検討2007

    • 著者名/発表者名
      恐神正博, 松本忠, 茂呂征一郎
    • 学会等名
      平成19年度電気関係学会北陸支部連合大会講演論文集(E-43)
    • 発表場所
      福井工業大学
    • 年月日
      2007-09-08
    • 関連する報告書
      2009 研究成果報告書
  • [学会発表] P/Tペトリネットの初等的インバリアントの導出法の比較,検討2007

    • 著者名/発表者名
      恐神正博, 松本忠, 茂呂征一郎
    • 学会等名
      平成19年度電気関係学会北陸支部連合大会講演論文集, E-43
    • 発表場所
      福井工業大学
    • 年月日
      2007-09-08
    • 関連する報告書
      2007 実績報告書
  • [学会発表] P/Tペトリネットの可到達性の代数的解析の試み2007

    • 著者名/発表者名
      松本忠、恐神正博, 茂呂征一郎
    • 学会等名
      平成19年度電気関係学会北陸支部連合大会講演論文集, E-44
    • 発表場所
      福井工業大学
    • 年月日
      2007-09-08
    • 関連する報告書
      2007 実績報告書

URL: 

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

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

Powered by NII kakenhi