14,312 research outputs found
Discrete events: Perspectives from system theory
Systems Theory;differentiaal/ integraal-vergelijkingen
Practical applications of probabilistic model checking to communication protocols
Probabilistic model checking is a formal verification technique for the analysis of systems that exhibit stochastic behaviour. It has been successfully employed in an extremely wide array of application domains including, for example, communication and multimedia protocols, security and power management. In this chapter we focus on the applicability of these techniques to the analysis of communication protocols. An analysis of the performance of such systems must successfully incorporate several crucial aspects, including concurrency between multiple components, real-time constraints and randomisation. Probabilistic model checking, in particular using probabilistic timed automata, is well suited to such an analysis. We provide an overview of this area, with emphasis on an industrially relevant case study: the IEEE 802.3 (CSMA/CD) protocol. We also discuss two contrasting approaches to the implementation of probabilistic model checking, namely those based on numerical computation and those based on discrete-event simulation. Using results from the two tools PRISM and APMC, we summarise the advantages, disadvantages and trade-offs associated with these techniques
Bayesian Nonparametric Multilevel Clustering with Group-Level Contexts
We present a Bayesian nonparametric framework for multilevel clustering which
utilizes group-level context information to simultaneously discover
low-dimensional structures of the group contents and partitions groups into
clusters. Using the Dirichlet process as the building block, our model
constructs a product base-measure with a nested structure to accommodate
content and context observations at multiple levels. The proposed model
possesses properties that link the nested Dirichlet processes (nDP) and the
Dirichlet process mixture models (DPM) in an interesting way: integrating out
all contents results in the DPM over contexts, whereas integrating out
group-specific contexts results in the nDP mixture over content variables. We
provide a Polya-urn view of the model and an efficient collapsed Gibbs
inference procedure. Extensive experiments on real-world datasets demonstrate
the advantage of utilizing context information via our model in both text and
image domains.Comment: Full version of ICML 201
Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs
Verification of PCTL properties of MDPs with convex uncertainties has been
investigated recently by Puggelli et al. However, model checking algorithms
typically suffer from state space explosion. In this paper, we address
probabilistic bisimulation to reduce the size of such an MDPs while preserving
PCTL properties it satisfies. We discuss different interpretations of
uncertainty in the models which are studied in the literature and that result
in two different definitions of bisimulations. We give algorithms to compute
the quotients of these bisimulations in time polynomial in the size of the
model and exponential in the uncertain branching. Finally, we show by a case
study that large models in practice can have small branching and that a
substantial state space reduction can be achieved by our approach.Comment: In Proceedings SynCoP 2014, arXiv:1403.784
From the Mendeleev periodic table to particle physics and back to the periodic table
We briefly describe in this paper the passage from Mendeleev's chemistry
(1869) to atomic physics (in the 1900's), nuclear physics (in the 1932's) and
particle physics (from 1953 to 2006). We show how the consideration of
symmetries, largely used in physics since the end of the 1920's, gave rise to a
new format of the periodic table in the 1970's. More specifically, this paper
is concerned with the application of the group SO(4,2)xSU(2) to the periodic
table of chemical elements. It is shown how the Madelung rule of the atomic
shell model can be used for setting up a periodic table that can be further
rationalized via the group SO(4,2)xSU(2) and some of its subgroups. Qualitative
results are obtained from this nonstandard table.Comment: 15 pages; accepted for publication in Foundations of Chemistry
(special issue to commemorate the one hundredth anniversary of the death of
Mendeleev who died in 1907); version 2: 16 pages; some sentences added;
acknowledgment and references added; misprints correcte
- …