Verification of Open Interactive Markov Chains

Interactive Markov chains (IMC) are compositional behavioral models extending both labeled transition systems and continuous-time Markov chains. IMC pair modeling convenience - owed to compositionality properties - with effective verification algorithms and tools - owed to Markov properties. Thus far however, IMC verification did not consider compositionality properties, but considered closed systems. This paper discusses the evaluation of IMC in an open and thus compositional interpretation. For this we embed the IMC into a game that is played with the environment. We devise algorithms that enable us to derive bounds on reachability probabilities that are assured to hold in any composition context

Specification of Requirements for Visually Impaired Persons in Services in Transportation Electronic Information System

This article highlights the basic concept of the expansion of the current transportation information system in the Czech Republic by employing the Near Field Communication technology for the visually impaired passengers. Nowadays are electronic information systems an integral part of transportation arrangements in every city. They are built with the aim to offer to its constituents various services and to facilitate their orientation in a complex transportation network. These systems, however, do not necessarily take into consideration the needs of the handicapped, for example the visually impaired, although precisely this group needs correct and aptly transmitted information more than any other segment of the population

Investigating strangeness enhancement in jet and medium via ϕ\phi(1020) production in p−-Pb collisions at sNN\sqrt{s_{\rm NN}} = 5.02 TeV

International audienceThis work aims to differentiate strangeness produced from hard processes (jet-like) and softer processes (underlying event) by measuring the angular correlation between a high-momentum trigger hadron (h) acting as a jet-proxy and a produced strange hadron ($\phi(1020)$ meson). Measuring h$-\phi$ correlations at midrapidity in p$-$Pb collisions at $\sqrt{s_{\rm NN}}$ = 5.02 TeV as a function of event multiplicity provides insight into the microscopic origin of strangeness enhancement in small collision systems. The jet-like and the underlying-event-like strangeness production are investigated as a function of event multiplicity. They are also compared between a lower and higher momentum region. The evolution of the per-trigger yields within the near-side (aligned with the trigger hadron) and away-side (in the opposite direction of the trigger hadron) jet is studied separately, allowing for the characterization of two distinct jet-like production regimes. Furthermore, the h$-\phi$ correlations within the underlying event give access to a production regime dominated by soft production processes, which can be compared directly to the in-jet production. Comparisons between h$-\phi$ and dihadron correlations show that the observed strangeness enhancement is largely driven by the underlying event, where the $\phi/\mathrm{h}$ ratio is significantly larger than within the jet regions. As multiplicity increases, the fraction of the total $\phi(1020)$ yield coming from jets decreases compared to the underlying event production, leading to high-multiplicity events being dominated by the increased strangeness production from the underlying event

Measurement of Λ3H{}_{\Lambda}^{3}\mathrm{H} production in Pb-Pb collisions at sNN\sqrt{s_{\mathrm{NN}}} = 5.02 TeV

International audienceThe first measurement of $_{\Lambda}^{3}\mathrm{H}$ and $^3_ {\overline{\Lambda}}\overline{\mathrm{H}}$ differential production with respect to transverse momentum and centrality in Pb$-$Pb collisions at $\sqrt{s_{\mathrm{NN}}}=5.02$~TeV is presented. The $_{\Lambda}^{3}\mathrm{H}$ has been reconstructed via its two-charged-body decay channel, i.e., $_{\Lambda}^{3}\mathrm{H} \rightarrow {}^{3}\mathrm{He} + \pi^{-}$. A Blast-Wave model fit of the $p_{\rm T}$-differential spectra of all nuclear species measured by the ALICE collaboration suggests that the $_{\Lambda}^{3}\mathrm{H}$ kinetic freeze-out surface is consistent with that of other nuclei. The ratio between the integrated yields of $_{\Lambda}^{3}\mathrm{H}$ and $^3\mathrm{He}$ is compared to predictions from the statistical hadronisation model and the coalescence model, with the latter being favoured by the presented measurements

Investigating Λ\Lambda baryon production in p-Pb collisions in jets and underlying event using angular correlations

