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

Semantic Scholar uses AI to extract papers important to this topic.

2011

2011

- Aditya Gahlawat, Matthew M. Peet
- IEEE Conference on Decision and Control and…
- 2011

In this paper, we propose a method to synthesize infinite-dimensional observer-based controllers for partial-differential systems… (More)

Is this relevant?

Highly Cited

2007

Highly Cited

2007

- Bobak Nazer, Michael Gastpar
- IEEE Transactions on Information Theory
- 2007

The problem of reliably reconstructing a function of sources over a multiple-access channel (MAC) is considered. It is shown that… (More)

Is this relevant?

Highly Cited

2006

Highly Cited

2006

- João Barros, Sergio D. Servetto
- IEEE Transactions on Information Theory
- 2006

Consider the following network communication setup, originating in a sensor networking application we refer to as the "sensor… (More)

Is this relevant?

2006

2006

- Chao Tian, Suhas N. Diggavi
- IEEE Transactions on Information Theory
- 2006

In this correspondence, we provide a complete characterization of the rate-distortion region for the multistage successive… (More)

Is this relevant?

Highly Cited

2006

Highly Cited

2006

- Haim H. Permuter, Tsachy Weissman, Andrea J. Goldsmith
- IEEE Transactions on Information Theory
- 2006

We consider capacity of discrete-time channels with feedback for the general case where the feedback is a time-invariant… (More)

Is this relevant?

Highly Cited

2005

Highly Cited

2005

- Michael Gastpar, Martin Vetterli
- IEEE Transactions on Information Theory
- 2005

The capacity of a particular large Gaussian relay network is determined in the limit as the number of relays tends to infinity… (More)

Is this relevant?

Highly Cited

2003

Highly Cited

2003

- Michael Gastpar, Martin Vetterli
- IPSN
- 2003

Sensors acquire data, and communicate this to an interested party. The arising coding problem is often split into two parts… (More)

Is this relevant?

Highly Cited

2003

Highly Cited

2003

- Shousong Hu, Qixin Zhu
- Automatica
- 2003

In this paper, stochastic optimal controllers of networked control systems whose network-induced delay is longer than a sampling… (More)

Is this relevant?

Highly Cited

1996

Highly Cited

1996

- Kazuo Murota
- IPCO
- 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

- Lotfi A. Zadeh
- Information and Control
- 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)

Is this relevant?