Observation of B_s Production at the Y(5S) Resonance

Using the CLEO detector at the Cornell Electron Storage Ring, we have observed the B_s meson in e^+e^- annihilation at the Υ(5S) resonance. We find 14 candidates consistent with B_s decays into final states with a J/ψ or a D_s^((*)-). The probability that we have observed a background fluctuation is less than 8×10^(-10). We have established that at the energy of the Υ(5S) resonance B_s production proceeds predominantly through the creation of B_s^*B̅ _s^* pairs. We find σ(e^+e^-→B^s^*B̅ ^*)=[0.11_(-0.03)^(+0.04)(stat)±0.02(syst)]  nb, and set the following limits: σ(e^+e^-→B_sB̅ _s)/σ(e^+e^-→B_s^*B̅ _s^*)<0.16 and [σ(e^+e^-→B_sB̅ _s^*)+σ(e^+e^-→B_s*B̅ _s)]/σ(e^+e^-→B_s*B̅ _s^*)<0.16 (90% C.L.). The mass of the B_s^* meson is measured to be M_(B_s^*=[5.414±0.001(stat)±0.003(syst)]  GeV/c^2

Abstractions of Constrained Linear Systems

Simulation relations are powerful abstraction techniques in computer science that reduce the complexity of analysis and design of labeled transition systems. In this paper, we define and characterize simulation relations for discrete-time linear systems in the presence of state and input constraints. Given a discrete-time linear system and the associated constraints, we consider a control-abstract embedding into a transition system. We then establish necessary and sufficient conditions for one constrained linear system to simulate the transitions of the other. Checking the simulation conditions is formulated as a linear programming problem which can be efficiently solved for systems of large dimensions. We provide an example where our approach is applied to the hybrid model of the Electronic Throttle Control (ETC) System