International audienceFirst measurements of hadron(h)$-\Lambda$ azimuthal angular correlations in p$-$Pb collisions at $\sqrt{s_{\rm NN}}$ = 5.02 TeV using the ALICE detector at the LHC are presented. These correlations are used to separate the production of associated $\Lambda$ baryons into three different kinematic regions, namely those produced in the direction of the trigger particle (near-side), those produced in the opposite direction (away-side), and those whose production is uncorrelated with the jet-axis (underlying event). The per-trigger associated $\Lambda$ yields in these regions are extracted, along with the near- and away-side azimuthal peak widths, and the results are studied as a function of associated particle $p_{\rm T}$ and event multiplicity. Comparisons with the DPMJET event generator and previous measurements of the $\phi(1020)$ meson are also made. The final results indicate that strangeness production in the highest multiplicity p$-$Pb collisions is enhanced relative to low multiplicity collisions in the jet-like regions, as well as the underlying event. The production of $\Lambda$ relative to charged hadrons is also enhanced in the underlying event when compared to the jet-like regions. Additionally, the results hint that strange quark production in the away-side of the jet is modified by soft interactions with the underlying event

Particle production as a function of charged-particle flattenicity in pp collisions at s\sqrt{s} = 13 TeV

International audienceThis paper reports the first measurement of the transverse momentum ($p_{\mathrm{T}}$) spectra of primary charged pions, kaons, (anti)protons, and unidentified particles as a function of the charged-particle flattenicity in pp collisions at $\sqrt{s}=13$ TeV. Flattenicity is a novel event shape observable that is measured in the pseudorapidity intervals covered by the V0 detector, $2.8<\eta<5.1$ and $-3.7<\eta<-1.7$. According to QCD-inspired phenomenological models, it shows sensitivity to multiparton interactions and is less affected by biases towards larger $p_{\mathrm{T}}$ due to local multiplicity fluctuations in the V0 acceptance than multiplicity. The analysis is performed in minimum-bias (MB) as well as in high-multiplicity events up to $p_{\mathrm{T}}=20$ GeV/$c$. The event selection requires at least one charged particle produced in the pseudorapidity interval $|\eta|<1$. The measured $p_{\mathrm{T}}$ distributions, average $p_{\mathrm{T}}$, kaon-to-pion and proton-to-pion particle ratios, presented in this paper, are compared to model calculations using PYTHIA 8 based on color strings and EPOS LHC. The modification of the $p_{\mathrm{T}}$-spectral shapes in low-flattenicity events that have large event activity with respect to those measured in MB events develops a pronounced peak at intermediate $p_{\mathrm{T}}$ ($2<p_{\mathrm{T}}<8$ GeV/$c$), and approaches the vicinity of unity at higher $p_{\mathrm{T}}$. The results are qualitatively described by PYTHIA, and they show different behavior than those measured as a function of charged-particle multiplicity based on the V0M estimator

Measurement of Λ3H{}_{\Lambda}^{3}\mathrm{H} production in Pb-Pb collisions at sNN\sqrt{s_{\mathrm{NN}}} = 5.02 TeV

International audienceThe first measurement of $_{\Lambda}^{3}\mathrm{H}$ and $^3_ {\overline{\Lambda}}\overline{\mathrm{H}}$ differential production with respect to transverse momentum and centrality in Pb$-$Pb collisions at $\sqrt{s_{\mathrm{NN}}}=5.02$~TeV is presented. The $_{\Lambda}^{3}\mathrm{H}$ has been reconstructed via its two-charged-body decay channel, i.e., $_{\Lambda}^{3}\mathrm{H} \rightarrow {}^{3}\mathrm{He} + \pi^{-}$. A Blast-Wave model fit of the $p_{\rm T}$-differential spectra of all nuclear species measured by the ALICE collaboration suggests that the $_{\Lambda}^{3}\mathrm{H}$ kinetic freeze-out surface is consistent with that of other nuclei. The ratio between the integrated yields of $_{\Lambda}^{3}\mathrm{H}$ and $^3\mathrm{He}$ is compared to predictions from the statistical hadronisation model and the coalescence model, with the latter being favoured by the presented measurements