Topologies, Continuity and Bisimulations

Abstract

The notion of a bisimulation relation is of basic importance in many areas of computation theory and logic. Of late, it has come to take a particular significance in work on the formal analysis and verification of hybrid control systems, based on the modal mu-calculus. Our purpose here is to give an analysis of the concept, starting with the observation that the zig zag conditions are suggestive of some form of continuity. We give a topological characterization of bisimularity for preorders, and then use the topology as a route to examining the algebraic semantics for the mu-calculus and its relation to the standard set-theoretic semantics.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 25, 1998
Accession Number
ADA364718

Entities

People

  • J. M. Davoren

Organizations

  • University of California, Berkeley

Tags

Communities of Interest

  • Autonomy
  • Energy and Power Technologies
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Agreements
  • Automata
  • Boolean Algebra
  • Calculus
  • Computational Science
  • Continuity
  • Control Systems
  • Differential Equations
  • Hybrid Systems
  • Language
  • Linguistics
  • Logic
  • Observation
  • Point Theorem
  • Semantics
  • Standards
  • Topology

Readers

  • Astronomy/Astrophysics
  • Mathematical Modeling and Probability Theory.
  • Systems Analysis and Design