Reasoning about input-output modeling of dynamical systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1642, Issue , 1999, Pages 343-355

  Easley, Matthew ^a   Bradley, Elizabeth ^a  

^a UCB 450   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BIFURCATION (MATHEMATICS); DATA HANDLING; INFORMATION ANALYSIS;

AUTOMATED MODELING; BIFURCATION ANALYSIS; INPUT OUTPUT MODEL; PLANNING AND EXECUTION; QUALITATIVE INFORMATION; REACHABILITY; SENSORS AND ACTUATORS; TARGET SYSTEMS;

DYNAMICAL SYSTEMS;

EID: 84957642951     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48412-4_29     Document Type: Conference Paper

References (22)

1. H. Abarbanel. Analysis of Observed Chaotic Data. Springer, 1995.
2. E. Bradley. Autonomous exploration and control of chaotic systems. Cybernetics and Systems, 26:299-319, 1995.
3. E. Bradley and M. Easley. Reasoning about sensor data for automated system identification. Intelligent Data Analysis, 2(2), 1998.
4. E. Bradley, A. O'Gallagher, and J. Rogers. Global solutions for nonlinear systems using qualitative reasoning. Annals of Mathematics and Artificial Intelligence, 23:211-228, 1998.
5. E. Bradley and R. Stolle. Automatic construction of accurate models of physical systems. Annals of Mathematics and Artificial Intelligence, 17:1-28, 1996.
6. M. S. Branicky, V. S. Borkar, and S. K. Mitter. A unified framework for hybrid control. In Proceedings of the 33rd IEEE Conference on Decision & Control, pages 4228-4234, December 1994. Lake Buena Vista, FL.
7. A. C. Capelo, L. Ironi, and S. Tentoni. Automated mathematical modeling from experimental data: An application to material science. IEEE Transactions on Systems, Man and Cybernetics-Part C, 28(3):356-370, 1998.
8. J. de Kleer and J. S. Brown. A qualitative physics based on confluences. Artificial Intelligence, 24:7-83, 1984.
9. M. Easley and E. Bradley. Generalized physical networks for automated model building. In Proceedings of IJCAI-99, 1999. To appear.
10. A. Famili, W.-M. Shen, R. Weber, and E. Simoudis. Data preprocessing and intelligent data analysis. Intelligent Data Analysis, 1(1), 1997.
11. K. D. Forbus. Interpreting observations of physical systems. IEEE Transactions on Systems, Man, and Cybernetics, 17(3):350-359, 1987.
12. K. D. Forbus. Qualitative reasoning. In J. A. Tucker, editor, CRC Computer Science and Engineering Handbook. CRC Press, Boca Raton, FL, 1997.
13. R. Haber and H. Unbehauen. Structural identification of nonlinear dynamic systems-A survey on input/output approaches. Automatica, 26(4):651-677, 1990.
14. C. S. Hsu. Cell-to-Cell Mapping. Springer, New York, 1987.
15. J.-N. Juang. Applied System Identification. Prentice Hall, Englewood Cliffs, 1994.
16. B. J. Kuipers. Qualitative simulation. Artificial Intelligence, 29(3):289-338, 1986.
17. B. C. Kuo. Automatic Control Systems. Prentice Hall, seventh edition, 1995.
18. R. Stolle. Integrated Multimodal Reasoning for Modeling of Physical Systems. PhD thesis, University of Colorado at Boulder, 1998.
19. R. Stolle and E. Bradley. A customized logic paradigm for reasoning about models. In Proceedings of the QR-96, 1996.
20. R. Stolle and E. Bradley. Multimodal reasoning for automatic model construction. In Proceedings of AAAI-98, pages 181-188, July 1998. Madison, WI.
21. K. Yip. KAM: A System for Intelligently Guiding Numerical Experimentation by Computer. Artificial Intelligence Series. MIT Press, 1991.
22. F. Zhao. Computational dynamics: Modeling and visualizing trajectory flows in phase space. Annals of Mathematics and Artificial Intelligence, 8:285-300, 1993.