Reasoning about Sensor Data for Automated System Identification

@inproceedings{Bradley1997ReasoningAS,
  title={Reasoning about Sensor Data for Automated System Identification},
  author={Elizabeth Bradley and Matthew Easley},
  booktitle={Intell. Data Anal.},
  year={1997}
}

Figures from this paper

Intelligent Sensor Analysis and Actuator Control

TLDR
ISAAC is a unified knowledge representation and reasoning framework for input/output modeling that can be incorporated into any automated tool that reasons about dynamical models and it is based on two modeling paradigms, intelligent sensor data analysis and qualitative bifurcation analysis.

Reasoning about nonlinear system identification

Communicable Knowledge in Automated System Identification

TLDR
Pret, an engineering tool for nonlinear system identification, is described, which is the task of inferring a (possibly nonlinear) ordinary differential equation model from external observations of a target system's behavior.

Reasoning about Models of Nonlinear Systems

TLDR
PRET exploits a spectrum of AI and engineering techniques to navigate efficiently through these spaces, using a special first-order logic system to decide which technique to use when and how to interpret the results.

Information granulation in automated modeling

TLDR
This chapter describes a knowledge representation and reasoning framework that allows this process to be automated and to reason effectively about sensors and actuators and their interactions with the target system.

Multimodal Reasoning about Physical Systems

We present a knowledge representation and reasoning framework that integrates qualitative reasoning, qualitative simulation, numerical simulation, geometric reasoning, constraint reasoning,

Global solutions for nonlinear systems using qualitative reasoning

TLDR
A nonlinear parameter estimation reasoner (NPER) for finding parameter values that match an ordinary differential equation model to observed data and is shown to locate solutions for noisy, incomplete real-world sensor data from radio-controlled cars used in the University of British Columbia's soccer-playing robot project.

Opportunistic Modeling

TLDR
The main goal of the work described here was to design and implement a knowledge representation framework that allows a computer program to reason about physical systems and candidate models in such a way as to choose the right model at the right abstraction level as quickly as possible.

Agenda control for heterogeneous reasoners

Incorporating Engineering Formalisms into Automated Model Builders

TLDR
A new structure for automated model building known as a meta-domain which, when instantiated with domain-specific components, tailors the space of candidate models to the system at hand.

References

SHOWING 1-10 OF 38 REFERENCES

Interpreting Observations of Physical Systems

TLDR
The theory described provides a means of interpreting observations made of a physical system across time in terms of qualitative theories, which is ontology-independent as well as domain-independent in that it only requires a qualitative description of the domain capable of supporting envisioning and domain-specific techniques.

Opportunistic Modeling

TLDR
The main goal of the work described here was to design and implement a knowledge representation framework that allows a computer program to reason about physical systems and candidate models in such a way as to choose the right model at the right abstraction level as quickly as possible.

Applied system identification

1. Introduction. 2. Time-Domain Models. 3. Frequency-Domain Models. 4. Frequency Response Functions. 5. System Realization. 6. Observer Identification. 7. Frequency Domain System ID. 8.

A Customized Logic Paradigm for Reasoning about Models

TLDR
The main goal of the work described here was to design and implement a knowledge representation framework that allows a computer program to reason about physical systems and candidate models in such a way as to find the right model at the right abstraction level as quickly as possible.

AUTONOMOUS EXPLORATION AND CONTROL OF CHAOTIC SYSTEMS

TLDR
The program Perfect Moment is built around a collection of design techniques equipped to exploit the real nonlinear nature of the device, designed to limit complexity by focusing the mapping and search on the areas of interest.

Qualitative Simulation

Data Preprocessing and Intelligent Data Analysis

Qualitative Process Theory

A Qualitative Physics Based on Confluences

Putting Declarative Meta Control to Work ; CU-CS-856-98

TLDR
A logic programming system that accomplishes equivalence of declarative and operational semantics,Declarative specification of control information, and smoothness of interaction with nonlogic-based programs is presented.