Trajectory Constraints in Qualitative Simulation

8 years 4 months ago
Trajectory Constraints in Qualitative Simulation
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. of qualitative states) that satisfy continuous and discontinuous behavioral requirements specified via trajectory constraints'. Figure 1 describes the relationship between the sources of constraining power within TeQSIM.
Giorgio Brajnik, Daniel J. Clancy
Added 02 Nov 2010
Updated 02 Nov 2010
Type Conference
Year 1996
Where AAAI
Authors Giorgio Brajnik, Daniel J. Clancy
Comments (0)