非標準モデルに基づくハイブリッドシステムの記述と推論について Description and Reasoning about Hybrid System Based on Nonstandard Model

この論文にアクセスする

この論文をさがす

著者

抄録

In this paper, we introduce a nonstandard analysis into a logical modeling of continuous dynamics and present a new framework called hyper-finite hybrid automaton (HHA). HHA is a nonstandard interpretation of hybrid automata in the domain of *R. We also enlarge the linear temporal logic LTL to *LTL to describe the system specification. In this framework, we examine the validation of the system consistency of the hybrid system based on model checking, especially the existence and reachability of Zeno point.

収録刊行物

  • システム制御情報学会論文誌  

    システム制御情報学会論文誌 21(6), 176-184, 2008-06-15 

    一般社団法人 システム制御情報学会

参考文献:  22件

参考文献を見るにはログインが必要です。ユーザIDをお持ちでない方は新規登録してください。

被引用文献:  1件

被引用文献を見るにはログインが必要です。ユーザIDをお持ちでない方は新規登録してください。

各種コード

  • NII論文ID(NAID)
    10021064575
  • NII書誌ID(NCID)
    AN1013280X
  • 本文言語コード
    JPN
  • 資料種別
    ART
  • ISSN
    13425668
  • NDL 記事登録ID
    9526257
  • NDL 雑誌分類
    ZM11(科学技術--科学技術一般--制御工学)
  • NDL 請求記号
    Z14-195
  • データ提供元
    CJP書誌  CJP引用  NDL  J-STAGE 
ページトップへ