Reachability in Parametric Interval Markov Chains using Constraints

Parametric Interval Markov Chains (pIMCs) are a specification formalism that extend Markov Chains (MCs) and Interval Markov Chains (IMCs) by taking into account imprecision in the transition probability values: transitions in pIMCs are labeled with parametric intervals of probabilities. In this work, we study the difference between pIMCs and other Markov Chain abstractions models and investigate the two usual semantics for IMCs: once-and-for-all and at-every-step. In particular, we prove that both semantics agree on the maximal/minimal reachability probabilities of a given IMC. We then investigate solutions to several parameter synthesis problems in the context of pIMCs -- consistency, qualitative reachability and quantitative reachability -- that rely on constraint encodings. Finally, we propose a prototype implementation of our constraint encodings with promising results

Search for a Higgs boson in the mass range from 145 to 1000 GeV decaying to a pair of W or Z bosons

Peer reviewe

A UTD Triple Diffraction Coefficient for Straight Wedges in Arbitrary Configuration

Anew UTD solution is presented for the description of the ray triply diffracted by straight wedges in arbitrary configuration, illuminated by a spherical wavefront field. The proposed UTD coefficient permits to uniformly describe the field at any aspect, in particular including the case of overlapping transition regions, where the subsequent application of UTD single wedge diffraction coefficient fails. The triple diffracted ray field is expressed in an analytical form, providing physical insight into the triple diffraction mechanism, and a new effective engineering tool within the UTD framework, as required in a modern ray-based code

A uniform high frequency solution for triple diffraction from straight wedges

A new UTD solution is presented for describing the triple diffraction mechanism, when straight wedges in arbitrary configuration are illuminated by a source at finite distance. The proposed UTD coefficient permits to uniformly describe the field at any aspect, in particular including the case of overlapping transition regions. The analytical triple diffracted ray field expression is simple and provides a new effective engineering tool within a UTD framework, as required in a modern ray-based code

Analytic impulsive time-domain UTD coefficient for pyramid-vertex diffraction

We introduce our solution for the diffraction of a pulsed ray field, with spherical wavefront, by the vertex (tip) of a pyramid. Within the Uniform Geometrical Theory of Diffraction (UTD) we improve the time domain (TD) solutions available in the literature by introducing the field diffracted by a perfectly conducting faceted structure made by interconnected flat plates, for source and observation points at finite distance from the tip. The proposed closed form expression for an exciting impulsive source has been calculated by employing the one-sided inverse Fourier transform of the frequency domain solution. The solution obtained is able to compensate for the discontinuities of the field predicted by standard TD-UTD, i.e., time domain geometrical optics (TD-GO) combined with the TD-UTD wedge singly diffracted rays. © 2013 IEEE