Reasoning about Input-Output Modeling of Dynamical Systems
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causee ffect pair. Any automated modeling tool that takes this approach must be able to reason effectively about sensors and actuators and their interactions with the target system. Distilling qualitative information from sensor data is fairly easy, but a variety of difficult control-theoretic issues — controllability, reachability, and utility — arise during the planning and execution of experiments. This paper describes some representations and reasoning tactics, collectively termed qualitative bifurcation analysis, that make it possible to automate this task.
KeywordsCell Dynamic Test Input Drive Frequency Qualitative Reasoning Qualitative Simulation
Unable to display preview. Download preview PDF.
- H. Abarbanel. Analysis of Observed Chaotic Data. Springer, 1995.Google Scholar
- E. Bradley and M. Easley. Reasoning about sensor data for automated system identification. Intelligent Data Analysis, 2(2), 1998.Google Scholar
- 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.Google Scholar
- M. Easley and E. Bradley. Generalized physical networks for automated model building. In Proceedings of IJCAI-99, 1999. To appear.Google Scholar
- A. Famili, W.-M. Shen, R. Weber, and E. Simoudis. Data preprocessing and intelligent data analysis. Intelligent Data Analysis, 1(1), 1997.Google Scholar
- K. D. Forbus. Qualitative reasoning. In J. A. Tucker,editor, CRC Computer Science and Engineering Handbook. CRC Press, Boca Raton, FL, 1997.Google Scholar
- B. C. Kuo. Automatic Control Systems. Prentice Hall, seventh edition, 1995.Google Scholar
- R. Stolle. Integrated Multimodal Reasoning for Modeling of Physical Systems. PhD thesis, University of Colorado at Boulder, 1998.Google Scholar
- R. Stolle and E. Bradley. A customized logic paradigm for reasoning about models. In Proceedings of the QR-96, 1996.Google Scholar
- R. Stolle and E. Bradley. Multimodal reasoning for automatic model construction. In Proceedings of AAAI-98, pages 181–188, July 1998. Madison, WI.Google Scholar
- K. Yip. KAM: A System for Intelligently Guiding Numerical Experimentation by Computer. Artificial Intelligence Series. MIT Press, 1991.Google Scholar