On description and reasoning about hybrid systems

被引：0
|
作者：
Nakamura, K [1 ]
Fusaoka, A
机构：
[1] Ritsumeikan Univ, Dept Comp Sci, Kusatsu, Siga 5258577, Japan
[2] Heian Jogakuin St Agnes Univ, Informat Media Ctr, Moriyama, Siga 5248511, Japan
来源：
INNOVATIONS IN APPLIED ARTIFICIAL INTELLIGENCE | 2004年 / 3029卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this paper, we introduce a nonstandard model of the situation calculus to deal with the hybrid system. The nonstandard situation calculus is build from the standard one via the ultra-product formation and it allows discrete but uncountable (hyper-finite) state transition, so that we can describe and reason about the interaction of the continuous and discrete dynamics. In this enlarged perspective of the nonstandard situation calculus, we discuss about the inherent problems to the hybrid dynamics such as ZENO problem.
引用
收藏
页码：274 / 283
页数：10
相关论文
共 50 条
  • [1] ON MODELING AND REASONING ABOUT HYBRID SYSTEMS
    SEKAR, RC
    LIN, YJ
    NARAIN, S
    [J]. IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 8 : 115 - 129
  • [2] Reasoning about Hybrid System of Systems Designs
    Gamble, M. T.
    Gamble, R. F.
    [J]. SEVENTH INTERNATIONAL CONFERENCE ON COMPOSITION-BASED SOFTWARE SYSTEMS, PROCEEDINGS, 2008, : 154 - 163
  • [3] Differential logic for reasoning about hybrid systems
    Platzer, Andre
    [J]. Hybrid Systems: Computation and Control, Proceedings, 2007, 4416 : 746 - 749
  • [4] Reasoning about hybrid systems based on a nonstandard model
    Nakamura, Katsunori
    Fusaoka, Akira
    [J]. AI 2007: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2007, 4830 : 749 - 754
  • [5] Reasoning about Typicality in Preferential Description Logics
    Giordano, Laura
    Gliozzi, Valentina
    Olivetti, Nicola
    Pozzato, Gian Luca
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2008, 5293 : 192 - +
  • [6] Reasoning about quantum systems
    Mateus, P
    Sernadas, A
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 : 239 - 251
  • [7] REASONING ABOUT CONTINUOUS SYSTEMS
    CHANDY, KM
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 1990, 14 (2-3) : 117 - 132
  • [8] Reasoning about interactive systems
    Back, R
    Mikhajlova, A
    von Wright, J
    [J]. FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1460 - 1476
  • [9] Reasoning about Normative Systems
    van der Hoek, Wiebe
    [J]. LEGAL KNOWLEDGE AND INFORMATION SYSTEMS, 2010, 223 : 3 - 3
  • [10] REASONING ABOUT INTERACTIVE SYSTEMS
    AMBRIOLA, V
    NOTKIN, D
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (02) : 272 - 276
12345