Tyrone O'Neill

Learn More
The problem of formalising continuous change within reasoning about action systems such as the situation calculus has recently been receiving increasing attention ((Rei96], MS96]). In this paper we show that a long-existing systems theoretic reasoning methodology, that of Zeigler's DEVS (discrete event system speciication), not only subsumes the standard(More)
Imposing a markovian condition on the situation calculus enables the embedding of situation calculus theories into the DEVS (discrete event system speciication) modelling and simulation framework. DEVS has an algebraic formalism relying on classical systems theory, and has been used to good eeect in practical domains. The demonstrated correspondence between(More)
  • 1