The University of Southampton
University of Southampton Institutional Repository

A modular approach to defining and characterising notions of simulation

Cirstea, Corina , Adámek, J and Milius, S (eds.) (2006) A modular approach to defining and characterising notions of simulation. Information and Computation, 204 (4), 469-502.

Record type: Article

Abstract

We propose a modular approach to defining notions of simulation, and modal logics which characterise them. We use coalgebras to model state-based systems, relators to define notions of simulation for such systems, and inductive techniques to define the syntax and semantics of modal logics for coalgebras. We show that the expressiveness of an inductively defined logic for coalgebras w.r.t. a notion of simulation follows from an expressivity condition involving one step in the definition of the logic, and the relator inducing that notion of simulation. Moreover, we show that notions of simulation and associated characterising logics for increasingly complex system types can be derived by lifting the operations used to combine system types, to a relational level as well as to a logical level. We use these results to obtain Baltag’s logic for coalgebraic simulation, as well as notions of simulation and associated logics for a large class of non-deterministic and probabilistic systems.

PDF ic.pdf - Other

Published date: April 2006
Keywords: Coalgebra, Simulation, Modal logic, Probabilistic system
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 261880
URI: https://eprints.soton.ac.uk/id/eprint/261880
ISSN: 0890-5401
PURE UUID: a0d819ee-2d99-4ac7-aa7d-c86b84a826e9

Catalogue record

Date deposited: 29 Jan 2006

Contributors

Author: Corina Cirstea
Editor: S Milius