Simulation preorder

Known as: Simulation (disambiguation) 
In theoretical computer science a simulation preorder is a relation between state transition systems associating systems which behave in the same way… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Automotive industry uses model checking approaches to ensure behavioral backward compatibility of different variants and versions… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2014
Highly Cited
2014
Adaptive networks are suitable for decentralized inference tasks. Recent works have intensively studied distributed optimization… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Principal component analysis is a fundamental operation in computational data analysis, with myriad applications ranging from web… (More)
  • table I
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2004
Highly Cited
2004
In this paper, we discuss consensus problems for networks of dynamic agents with fixed and switching topologies. We analyze three… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2002
2002
We consider the problem of simulation preorder/equivalence between infinitestate processes and finite-state ones. First, we… (More)
  • figure 1
  • figure 2
  • table 1
Is this relevant?
2002
2002
We present a simulation preorder for reactive systems modeled by fair Kripke structures whose transition relation is divided into… (More)
  • figure 1
Is this relevant?
Highly Cited
2000
Highly Cited
2000
In this paper we develop some statistical theory for factor models of large dimensions. The focus is the determination of the… (More)
  • table I
  • table II
  • table III
  • table IV
  • table V
Is this relevant?
1999
1999
We consider the problem of simulation preorder/equivalenc e between infinite-state processes and finite-state ones. We prove tha… (More)
  • figure 1
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Systems involving interaction among state machines, such as protocols, concurrent algorithms, and certain kinds of haxdwarc… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1990
Highly Cited
1990
A general method for building and training multilayer perceptrons composed of linear threshold units is proposed. A simple… (More)
Is this relevant?