• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2011 Fiscal Year Final Research Report

Safety Verification Based on Fluidification of Discrete Dynamics

Research Project

  • PDF
Project/Area Number 21500009
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field Fundamental theory of informatics
Research InstitutionJapan Advanced Institute of Science and Technology

Principal Investigator

HIRAISHI Kunihiko  北陸先端科学技術大学院大学, 情報科学研究科, 教授 (40251970)

Co-Investigator(Kenkyū-buntansha) KOBAYASHI Koichi  北陸先端科学技術大学院大学, 情報科学研究科, 助教 (50452115)
Project Period (FY) 2009 – 2011
Keywords形式検証 / 形式手法 / ハイブリッドシステム / 実時間システム / 性能評価
Research Abstract

For generalized stochastic Petri nets with exponentially distributed firing delay, we propose a method for approximating variance of the probability distribution in each place by introducing interval firing speeds on the fluid model. We next show that the models are equivalently represented by piecewise linear systems with interval parameters. For simulation of the models, two methods are proposed : one is an extension of the interval methods for ordinary differential equations, and the other is acceleration technique for the computation in the box abstraction, a discrete abstraction technique for continuous-state systems.

  • Research Products

    (13 results)

All 2011 2010 2009

All Journal Article (7 results) (of which Peer Reviewed: 5 results) Presentation (6 results)

  • [Journal Article] Simulating Stochastic Discrete Event Systems by Difference Equations with Interval Parameters2011

    • Author(s)
      Kunihiko Hiraishi
    • Journal Title

      Proc. IEEE IECON2011

      Pages: 3669-3674

    • Peer Reviewed
  • [Journal Article] An Approximation Algorithm for Box Abstraction of Transition Systems on Real Vector Fields2010

    • Author(s)
      K. Hiraishi and K. Kobayashi
    • Journal Title

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

      Pages: 49-56

  • [Journal Article] On Analysis of a Class of Timed Continuous Petri Nets and Its Applications2010

    • Author(s)
      Kunihiko Hiraishi
    • Journal Title

      Proc. SICE Annual Conference 2010

      Pages: 2253-2259

    • Peer Reviewed
  • [Journal Article] MLD-Based Modeling of Hybrid Systems with Parameter Uncertainty2009

    • Author(s)
      Koichi Kobayashi and Kunihiko Hiraishi
    • Journal Title

      IEICE Trans Fundamentals

      Volume: Vol.E92-A, No.11 Pages: 2745-2754

    • Peer Reviewed
  • [Journal Article] ハイブリッドシステムにおける述語抽象化計算の効率化2009

    • Author(s)
      平石邦彦, 小林孝一
    • Journal Title

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

      Pages: 53-58

  • [Journal Article] A Faster Approximation Technique for Predicate Abstraction of Hybrid Systems2009

    • Author(s)
      Kunihiko Hiraishi and Koichi Kobayashi
    • Journal Title

      Proc. ICCAS-SICE2009

      Pages: 1717-1721

    • Peer Reviewed
  • [Journal Article] Analysis and Control of Hybrid Systems with Parameter Uncertainty Based on Interval Methods2009

    • Author(s)
      Koichi Kobayashi and Kunihiko Hiraishi
    • Journal Title

      Proc. 2009 American Control Conference

      Pages: 3632-3637

    • Peer Reviewed
  • [Presentation] Simulating Stochastic Discrete Event Systems by Difference Equations with Interval Parameters2011

    • Author(s)
      Kunihiko Hiraishi
    • Organizer
      IEEE IECON2011
    • Place of Presentation
      Melbourne, Australia
    • Year and Date
      20111107-10
  • [Presentation] On Analysis of a Class of Timed Continuous Petri Nets and Its Applications2010

    • Author(s)
      Kunihiko Hiraishi
    • Organizer
      SICE Annual Conference2010
    • Place of Presentation
      Taipei, Taiwan
    • Year and Date
      20100818-21
  • [Presentation] An Approximation Algorithm for Box Abstraction of Transition Systems on Real Vector Fields2010

    • Author(s)
      K. Hiraishi, K. Kobayashi
    • Organizer
      計測自動制御学会離散事象システム研究会
    • Place of Presentation
      名古屋市,愛知
    • Year and Date
      2010-12-09
  • [Presentation] A Faster Approximation Technique for Predicate Abstraction of Hybrid Systems2009

    • Author(s)
      Kunihiko Hiraishi and Koichi Kobayashi
    • Organizer
      ICCAS-SICE2009
    • Place of Presentation
      福岡市,福岡
    • Year and Date
      20090818-21
  • [Presentation] Analysis and Control of Hybrid Systems with Parameter Uncertainty Based on Interval Methods2009

    • Author(s)
      Koichi Kobayashi and Kunihiko Hiraishi
    • Organizer
      2009 American Control Conference
    • Place of Presentation
      St. Louis, USA
    • Year and Date
      20090610-12
  • [Presentation] ハイブリッドシステムにおける述語抽象化計算の効率化2009

    • Author(s)
      平石邦彦,小林孝一
    • Organizer
      計測自動制御学会第45回離散事象システム研究会
    • Place of Presentation
      港区,東京
    • Year and Date
      2009-12-07

URL: 

Published: 2013-07-31  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi