Gabbay's separation theorem

Known as: Separation theorem 
In mathematical logic and computer science, Gabbay's separation theorem, named after Dov Gabbay, states that any arbitrary temporal logic formula can… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1962-2018
0102019622018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
In this paper, we propose a method to synthesize infinite-dimensional observer-based controllers for partial-differential systems… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2007
Highly Cited
2007
The problem of reliably reconstructing a function of sources over a multiple-access channel (MAC) is considered. It is shown that… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Consider the following network communication setup, originating in a sensor networking application we refer to as the "sensor… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2006
2006
In this correspondence, we provide a complete characterization of the rate-distortion region for the multistage successive… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2006
Highly Cited
2006
We consider capacity of discrete-time channels with feedback for the general case where the feedback is a time-invariant… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
Highly Cited
2005
Highly Cited
2005
The capacity of a particular large Gaussian relay network is determined in the limit as the number of relays tends to infinity… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Sensors acquire data, and communicate this to an interested party. The arising coding problem is often split into two parts… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2003
Highly Cited
2003
In this paper, stochastic optimal controllers of networked control systems whose network-induced delay is longer than a sampling… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Convex analysis” is developed for functions defined on integer lattice points. We investigate the class of functions which enjoy… (More)
Is this relevant?
Highly Cited
1965
Highly Cited
1965
A fuzzy set is a class of objects with a continuum of grades of membership. Such a set is characterized by a membership… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?