A qualitative physics based on confluences
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Qualitative analysis of MOS circuits
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Qualitative reasoning about physical systems
Qualitative reasoning about physical systems
Artificial Intelligence
The use of aggregation in causal simulation
Artificial Intelligence
Artificial Intelligence
Qualitative physics: past, present, and future
Exploring artificial intelligence
Intelligence in scientific computing
Communications of the ACM
Qualitative reasoning: modeling and simulation with incomplete knowledge
Automatica (Journal of IFAC)
Reasoning by simulation in artificial intelligence systems
Artificial intelligence, simulation & modeling
Automatic qualitative analysis of dynamic systems using piecewise linear approximations
Artificial Intelligence
A dynamic systems perspective on qualitative simulation
Artificial Intelligence
Artificial Intelligence
Theories of comparative analysis
Theories of comparative analysis
Readings in qualitative reasoning about physical systems
Readings in qualitative reasoning about physical systems
Order of magnitude reasoning in qualitative differential equations
Readings in qualitative reasoning about physical systems
Qualitative simulation modeling and analysis
Qualitative simulation modeling and analysis
Markov analysis of qualitative dynamics
Computational Intelligence
Qualitative reasoning about physical systems: a return to roots
Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
A theory of interactions: unifying qualitative and quantitative algebraic reasoning
Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
Compositional modeling: finding the right model for the job
Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
Understanding complex dynamics by visual and symbolic reasoning
Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
Higher-order derivative constraints in qualitative simulation
Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
Dynamic across-time measurement interpretation
Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
Mathematical problems arising in qualitative simulation of a differential equation
Artificial Intelligence
Artificial Intelligence
Reasoning about model accuracy
Artificial Intelligence
Recent advances in qualitative physics
Recent advances in qualitative physics
Qualitative-numeric simulation with Q3
Recent advances in qualitative physics
Reasoning with multiple abstraction models
Recent advances in qualitative physics
Recent advances in qualitative physics
Building problem solvers
Causality and model abstraction
Artificial Intelligence
The composition and validation of heterogeneous control laws
Automatica (Journal of IFAC)
Qualitative modelling of linear dynamical systems with quantized state measurements
Automatica (Journal of IFAC)
Qualitative reasoning: modeling and simulation with incomplete knowledge
Qualitative reasoning: modeling and simulation with incomplete knowledge
Extracting and representing qualitative behaviors of complex systems in phase space
Artificial Intelligence
Artificial Intelligence
A qualitative physics compiler
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Automated modeling for answering prediction questions: selecting the time scale and system boundary
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Decompositional modeling through caricatural reasoning
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Qualitative reasoning for automated exploration for chaos
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
A qualitative simulation approach for fuzzy dynamical models
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Artificial Intelligence - Special issue: AI research in Japan
Automated modelling of physical systems
Automated modelling of physical systems
Model simplification by asymptotic order of magnitude reasoning
Artificial Intelligence
Qualitative system identification: deriving structure from behavior
Artificial Intelligence
International Journal of Human-Computer Studies
Learning Qualitative Models of Dynamic Systems
Machine Learning - special issue on inductive logic programming
Artificial Intelligence - Special issue on scientific discovery
Proving properties of continuous systems: qualitative simulation and temporal logic
Artificial Intelligence
Artificial Intelligence - Special issue: artificial intelligence research in Japan
Automated modeling of complex systems to answer prediction questions
Artificial Intelligence
Qualitative and quantitative simulation: bridging the gap
Artificial Intelligence
An extension of QSIM with qualitative curvature
Artificial Intelligence
Automated model selection for simulation based on relevance reasoning
Artificial Intelligence
IEEE Transactions on Pattern Analysis and Machine Intelligence
Qualitative modelling of dynamical systems motivation, methods, and prospective applications
Selected papers from the 2nd IMACS symposium on Mathematical modelling---2nd MATHMOD
Qualitative simulation as a temporally-extended constraint satisfaction problem
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Model-based reasoning about learner behaviour
Artificial Intelligence
Model checking
Semi-quantitative system identification
Artificial Intelligence
A comprehensive methodology for building hybrid models of physical systems
Artificial Intelligence
Influence-based model decomposition for reasoning about spatially distributed physical systems
Artificial Intelligence
Global qualitative description of a class of nonlinear dynamical systems
Artificial Intelligence
Reasoning about nonlinear system identification
Artificial Intelligence
SIAM Journal on Numerical Analysis
Focusing qualitative simulation using temporal logic: theoretical foundations
Annals of Mathematics and Artificial Intelligence
Global solutions for nonlinear systems using qualitative reasoning
Annals of Mathematics and Artificial Intelligence
Improved Filtering for the QSIM Algorithm
IEEE Transactions on Pattern Analysis and Machine Intelligence
The Mathematical Bases for Qualitative Reasoning
IEEE Expert: Intelligent Systems and Their Applications
Process Monitoring and Diagnosis: A Model-Based Approach
IEEE Expert: Intelligent Systems and Their Applications
Model-Based, Multiple-Fault Diagnosis of Dynamic, Continuous Physical Devices
IEEE Expert: Intelligent Systems and Their Applications
CRACK: Qualitative Reasoning About Fatigue and Fracture in Steel Bridges
IEEE Expert: Intelligent Systems and Their Applications
Diamon: A Model-Based Troubleshooter Based on Qualitative Reasoning
IEEE Expert: Intelligent Systems and Their Applications
Gas-Turbine Condition Monitoring Using Qualitative Model-Based Diagnosis
IEEE Expert: Intelligent Systems and Their Applications
Using Qualitative Physics to Create Articulate Educational Software
IEEE Expert: Intelligent Systems and Their Applications
Modeling and Simulation of a Complex Industrial Process
IEEE Expert: Intelligent Systems and Their Applications
Some recent advances in validated methods for IVPs for ODEs
Applied Numerical Mathematics
Monitoring Piecewise Continuous Behaviors by Refining Semi-Quantative Trackers
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
A Qualitative-Fuzzy Framework for Nonlinear Black-Box System Identification
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Semi-Quantitative Comparative Analysis
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Towards Computing Phase Portraits of Polygonal Differential Inclusions
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Series of Abstractions for Hybrid Automata
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Dynamical Qualitative Analysis of Evolutionary Systems
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
STA: Spatio-Temporal Aggregation with Applications to Analysis of Diffusion-Reaction Phenomena
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
AIME '95 Proceedings of the 5th Conference on Artificial Intelligence in Medicine in Europe: Artificial Intelligence Medicine
QSIM: The Program and Its Use
Sound and complete qualitative simulation is impossible
Artificial Intelligence
Current topics in qualitative reasoning
AI Magazine
Qualitative modeling in education
AI Magazine
AI Magazine
The Knowledge Engineering Review
Methods and Applications of Interval Analysis (SIAM Studies in Applied and Numerical Mathematics) (Siam Studies in Applied Mathematics, 2.)
A prototype for model-based on board diagnosis of automotive systems
AI Communications
Qualitative models of interactions between two populations
AI Communications - Binding Environmental Sciences and Artificial Intelligence
Spatial aggregation: theory and applications
Journal of Artificial Intelligence Research
Automated qualitative domain abstraction
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Qualitatively faithful quantitative prediction
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Qualitative simulation of genetic regulatory networks: method and application
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A constraint satisfaction approach to parametric differential equations
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Reasoning about fluid motion I: finding structures
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
History-based interpretation of finite element simulations of seismic wave fields
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Scaling up self-explanatory simulators polynomial time compilation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Trajectory constraints in qualitative simulation
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Managing occurrence branching in qualitative simulation
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Model decomposition and simulation: a component based qualitative simulation algorithm
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Static and dynamic abstraction solves the problem of chatter in qualitative simulation
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Systems and Software Verification: Model-Checking Techniques and Tools
Systems and Software Verification: Model-Checking Techniques and Tools
Automated mathematical modeling from experimental data: anapplication to material science
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Diagnosis of continuous valued systems in transient operating regions
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Lyapunov based reasoning methods
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Exhibiting the behavior of time-delayed systems via an extension to qualitative simulation
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Experiment selection for the discrimination of semi-quantitative models of dynamical systems
Artificial Intelligence
Experiment selection for the discrimination of semi-quantitative models of dynamical systems
Artificial Intelligence
Hi-index | 0.00 |
Methods for qualitative simulation allow predictions on the dynamics of a system to be made in the absence of quantitative information, by inferring the range of possible qualitative behaviors compatible with the structure of the system. This article reviews QSIM and other qualitative simulation methods. It discusses two problems that have seriously compromised the application of these methods to realistic problems in science and engineering: the occurrence of spurious behavior predictions and the combinatorial explosion of the number of behavior predictions. In response to these problems, related approaches for the qualitative analysis of dynamic systems have emerged: qualitative phase-space analysis and semi-quantitative simulation. The article argues for a synthesis of these approaches in order to obtain a computational framework for the qualitative analysis of dynamic systems. This should provide a solid basis for further upscaling and for the development of model-based reasoning applications of a wider scope.