Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Reasoning about sensor data for automated system identification

  • Conference paper
  • First Online:
Advances in Intelligent Data Analysis Reasoning about Data (IDA 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1280))

Included in the following conference series:

  • 714 Accesses

Abstract

The computer program pret automatically constructs mathematical models of physical systems. A critical part of this task is automating the processing of sensor data. pret's intelligent data analyzer uses geometric reasoning to infer qualitative information from quantitative data; if critical variables are either unknown or cannot be measured, it uses delay-coordinate embedding to reconstruct the internal dynamics from the external sensor measurements. Successful modeling results for a sensor-equipped driven pendulum demonstrate the effectiveness of these techniques.

Supported by NSF NYI #CCR-9357740, NSF #MIP-9403223, ONR #N00014-96-1-0720, and a Packard Fellowship in Science and Engineering from the David and Lucile Packard Foundation.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

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. H. Abarbanel. Analysis of Observed Chaotic Data. Springer, 1995.

    Google Scholar 

  2. E. Bradley, A. O'Gallagher, and J. Rogers. Global solutions for nonlinear systems using qualitative reasoning. In Proceedings of the International Workshop on Qualitative Reasoning about Physical Systems, 1997. Cortona, Italy.

    Google Scholar 

  3. E. Bradley and R. Stolle. Automatic construction of accurate models of physical systems. Annals of Mathematics and Artificial Intelligence, 17:1–28, 1996.

    Article  MATH  MathSciNet  Google Scholar 

  4. J. de Kleer and J. S. Brown. A qualitative physics based on confluences. Artificial Intelligence, 24:7–83, 1984.

    Article  Google Scholar 

  5. D. D'Humieres, M. R. Beasley, B. Huberman, and A. Libchaber. Chaotic states and routes to chaos in the forced pendulum. Physical Review A, 26:3483–3496, 1982.

    Article  Google Scholar 

  6. A. Famili, W.-M. Shen, R. Weber, and E. Simoudis. Data preprocessing and intelligent data analysis. Intelligent Data Analysis, 1(1), 1997.

    Google Scholar 

  7. K. D. Forbus. Qualitative process theory. Artificial Intelligence, 24:85–168, 1984.

    Article  Google Scholar 

  8. K. D. Forbus. Interpreting observations of physical systems. IEEE Transactions on Systems, Man, and Cybernetics, 17(3):350–359, 1987.

    Article  Google Scholar 

  9. K. D. Forbus. Qualitative reasoning. In J. A. Tucker, editor, CRC Computer Science and Engineering Handbook. CRC Press, Boca Raton, FL, 1996.

    Google Scholar 

  10. J. Friedman, J. Bentley, and R. Finkel. An algorithm for finding best matches in logarithmic expected time. ACM Transactions on Mathematical Software, 3:209–226, 1977.

    Article  MATH  Google Scholar 

  11. C. S. Hsu. A theory of cell-to-cell mapping dynamical systems. Journal of Applied Mechanics, 47:931–939, 1980.

    Article  MATH  Google Scholar 

  12. J. Iwanski and E. Bradley. Modeling nonlinear/chaotic phenomenon: Comparing models. In Proceedings of the Fourth Experimental Chaos Conference, 1997. Submitted.

    Google Scholar 

  13. J.-N. Juang. Applied system identification. Prentice Hall, Englewood Cliffs, N.J., 1994.

    MATH  Google Scholar 

  14. M. Kennel, R. Brown, and H. Abarbanel. Determining minimum embedding dimension using a geometrical construction. Physical Review A, 45:3403–3411, 1992.

    Article  Google Scholar 

  15. B. J. Kuipers. Qualitative simulation. Artificial Intelligence, 29(3):289–338, 1986.

    Article  MATH  MathSciNet  Google Scholar 

  16. D. Lind and B. Marcus. Symbolic Dynamics and Coding. Cambridge University Press, Cambridge, 1995.

    Book  MATH  Google Scholar 

  17. N. Packard, J. Crutchfield, J. Farmer, and R. Shaw. Geometry from a time series. Physical Review Letters, 45:712, 1980.

    Article  Google Scholar 

  18. F. J. Pineda and J. C. Sommerer. Estimating generalized dimensions and choosing time delays: A fast algorithm. In Time Series Prediction: Forecasting the Future and Understanding the Past. Santa Fe Institute Studies in the Sciences of Complexity, Santa Fe, NM, 1993.

    Google Scholar 

  19. R. M. Stolle and E. Bradley. A customized logic paradigm for reasoning about models. In Proceedings of the Tenth International Workshop on Qualitative Reasoning about Physical Systems, 1996. Stanford Sierra Camp, CA.

    Google Scholar 

  20. F. Takens. Detecting strange attractors in fluid turbulence. In D. Rand and L.-S. Young, editors, Dynamical Systems and Turbulence, pages 366–381. Springer, Berlin, 1981.

    Google Scholar 

  21. L. Travé-Massuyès and R. Milne. Application oriented qualitative reasoning. Knowledge Engineering Review, 10(2):181–204, 1995.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Colorado, 80309-0430, Boulder, CO

    Elizabeth Bradley & Matthew Easley

Authors
  1. Elizabeth Bradley
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Matthew Easley
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Xiaohui Liu Paul Cohen Michael Berthold

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag

About this paper

Cite this paper

Bradley, E., Easley, M. (1997). Reasoning about sensor data for automated system identification. In: Liu, X., Cohen, P., Berthold, M. (eds) Advances in Intelligent Data Analysis Reasoning about Data. IDA 1997. Lecture Notes in Computer Science, vol 1280. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0052871

Download citation

  • DOI: https://doi.org/10.1007/BFb0052871

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63346-4

  • Online ISBN: 978-3-540-69520-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation