Skip to main content
SpringerLink
Log in

On Description and Reasoning About Hybrid Systems

  • Conference paper
Innovations in Applied Artificial Intelligence (IEA/AIE 2004)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3029))

  • 1666 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 74.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.: Hybrid Automata: An algorithmic Approach to the Specification and Verification of Hybrid Systems. In: Grossman, R.L., et al. (eds.) HS 1991 and HS 1992. LNCS, vol. 736, pp. 209–229. Springer, Heidelberg (1993)

    Google Scholar 

  2. Davis, Y.: Infinite Loops in Finite Time: Some Observations. In: Proceedings KR 1992, pp. 47–58 (1992)

    Google Scholar 

  3. Herrmann, C.S., Thielscher, M.: Reasoning about Continuous Processes. In: Proceedings AAAI 1996, pp. 639–644 (1996)

    Google Scholar 

  4. Johansson, K.H., Egerstedt, M., Lygeros, J., Sasty, S.: On the Regularization of Zeno Hybrid Automata. System & Control Letters 38, 141–150 (1994)

    Article  Google Scholar 

  5. Miller, R., Shanahan, M.: Reasoning about Discontinuities in the Event Calculus. In: Proceedings. KR 1996, pp. 63–74 (1996)

    Google Scholar 

  6. Reiter, R.: Proving Properties of States In The Situation Calculus. Artificial Intelligence 64, 337–351 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  7. Reiter, R.: Knowledge in Action. The MIT press, Cambridge (2001)

    MATH  Google Scholar 

  8. Robinson, A.: Non-standard analysis. North Holland, Amsterdam (1974)

    Google Scholar 

  9. Thielscher, M.: The logic of Dynamic System. In: Proceedings of IJCAI, pp. 1956–1962 (1995)

    Google Scholar 

  10. Zhang, J., et al.: Dynamical System Revisited: Hybrid Systems with Zeno Execution. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol. 1790, pp. 451–464. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Information Media Center, Heian Jogakuin (St.Agnes’) University, 250 Miyake-cho, Moriyama-city, SIGA, JAPAN, 524-8511

    Katsunori Nakamura

  2. Department of Computer Science, Ritsumeikan University Nojihigashi, Kusatsu-city, SIGA, JAPAN, 525-8577

    Akira Fusaoka

Authors
  1. Katsunori Nakamura
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Akira Fusaoka
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute for Information Technology, National Research Council of Canada, 1200 Montreal Read, M-50, K1A 0R6, Ottawa, Ontario, Canada

    Bob Orchard

  2. Institute for Information Technology, National Research Council, Canada

    Chunsheng Yang

  3. Department of Computer Science, Texas State University-San Marcos, Nueces 247, 601 University Drive, TX 78666-4616, San Marcos, USA

    Moonis Ali

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Nakamura, K., Fusaoka, A. (2004). On Description and Reasoning About Hybrid Systems. In: Orchard, B., Yang, C., Ali, M. (eds) Innovations in Applied Artificial Intelligence. IEA/AIE 2004. Lecture Notes in Computer Science(), vol 3029. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24677-0_29

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24677-0_29

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22007-7

  • Online ISBN: 978-3-540-24677-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation