Trajectory constraints in qualitative simulation
Conference
·
OSTI ID:430771
- Universita di Udine (Italy)
- Univ. of Texas, Austin, TX (United States)
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.
- OSTI ID:
- 430771
- Report Number(s):
- CONF-960876-; TRN: 96:006521-0146
- Resource Relation:
- Conference: 13. National conference on artifical intelligence and the 8. Innovative applications of artificial intelligence conference, Portland, OR (United States), 4-8 Aug 1996; Other Information: PBD: 1996; Related Information: Is Part Of Proceedings of the thirteenth national conference on artificial intelligence and the eighth innovative applications of artificial intelligence conference. Volume 1 and 2; PB: 1626 p.
- Country of Publication:
- United States
- Language:
- English
Similar Records
Constraint methods for neural networks and computer graphics
Autonomous trajectory generation for mobile robots with non-holonomic and steering angle constraints
A robust variational method for FEA solution enhancement and error estimation
Miscellaneous
·
Sun Jan 01 00:00:00 EST 1989
·
OSTI ID:430771
Autonomous trajectory generation for mobile robots with non-holonomic and steering angle constraints
Conference
·
Mon Jan 01 00:00:00 EST 1990
·
OSTI ID:430771
A robust variational method for FEA solution enhancement and error estimation
Conference
·
Sun Dec 31 00:00:00 EST 1995
·
OSTI ID:430771