Hybrid Event Structures
Padmanabhan Krishnan
Department of Computer Science,
University of Canterbury, Private Bag 4800,
Christchurch, New Zealand
paddy@cosc.canterbury.ac.nz
Abstract
We describe an event structure model in which issues related
to continuous systems can be studied. The event structure model
for hybrid system consists of a continuous component and a discrete
component which interact with each other via the usual
enabling and conflict relations. The continuous components behave like
communicating sequential agents.
The discrete component can be viewed as a prime event structure.
Towards modelling the simulation of hybrid systems, we
derive discrete structures by sampling the continuous system.
As a consequence of sampling, some information is lost while
other information can be inferred from the sample. We focus
on the concurrence of events and the influence of
sampling on it.
We also present a few results related to the ability to
infer the concurrence of events in sampled structures.
Conference Home Page