Publications related to Control synthesis for stochastic systems given automata specifications defined by stochastic sets

Moment equations for the mixed formulation of the Hodge Laplacian with stochastic loading term

Fabio Nobile, Annalisa Buffa, Francesca Bonizzoni

We study the mixed formulation of the stochastic Hodge-Laplace problem dened on a

n

-dimensional domain

D (n ≥ 1)

, with random forcing term. In particular, we focus on the magnetostatic problem and on the Darcy problem in the three dimensional case. We ...

2014

Near-Optimally Teaching the Crowd to Classify

Andreas Krause, Amin Karbasi, Ilija Bogunovic

How should we present training examples to learners to teach them classification rules? This is a natural problem when training workers for crowdsourcing labeling tasks, and is also moti- vated by challenges in data-driven online educa- tion. We propose a ...

2014

Thumbnail galleries for procedural models

Mark Pauly, Pablo Federico Mueller, Boris Neubert, Stefan Lienhard

Procedural modeling allows for the generation of innumerable variations of models from a parameterized, conditional or stochastic rule set. Due to the abstractness, complexity and stochastic nature of rule sets, it is often very difficult to have an unders ...

Wiley-Blackwell2014

A bottom-up stochastic model to predict building occupants' time-dependent activities

Jean-Louis Scartezzini, Darren Robinson, Frédéric Haldi, Urs Wilke

A bottom-up modelling approach together with a set of calibration methodologies is presented to predict residential building occupants' time-dependent activities, for use in dynamic building simulations. The stochastic model to predict activity chains is c ...

Elsevier2013

Method and apparatus for multiple object tracking with k-shortest paths

Pascal Fua, François Fleuret, Jérôme Berclaz

Trajectories of objects are estimated by determining the optimal solution(s) of a tracking model on the basis of an occupancy probability distribution. The occupancy probability distribution is the probability of presence of objects over a set of discrete ...

2013

Learning from Failed Demonstrations in Unreliable Systems

Aude Billard, Guillaume Pierre Luc De Chambrier, Akshara Rai

This paper presents a method to teach a robot to play Ping Pong from failed demonstrations in a highly noisy and uncertain setting. To infer useful information from failed demonstrations, we use a MultiDonut Algorithm [7] that minimises the probability of ...

2013

The Stationary Behaviour of Fluid Limits of Reversible Processes is Concentrated on Stationary Points

Jean-Yves Le Boudec

Assume that a stochastic process can be approximated, when some scale parameter gets large, by a fluid limit (also called mean field limit", or hydrodynamic limit"). A common practice, often called the ``fixed point approximation" consists in approxima ...

2013

Stochastic system controller synthesis for reachability specifications encoded by random sets

Maryam Kamgarpour, John Lygeros

We consider a reach–avoid specification for a stochastic hybrid dynamical system defined as reaching a goal set at some finite time, while avoiding an unsafe set at all previous times. In contrast with earlier works which consider the target and avoid sets ...

2013

Dynamics of Stochastically Blinking Systems. Part I: Finite Time Properties

Martin Hasler, Igor Belykh

We consider dynamical systems whose parameters are switched within a discrete set of values at equal time intervals. Similar to the blinking of the eye, switching is fast and occurs stochastically and independently for different time intervals. There are t ...

Siam Publications2013

A stochastic games framework for verification and control of discrete time stochastic hybrid systems

Maryam Kamgarpour, John Lygeros

We describe a framework for analyzing probabilistic reachability and safety problems for discrete time stochastic hybrid systems within a dynamic games setting. In particular, we consider finite horizon zero-sum stochastic games in which a control has the ...

2013

Control synthesis for stochastic systems given automata specifications defined by stochastic sets

Graph Chatbot

Chat with Graph Search

Moment equations for the mixed formulation of the Hodge Laplacian with stochastic loading term

Near-Optimally Teaching the Crowd to Classify

Thumbnail galleries for procedural models

A bottom-up stochastic model to predict building occupants' time-dependent activities

Method and apparatus for multiple object tracking with k-shortest paths

Learning from Failed Demonstrations in Unreliable Systems

The Stationary Behaviour of Fluid Limits of Reversible Processes is Concentrated on Stationary Points

Stochastic system controller synthesis for reachability specifications encoded by random sets

Dynamics of Stochastically Blinking Systems. Part I: Finite Time Properties

A stochastic games framework for verification and control of discrete time stochastic hybrid systems

Moment equations for the mixed formulation of the Hodge Laplacian with stochastic loading term

Method and apparatus for multiple object tracking with k-shortest paths

Dynamics of Stochastically Blinking Systems. Part I: Finite Time Properties

A stochastic games framework for verification and control of discrete time stochastic hybrid systems

The Stationary Behaviour of Fluid Limits of Reversible Processes is Concentrated on Stationary Points

Stochastic system controller synthesis for reachability specifications encoded by random sets

Near-Optimally Teaching the Crowd to Classify

Thumbnail galleries for procedural models

A bottom-up stochastic model to predict building occupants' time-dependent activities

Learning from Failed Demonstrations in Unreliable Systems