Reasoning about Continuous ProcessesChristoph

@inproceedings{Herrmann1996ReasoningAC,
  title={Reasoning about Continuous ProcessesChristoph},
  author={Stephan Herrmann and Michael Thielscher},
  year={1996}
}
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|i.e., 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… CONTINUE READING

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-10 of 22 references

and Lifschitz

  • G. N. Kartha
  • V.
  • 1994
Highly Influential
7 Excerpts

M

  • Shanahan
  • P.
  • 1990
Highly Influential
6 Excerpts

and McDermott

  • Y. Shoham
  • D.
  • 1988
Highly Influential
6 Excerpts

P

  • J. McCarthy, Hayes
  • J.
  • 1969
Highly Influential
7 Excerpts

M

  • J. Ja ar, Maher
  • J.
  • 1994

and Lukaszewicz

  • P. Doherty
  • W.
  • 1994

G

  • Kartha
  • N.
  • 1993
2 Excerpts

P

  • Dung
  • M.
  • 1993