Elizabeth Bradley, Matthew Easley, Reinhard Stolle  Home/Search
Context Related
| colorado.edu/~lizb/papers/aij.ps Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: colorado.edu/~lizb/papers/aij (more) Homepages: E.Bradley M.Easley R.Stolle |
Rate this article:      (best)Comment on this article |
Abstract: System identification is the process of deducing a mathematical model of the internal dynamics of a black-box system from observations of its outputs. The computer program PRET automates this process by building a layer of artificial intelligence (AI) techniques around a set of traditional formal engineering methods. PRET takes a generate-and-test approach, using a small, powerful meta-domain theory that tailors the space of candidate models to the problem at hand. It then tests these models... (Update)
Cited by: More
Time-Invariant Dynamic Systems Identification Based on the.. - Flores, Pastor (2004) (Correct)
Reducing Overfitting in Process Model Induction - Bridewell, Asadi, Langley.. (2005) (Correct)
Qualitative Systems Identification for Linear Time Invariant.. - Flores, Pastor (2002) (Correct)
Active bibliography (related documents): More All
2.4: Multimodal Reasoning for Automatic Model Construction - Stolle, Bradley (1998) (Correct)
2.4: Reasoning About Input-Output Modeling of Dynamical Systems - Easley, Bradley (1999) (Correct)
1.6: Intelligent Sensor Analysis and Actuator Control - Easley, Bradley (Correct)
Similar documents based on text: More All
0.5: Meta-Domains For Automated System Identification - Easley, Bradley (Correct)
0.5: Multimodal Reasoning about Physical Systems - Stolle, Bradley (Correct)
0.4: Opportunistic Modeling - Stolle, Bradley (1997) (Correct)
Related documents from co-citation: More All
2: Elementary Differential Equations (context) - Boyce, DiPrima - 1986
2: Genetic Algorithms in Search (context) - Goldberg - 1989
2: A qualitative-fuzzy framework for nonlinear black-box system identification - Bellazzi, Guglielmann et al. - 1999
BibTeX entry: (Update)
Bradley, E.; Easley, M.; and Stolle, R. 2001. Reasoning about nonlinear system identification. Artificial Intelligence 133:139--188. http://citeseer.ist.psu.edu/bradley00reasoning.html More
@article{ bradley-reasoning,
AUTHOR = "Elizabeth Bradley and Matthew Easley and Reinhard Stolle",
TITLE = "Reasoning about Nonlinear System Identification",
JOURNAL = "Artificial Intelligence",
YEAR = "2001",
volume = "133",
pages = "139-188",
month = "December",
url = "citeseer.ist.psu.edu/bradley00reasoning.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
440 The Art of PROLOG (context) - Sterling, Shapiro - 1986
277 Qualitative process theory (context) - Forbus - 1984
235 Classical Mechanics (context) - Goldstein - 1980
197 The revised 3 report on the algorithmic language Scheme - Rees, Clinger - 1986
159 Language Reference Manual (context) - Char, Geddes et al. - 1991
131 Readings in Qualitative Reasoning About Physical Systems (context) - Weld, de Kleer - 1990
125 An assumption-based TMS (context) - de Kleer - 1986
123 Qualitative Reasoning: Modeling and Simulation with Incomple.. (context) - Kuipers - 1992
117 Compositional modeling: Finding the right model for the job - Falkenhainer, Forbus - 1991
117 Qualitative simulation - Kuipers - 1986
113 Constraint logic programming: A survey (context) - Ja, Maher - 1994
90 Remote agent: To boldly go where no AI system has gone befor.. - Muscettola, Nayak et al. - 1998
75 Mathematical Control Theory (context) - Sontag - 1998
73 Analysis of Observed Chaotic Data (context) - Abarbanel - 1995
55 Nonlinear Dynamics and Chaos (context) - Strogatz - 1994
55 Clausal intuitionistic logic (context) - McCarty - 1988
52 Meta-rules: Reasoning about control (context) - Davis - 1980
50 Modern Control Theory (context) - Brogan - 1991
44 Analysis and Design of Engineering Systems (context) - Paynter - 1961
41 Lecture Notes in Computer Science (context) - Torn, Zilinskas et al. - 1995
38 odel Programming Language (context) - Hill, Lloyd - 1994
33 System Identication: Theory for the User (context) - Ljung - 1987
28 Automatic construction of accurate models of physical system.. - Bradley, Stolle - 1996
28 KAM: A System for Intelligently Guiding Numerical Experiment.. (context) - Yip - 1991
27 Department of Computer Science and Engineering (context) - Barrett, Christianson et al. - 1995
24 Technical Report CMU-CS (context) - Carbonell, Blythe et al. - 1992
23 Journal of Statistical Physics (context) - Sauer, Yorke et al. - 1991
22 Reasoning about model accuracy (context) - Weld - 1992
20 Recent Advances in Qualitative Physics (context) - Faltings, Struss - 1992
18 Cell-to-Cell Mapping (context) - Hsu - 1987
16 Metalevel control for logic programs (context) - Gallaire, Lasserre - 1982
16 Local consistency for ternary numeric constraints - Faltings, Gelle - 1997
15 Interpreting observations of physical systems (context) - Forbus - 1987
15 Negation as inconsistency (context) - Gabbay, Sergot - 1986
13 Changing the rules: Transformations for rulebased optimizers - Cherniack, Zdonik - 1998
11 Qualitative reasoning - Forbus - 1997
10 Autonomous exploration and control of chaotic systems - Bradley - 1995
10 Chaotic states and routes to chaos in the forced pendulum (context) - D'Humieres, Beasley et al. - 1982
10 Computational and physical causality (context) - Top, Akkermans - 1991
10 Automated Qualitative Modeling of Dynamic Physical Systems - Amsterdam - 1992
9 Computational dynamics: Modeling and visualizing trajectory .. - Zhao - 1993
8 Controlling knowledge deduction in a declarative approach (context) - Gallaire, Lasserre - 1979
8 Global solutions for nonlinear systems using qualitative rea.. (context) - Bradley, O'Gallagher et al. - 1998
8 Reasoning about sensor data for automated system identicatio.. - Bradley, Easley - 1998
8 Automated mathematical modeling from experimental data: An a.. (context) - Capelo, Ironi et al. - 1998
7 Evolutionary logic programming with RISC - Beckstein, Tobermann - 1992
6 A stable and ecient algorithm for nonlinear orthogonal dista.. (context) - Boggs, Byrd et al. - 1987
6 The Bifurcation Interpreter: A step towards the automatic an.. (context) - Abelson - 1990
6 A formal hybrid modeling scheme for handling discontinuities.. (context) - Mosterman, Biswas - 1996
5 The Art of Modeling Dynamic Systems (context) - Morrison - 1991
4 Meta-programming for generalized Horn clause logic - Beckstein, Stolle et al. - 1996
4 Multimodal reasoning for automatic model construction - Stolle, Bradley - 1998
4 A customized logic paradigm for reasoning about models - Stolle, Bradley - 1996
4 Scaling up logic-based truth maintenance systems via fact ga.. (context) - Everett, Forbus - 1996
4 Applied System Identication (context) - Juang - 1994
4 System Dynamics: A Unied Approach (context) - Karnopp, Margolis et al. - 1990
4 A theory of cell-to-cell mapping dynamical systems (context) - Hsu - 1980
3 Putting declarative meta control to work - Hogan, Stolle et al. - 1998
3 A unied framework for hybrid control (context) - Branicky, Borkar et al. - 1994
2 Time-series analysis - Bradley - 1999
2 Computing connectedness: An exercise in computational topolo.. - Robins, Meiss et al. - 1998
2 System identication | A survey (context) - Astrom, Eykho - 1971
2 Meta-domains for automated system identication (context) - Easley, Bradley - 2000
2 Reasoning about input-output modeling of dynamical systems - Easley, Bradley - 1999
2 a language for expressing almost hierarchical descriptions (context) - Sussman, Steele - 1980
2 Integrated Multimodal Reasoning for Modeling of Physical Sys.. (context) - Stolle - 1998
1 Nonconvex Optimization and its Applications (context) - Horst, Pardalos et al. - 1987
1 Formal specications for hybrid dynamical systems (context) - Mosterman, Biswas - 1997
1 model-based learning and its analogy to diagnosis (context) - Williams, Millar - 1998
1 Articial Intelligence (context) - Addanki, Cremonini et al. - 1991
1 Algorithmic debugging and hypothetical reasoning (context) - Beckstein, Tobermann - 1997
1 Damper models for heavy vehicle ride dynamics (context) - Besinger, Cebon et al. - 1997
1 Linear System Fundamentals (context) - Reid - 1983
1 Water-Resource Engineering (context) - Chin - 2000
1 Computing connectedness: Disconnectedness and discreteness - Robins, Meiss et al. - 2000
1 Physical Networks (context) - Sanford - 1965
1 Meta-domains for automated model building (context) - Easley, Bradley - 2000
1 Principles of Tribology (context) - Halling - 1978
1 Inertial and storage e ects in well-aquifer systems (context) - Bredehoeft, Cooper et al. - 1966
1 Special Volume on Qualitative Reasoning About Physical Syste.. (context) - de Kleer, Williams et al. - 1991
1 Preview control algorithms for the active suspension of an o.. (context) - Langlois, Anderson - 1997
1 Generalized physical networks for model building (context) - Easley, Bradley - 1999
1 Verication of a wheeled mobile robot dynamic model and contr.. (context) - Hong, Velinsky et al. - 1999
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC