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 条
  • [31] REASONING ABOUT SYSTEMS WITH MANY PROCESSES
    GERMAN, SM
    SISTLA, AP
    [J]. JOURNAL OF THE ACM, 1992, 39 (03) : 675 - 735
  • [32] Reasoning about systems of physics equations
    Liew, CW
    Smith, DE
    [J]. INTELLIGENT TUTORING SYSTEMS, 2002, 2363 : 463 - 472
  • [33] Reasoning about systems with transition fairness
    Aminof, B
    Ball, T
    Kupferman, O
    [J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3452 : 194 - 208
  • [34] Reasoning about synchronization in GALS systems
    Chakraborty, Supratik
    Mekie, Joycee
    Sharma, Dinesh K.
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2006, 28 (02) : 153 - 169
  • [35] Reasoning about duplicate elimination with description logic - (Preliminary report)
    Khizder, VL
    Toman, D
    Weddell, G
    [J]. COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 1017 - 1032
  • [36] On reasoning about structural equality in XML: a description logic approach
    Toman, D
    Weddell, G
    [J]. THEORETICAL COMPUTER SCIENCE, 2005, 336 (01) : 181 - 203
  • [37] A non-monotonic Description Logic for reasoning about typicality
    Giordano, L.
    Gliozzi, V.
    Olivetti, N.
    Pozzato, G. L.
    [J]. ARTIFICIAL INTELLIGENCE, 2013, 195 : 165 - 202
  • [38] Reasoning about actions using description logics with general TBoxes
    Liu, Hongkai
    Lutz, Carsten
    Milicic, Maja
    Wolter, Frank
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4160 : 266 - 279
  • [39] Goal-Oriented Reasoning about Systems of Systems
    Ponsard, Christophe
    Massonet, Philippe
    Deprez, Jean-Christophe
    [J]. ERCIM NEWS, 2015, (102): : 34 - 35
  • [40] A Family of Dynamic Description Logics for Representing and Reasoning About Actions
    Chang, Liang
    Shi, Zhongzhi
    Gu, Tianlong
    Zhao, Lingzhong
    [J]. JOURNAL OF AUTOMATED REASONING, 2012, 49 (01) : 1 - 52
12345