Abstract-- Static stabilization of a decentralized discretetime single-integrator network that is subject to Markovian variation in the communication/sensing topology is considered...
We present a description of two small audio/visual immersive installations. The main framework is an interactive structure that enables multiple participants to generate jazz impr...
Constance G. Baltera, Sara B. Smith, Judy A. Frank...
We propose axiomatizing some stochastic games, in a continuous state space setting, using continuous belief functions, resp. plausibilities, instead of measures. Then, stochastic g...
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
Morteza Lahijanian, Sean B. Andersson, Calin Belta
Abstract. A number of recently proposed mobile sensor network architectures rely on uncontrolled, or weakly-controlled mobility to achieve sensing coverage over time at low cost, a...
Shane B. Eisenman, Nicholas D. Lane, Andrew T. Cam...