Results 1  10
of
666
Bisimulation Relations for Dynamical and Control Systems
, 2003
"... In this paper we propose a new equivalence relation for dynamical and control systems called bisimulation. As the name implies this definition is inspired by the fundamental notion of bisimulation introduced by R. Milner for labeled transition systems. It is however, more subtle than its namesake in ..."
Abstract

Cited by 23 (8 self)
 Add to MetaCart
In this paper we propose a new equivalence relation for dynamical and control systems called bisimulation. As the name implies this definition is inspired by the fundamental notion of bisimulation introduced by R. Milner for labeled transition systems. It is however, more subtle than its namesake
Approximate bisimulation relations for constrained linear systems
 AUTOMATICA
, 2007
"... In this paper, we define the notion of approximate bisimulation relation between two systems, extending the well established exact bisimulation relations for discrete and continuous systems. Exact bisimulation requires that the observations of two systems are and remain identical, approximate bisi ..."
Abstract

Cited by 18 (5 self)
 Add to MetaCart
In this paper, we define the notion of approximate bisimulation relation between two systems, extending the well established exact bisimulation relations for discrete and continuous systems. Exact bisimulation requires that the observations of two systems are and remain identical, approximate
Bisimulation through probabilistic testing
 in “Conference Record of the 16th ACM Symposium on Principles of Programming Languages (POPL
, 1989
"... We propose a language for testing concurrent processes and examine its strength in terms of the processes that are distinguished by a test. By using probabilistic transition systems as the underlying semantic model, we show how a testing algorithm can distinguish, with a probability arbitrarily clos ..."
Abstract

Cited by 529 (14 self)
 Add to MetaCart
close to one, between processes that are not bisimulation equivalent. We also show a similar result (in a slightly stronger form) for a new process relation called $bisimulationwhich lies strictly between that of simulation and bisimulation. Finally, the ultimately strength of the testing language
ApproximateBisimulationRelations for ConstrainedLinear Systems?
"... In this paper, we define the notion of approximate bisimulation relation between two continuous systems. While exact bisimulation requires that the observations of two systems are and remain identical, approximate bisimulation allows the observations to be different provided the distance between th ..."
Abstract
 Add to MetaCart
In this paper, we define the notion of approximate bisimulation relation between two continuous systems. While exact bisimulation requires that the observations of two systems are and remain identical, approximate bisimulation allows the observations to be different provided the distance between
Unifying Bisimulation Relations for Discrete and Continuous Systems
 Proceedings of the International Symposium MTNS2002, South
, 2002
"... The fundamental notion of bisimulation has inspired various notions of system equivalences in concurrency theory. Many notions of bisimulation for various discrete systems have been recently unified in the abstract category theoretical formulation of bisimulation due to Joyal, Nielsen and Winskel ..."
Abstract

Cited by 9 (1 self)
 Add to MetaCart
notions in the domain of continuous systems. We believe that the unification of the bisimulation relation for labelled transition systems and dynamical systems under the umbrella of abstract bisimulation, as achieved in this work, is a first step towards a unified approach to modeling of and reasoning
Abstract Bisimulation Relations for Dynamical and Control Systems
"... In this paper we propose a new equivalence relation for dynamical and control systems called bisimulation. As the name implies this definition is inspired by the fundamental notion of bisimulation introduced by R. Milner for labeled transition systems. It is however, more subtle than its namesake in ..."
Abstract
 Add to MetaCart
In this paper we propose a new equivalence relation for dynamical and control systems called bisimulation. As the name implies this definition is inspired by the fundamental notion of bisimulation introduced by R. Milner for labeled transition systems. It is however, more subtle than its namesake
Bisimulation can't be traced
, 1995
"... In the concurrent language CCS, hvo programs are considered the same if they are bzsimilar. Several years and many researchers have demonstrated that the theory of bisimulation is mathematically appealing and useful in practice. However, bisimulation makes too many distinctions between programs. W ..."
Abstract

Cited by 242 (2 self)
 Add to MetaCart
. We consider the problem of adding operations to CCS to make bisimulation fully abstract. We define the class of GSOS operations, generalizing the style and technical advantages of CCS operations. We characterize GSOS congruence in as a bisimulationlike relation called ready simulation. Bisimulation
A Fast Bisimulation Algorithm
 PROC. OF INT. CONFERENCE ON COMPUTER AIDED VERIFICATION (CAV’01), VOLUME 2102 OF LNCS
, 2000
"... In this paper we propose an efficient algorithmic solution to the problem of determining a Bisimulation Relation on a finite structure. ..."
Abstract

Cited by 43 (16 self)
 Add to MetaCart
In this paper we propose an efficient algorithmic solution to the problem of determining a Bisimulation Relation on a finite structure.
On the Bisimulation Proof Method
 JOURNAL OF MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
, 1994
"... The most popular method for establishing bisimilarities among processes is to exhibit bisimulation relations. By definition, R is a bisimulation relation if R progresses to R itself, i.e., pairs of processes in R can match each other's actions and their derivatives are again in R. We study gen ..."
Abstract

Cited by 106 (7 self)
 Add to MetaCart
The most popular method for establishing bisimilarities among processes is to exhibit bisimulation relations. By definition, R is a bisimulation relation if R progresses to R itself, i.e., pairs of processes in R can match each other's actions and their derivatives are again in R. We study
Results 1  10
of
666