Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,356,356 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
5 relations
Broader (2)
Artificial intelligence
Modal logic
Computer science
Concurrent MetateM
Temporal logic
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
A conic scalarization method in multi-objective optimization
Refail Kasimbeyli
Journal of Global Optimization
2011
Corpus ID: 35091513
This paper presents the conic scalarization method for scalarization of nonlinear multi-objective optimization problems. We…
Expand
Highly Cited
2009
Highly Cited
2009
Robust LMI-based control of wind turbines with parametric uncertainties
Christoffer Sloth
,
Thomas Esbensen
,
M. Niss
,
J. Stoustrup
,
P. F. Odgaard
IEEE Control Applications, (CCA) & Intelligent…
2009
Corpus ID: 14301668
This paper considers the design of robust LMIbased controllers for a wind turbine along its entire nominal operating trajectory…
Expand
Highly Cited
2007
Highly Cited
2007
International Asset Pricing Under Segmentation and PPP Deviations
I. Chaieb
,
V. Errunza
2007
Corpus ID: 377989
Highly Cited
2007
Highly Cited
2007
Multiterminal Source–Channel Communication Over an Orthogonal Multiple-Access Channel
Jinjun Xiao
,
Z. Luo
IEEE Transactions on Information Theory
2007
Corpus ID: 6383343
We consider the problem of multiterminal source-channel communication where a number of distributed and possibly correlated…
Expand
Highly Cited
2005
Highly Cited
2005
Network information flow with correlated sources
J. Barros
,
S. Servetto
IEEE Transactions on Information Theory
2005
Corpus ID: 1274
Consider the following network communication setup, originating in a sensor networking application we refer to as the "sensor…
Expand
Highly Cited
1999
Highly Cited
1999
Discrete time LQG controls with control dependent noise
J. Moore
,
X. Zhou
,
Andrew E. B. Lim
1999
Corpus ID: 16444997
Highly Cited
1995
Highly Cited
1995
The source-channel separation theorem revisited
Sridhar Vembu
,
S. Verdú
,
Y. Steinberg
IEEE Transactions on Information Theory
1995
Corpus ID: 10608860
The single-user separation theorem of joint source-channel coding has been proved previously for wide classes of sources and…
Expand
Highly Cited
1991
Highly Cited
1991
Jump Linear Quadratic Gaussian Control in Continuous Time
Y. Ji
,
H. Chizeck
American Control Conference
1991
Corpus ID: 5744803
This paper is concerned with the optimal quadratic control of continuous-time linear systems that possess randomly jumping…
Expand
Highly Cited
1972
Highly Cited
1972
Filtering and detection for doubly stochastic Poisson processes
D. Snyder
IEEE Transactions on Information Theory
1972
Corpus ID: 34833970
Equations are derived that describe the time evolution of the posterior statistics of a general Markov process that modulates the…
Expand
Highly Cited
1957
Highly Cited
1957
Oscillation criteria for second-order linear differential equations
Z. Nehari
1957
Corpus ID: 13194734
where p(x) is a continuous positive function for 0 0. Our main concern will be to obtain oscillation criteria (or nonoscillation…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE