Sciweavers

7289 search results - page 111 / 1458
» A Dependent Set Theory
Sort
View
AML
2011
322views Mathematics» more  AML 2011»
13 years 3 months ago
A dedekind finite borel set
In this paper we prove three theorems about the theory of Borel sets in models of ZF without any form of the axiom of choice. We prove that if B ⊆ 2ω is a Gδσ-set then either...
Arnold W. Miller
CDC
2008
IEEE
101views Control Systems» more  CDC 2008»
14 years 2 months ago
Stabilization of closed sets for passive systems, part I: Reduction principles
— Given an unforced nonlinear system and two nested closed and invariant sets Γ ⊂ O, we present reduction principles allowing one to extrapolate the properties of stability, a...
Mohamed I. El-Hawwary, Manfredi Maggiore
CDC
2008
IEEE
105views Control Systems» more  CDC 2008»
14 years 2 months ago
Stabilization of closed sets for passive systems, part II: Passivity-based control
— In this paper we explore the stabilization of closed invariant sets for passive systems, and present conditions under which a passivity-based feedback makes the set stable, sem...
Mohamed I. El-Hawwary, Manfredi Maggiore
CIE
2005
Springer
14 years 1 months ago
Some Reducibilities on Regular Sets
Abstract. We discuss some known and introduce some new reducibilities on regular sets. We establish some facts on the corresponding degree structures and relate some reducibilities...
Victor L. Selivanov
AGP
1999
IEEE
14 years 11 days ago
Comparing expressiveness of set constructor symbols
In this paper we consider the relative expressive power of two very common operators applicable to sets and multisets: the with and the union operators. For such operators we prove...
Agostino Dovier, Carla Piazza, Alberto Policriti