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