Towards a general theory of action and time
Artificial Intelligence
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Handbook of theoretical computer science (vol. B)
Artificial Intelligence - Special issue on knowledge representation
Qualitative reasoning: modeling and simulation with incomplete knowledge
Qualitative reasoning: modeling and simulation with incomplete knowledge
Guiding and refining simulation using temporal logic
TIME '96 Proceedings of the 3rd Workshop on Temporal Representation and Reasoning (TIME'96)
Proving properties of continuous systems: qualitative simulation andtemporal logic
Proving properties of continuous systems: qualitative simulation andtemporal logic
Introducing actions into qualitative simulation
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Modeling time in hybrid systems: how fast is "instantaneous"?
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
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
Focusing qualitative simulation using temporal logic: theoretical foundations
Annals of Mathematics and Artificial Intelligence
Qualitative simulation and related approaches for the analysis of dynamic systems
The Knowledge Engineering Review
| Hi-index | 0.01 |
We present a method for specifying temporal constraints on trajectories of dynamical systems and enforcing them during qualitative simulation. This capability can be used to focus a simulation, simulate non-autonomous and piecewise-continuous systems, reason about boundary condition problems and incorporate observations into the simulation. The method has been implemented in TeQSIM, a qualitative simulator that combines the expressive power of qualitative differential equations with temporal logic. It interleaves temporal logic model checking with the simulation to constrain and refine the resulting predicted behaviors and to inject discontinuous changes into the simulation.