Sciweavers

7840 search results - page 163 / 1568
» On generalized Ramsey numbers
Sort
View
94
Voted
DEDS
2007
111views more  DEDS 2007»
15 years 21 days ago
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence
This paper presents a general framework for efficient synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of p...
Hugo Flordal, Robi Malik, Martin Fabian, Knut &Ari...
106
Voted
SYNTHESE
2008
83views more  SYNTHESE 2008»
15 years 19 days ago
A relativistic Zeno effect
A Zenonian supertask involving an infinite number of identical colliding balls is generalized to include balls with different masses. Under the restriction that the total mass of a...
David Atkinson
99
Voted
TIT
2008
103views more  TIT 2008»
15 years 19 days ago
Improved Probabilistic Bounds on Stopping Redundancy
For a linear code , the stopping redundancy of is defined as the minimum number of check nodes in a Tanner graph T for such that the size of the smallest stopping set in T is equal...
Junsheng Han, Paul H. Siegel, Alexander Vardy
AUTOMATICA
2002
62views more  AUTOMATICA 2002»
15 years 18 days ago
On minimal-order stabilization of minimum phase plants
In this note, the problem of minimal-order stabilization in the case where the plant is minimum phase is studied. A low bound on the order of stabilizers is derived and a set of m...
Weidong Zhang, Xiaoming Xu
DM
2002
134views more  DM 2002»
15 years 16 days ago
Covering a hypergraph of subgraphs
Let G be a tree and let H be a collection of subgraphs of G, each having at most d connected components. Let (H) denote the maximum number of members of H no two of which share a ...
Noga Alon