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.
CITATION STYLE
Nakamura, K., & Fusaoka, A. (2004). On description and reasoning about hybrid systems. In Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (Vol. 3029, pp. 274–283). Springer Verlag. https://doi.org/10.1007/978-3-540-24677-0_29
Mendeley helps you to discover research relevant for your work.