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

Topological Measure Locating the Effective Crossover between Segregation and Integration in a Modular Network

We introduce an easily computable topological measure which locates the effective crossover between segregation and integration in a modular network. Segregation corresponds to the degree of network modularity, while integration is expressed in terms of th ...

American Physical Society2012

Symbolic execution of Reo circuits using constraint automata

Hossein Hojjat

Reo is a coordination language that can be used to model different systems. We propose a technique for symbolic execution of Reo circuits using the symbolic representation of data constraints in Constraint Automata. This technique enables us to obtain the ...

2012

On Synthesis for Unbounded Bit-vector Arithmetic

Viktor Kuncak, Andrej Spielmann

We propose to describe computations using QFPAbit, a language of quantifier-free linear arithmetic on unbounded integers with bitvector operations. Given a QFPAbit formula with input and output variables, we describe an algo- rithm that generates an effici ...

2012

MATHICSE Technical Report : Moment equations for the mixed formulation of the Hodge Laplacian with stochastic data

Fabio Nobile, Annalisa Buffa, Francesca Bonizzoni

We study the mixed formulation of the stochastic Hodge-Laplace problem defined on a n-dimensional domain D (

n \geq 1

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

MATHICSE2012

The research program of Stochastic Deformation (with a view toward Geometric Mechanics)

This is an overview of a program of stochastic deformation of the mathematical tools of classical mechanics, in the Lagrangian and Hamiltonian approaches. It can also be regarded as a stochastic version of Geometric Mechanics.The main idea is to construct ...

2012

Multi-Objective Airport Gate Assignment Problem in Planning and Operations

Michel Bierlaire, Prem Kumar

We consider the assignment of gates to arriving and departing flights at a large hub airport. It is considered to be a highly complex problem even in planning stage when all flight arrivals and departures are assumed to be known precisely in advance. There ...

2012

Affine Variance Swap Curve Models

Damir Filipovic

This paper provides a brief overview of the stochastic modeling of variance swap curves. Focus is on affine factor models. We propose a novel drift parametrization which assures that the components of the state process can be matched with any pre-specified ...

2012

Cavity Optomechanics: Cooling of a Micromechanical Oscillator into the Quantum Regime

Tobias Kippenberg, Albert Schliesser, Emanuel Gavartin, Stefan Alexander Weis

Using optical sideband cooling, a micromechanical oscillator is cooled to a phonon occupancy below 10 phonons, corresponding to a probability of finding it in its quantum ground state more than 10% of the time. ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2011

Multitype Contact Process on Z: Extinction and Interface

Daniel Rodrigues Valesin

We consider a two-type contact process on Z in which both types have equal finite range and supercritical infection rate. We show that a given type becomes extinct with probability 1 if and only if, in the initial configuration, it is confined to a finite ...

2010

Comparative study of ecohydrological streamflow probability distributions

Andrea Rinaldo, Enrico Bertuzzo, Serena Ceola, Gianluca Botter

We run a comparative study of ecohydrological models of streamflow probability distributions (pdfs), p(Q), derived by Botter et al. (2007a, 2009), against field data gathered in different hydrological contexts. Streamflows measured in several catchments ac ...

American Geophysical Union2010

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

Graph Chatbot

Chat with Graph Search

Topological Measure Locating the Effective Crossover between Segregation and Integration in a Modular Network

Symbolic execution of Reo circuits using constraint automata

On Synthesis for Unbounded Bit-vector Arithmetic

MATHICSE Technical Report : Moment equations for the mixed formulation of the Hodge Laplacian with stochastic data

The research program of Stochastic Deformation (with a view toward Geometric Mechanics)

Multi-Objective Airport Gate Assignment Problem in Planning and Operations

Affine Variance Swap Curve Models

Cavity Optomechanics: Cooling of a Micromechanical Oscillator into the Quantum Regime

Multitype Contact Process on Z: Extinction and Interface

Comparative study of ecohydrological streamflow probability distributions

On Synthesis for Unbounded Bit-vector Arithmetic

Symbolic execution of Reo circuits using constraint automata

Cavity Optomechanics: Cooling of a Micromechanical Oscillator into the Quantum Regime

Comparative study of ecohydrological streamflow probability distributions

Multitype Contact Process on Z: Extinction and Interface

Affine Variance Swap Curve Models

Topological Measure Locating the Effective Crossover between Segregation and Integration in a Modular Network

MATHICSE Technical Report : Moment equations for the mixed formulation of the Hodge Laplacian with stochastic data

Multi-Objective Airport Gate Assignment Problem in Planning and Operations

The research program of Stochastic Deformation (with a view toward Geometric Mechanics)