Sciweavers

1146 search results - page 147 / 230
» Finite cupping sets
Sort
View
AUTOMATICA
2008
126views more  AUTOMATICA 2008»
15 years 4 months ago
Local stability analysis using simulations and sum-of-squares programming
The problem of computing bounds on the region-of-attraction for systems with polynomial vector fields is considered. Invariant subsets of the region-of-attraction are characterize...
Ufuk Topcu, Andrew K. Packard, Peter Seiler
CORR
2010
Springer
125views Education» more  CORR 2010»
15 years 4 months ago
Delay-rate tradeoff for ergodic interference alignment in the Gaussian case
In interference alignment, users sharing a wireless channel are each able to achieve data rates of up to half of the non-interfering channel capacity, no matter the number of users...
Joseph C. Koo, William Wu, John T. Gill III
CORR
2010
Springer
106views Education» more  CORR 2010»
15 years 4 months ago
Temporal Logics on Words with Multiple Data Values
The paper proposes and studies temporal logics for attributed words, that is, data words with a (finite) set of (attribute,value)-pairs at each position. It considers a basic logi...
Ahmet Kara, Thomas Schwentick, Thomas Zeume
CORR
2008
Springer
154views Education» more  CORR 2008»
15 years 4 months ago
Best-Effort Strategies for Losing States
We consider games played on finite graphs, whose goal is to obtain a trace belonging to a given set of winning traces. We focus on those states from which Player 1 cannot force a w...
Marco Faella
CORR
2008
Springer
104views Education» more  CORR 2008»
15 years 4 months ago
Coalgebraic Automata Theory: Basic Results
Abstract. We generalize some of the central results in automata theory to the abstraction level of coalgebras and thus lay out the foundations of a universal theory of automata ope...
Clemens Kupke, Yde Venema