Symbolic Reachability Computation for Families of Linear Vector Fields Gerardo Lafferriere Department of Mathematical Sciences Portland State University, P.O. Box 751, Portland, OR 97207-0751. [email protected] George J. Pappas Department of Electrical Engineering University of Pennsylvania, 200 South 33rd Street, Philadelphia, PA 19104. [email protected] Sergio Yovine VERIMAG Centre Equat...

We present a search for 183GHz H2O(313→220) emission in the infrared–luminous quasar MG0751+2716 with the NRAO Very Large Array (VLA). At z = 3.200 ± 0.001, this water emission feature is redshifted to 43.6GHz. As opposed to the faint rotational transitions of HCN (the standard high–density tracer at high–z), H2O(313→220) is observed with high maser amplification factors in Galactic star–formin...

We study how long it takes for large populations of interacting agents to come close to Nash equilibrium when they adapt their behavior using a stochastic better reply dynamic. Prior work considers this question mainly for 2×2 games and potential games; here we characterize convergence times for general weakly acyclic games, including coordination games, dominance solvable games, games with str...

Motivated by the fact that in many game-theoretic settings, the game analyzed is only an approximation to the game being played, in this work we analyze equilibrium computation for the broad and natural class of bimatrix games that are stable under perturbations. We specifically focus on games with the property that small changes in the payoff matrices do not cause the Nash equilibria of the ga...

We ®rst present a novel general-purpose nonlinear PID controller realized via fuzzy PID control that uses our newly-introduced simpli®ed Takagi±Sugeno (TS) rule scheme. Analytical structure of the fuzzy PID controller is derived and its structure is analyzed in relation to the linear PID controller. The unique features of the fuzzy controller are as follows. First, the proportional, integral an...

The intermediate polar RX J1712.6-2414, discovered by Buckley et al. (1995), turned out to have a phasedependent circular polarization of up to −5% in the Ic band, the largest value observed in any intermediate polar. By comparing the slope of the observed polarized flux with theoretical models, Buckley et al. (1995) obtained an estimate of 8 MG for the magnetic field strength. In this fit, onl...

Transportation Research Record: Journal of the Transportation Research Board, No. 2274, Transportation Research Board of the National Academies, Washington, D.C., 2012, pp. 109–113. DOI: 10.3141/2274-12 Department of Civil and Environmental Engineering, Portland State University, P.O. Box 751, Portland, OR 97207-0751. Corresponding author: M. Figliozzi, [email protected]. A formal optimization ...

Statistical analyses of data from a classroom-based study illustrate the need to account for intra-class clustering in studies involving schools, classrooms, and other higher order units of analysis. Students were clustered in homerooms that were assigned to intervention and comparison conditions. Standard multiple linear regression analysis yielded a significant group effect but incorrectly ig...

The moment of inertia of the pulsar A in the neutron star binary J0737-3039 will soon be measurable through detailed measurements of the periastron advance. We present the calculation of the moment of inertia of neutron stars with the masses of the components of the binary J0737-3039 for a broad range of equations of state of dense matter and discuss the implications of such measurement for con...

Laser coagulation is a minimally invasive therapy that utilizes laser energy to thermally kill benign and malignant lesions such as cancers, at the temperature range of 55± 85°C. It is of clinical importance to control the laser deposition into the tissue in such a way that the lesion will be destroyed while the surrounding healthy tissue will remain intact. However, a primary technical dicult...