Reasoning about continuous processes

Conference · Tue Dec 31 04:00:00 EST 1996

OSTI ID:430721

Herrmann, C S ^[1]; Thielscher, M ^[2]

---

1. FG Intellektik, Darmstadt (Germany)
2. International Computer Science Inst., Berkeley, CA (United States)

Overcoming the disadvantages of equidistant discretization of continuous actions, we introduce an approach that separates time into slices of varying length bordered by certain events. Such events are points in time at which the equations describing the system`s behavior that is, the equations which specify the ongoing processes-change. Between two events the system`s parameters stay continuous. A high-level semantics for drawing logical conclusions about dynamic systems with continuous processes is presented, and we have developed an adequate calculus to automate this reasoning process. In doing this, we have combined deduction and numerical calculus, offering logical reasoning about precise, quantitative system information. The scenario of multiple balls moving in 1-dimensional space interacting with a pendulum serves as demonstration example of our method.

• OSTI ID: 430721
• Report Number(s): CONF-960876--
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS
ALGORITHMS
ARTIFICIAL INTELLIGENCE
DECISION MAKING
MATHEMATICAL LOGIC