Learn More
A finite state Markov chain M is often viewed as a probabilistic transition system. An alternative view - which we follow here - is to regard M as a linear transform operating on the space of probability distributions over its set of nodes. The novel idea here is to discretize the probability value space [0,1] into a finite set of intervals. A concrete(More)
We consider the following decision problem: given a finite Markov chain with distinguished source and target states, and given a rational number r, does there exist an integer n such that the probability to reach the target from the source in n steps is r? This problem, which is not known to be decidable, lies at the heart of many model checking questions(More)
Stochastic timed games (STGs), introduced by Bouyer and Forejt, naturally generalize both continuous-time Markov chains and timed automata by providing a partition of the locations between those controlled by two players (Player Box and Player Diamond) with competing objectives and those governed by stochastic laws. Depending on the number of players—2, 1,(More)
Despite the fact that important genetic diseases are caused by mutant mitochondrial ribosomes, the molecular mechanisms by which such ribosomes result in a clinical phenotype remain largely unknown. The absence of experimental models for mitochondrial diseases has also prevented the rational search for therapeutic interventions. Here, we report on the(More)
Structural and genetic studies on prokaryotic ribosomes have provided important insights into fundamental aspects of protein synthesis and translational control and its interaction with ribosomal drugs. Comparable mechanistic studies in eukaryotes are mainly hampered by the absence of both high-resolution crystal structures and efficient genetic models. To(More)
Aminoglycoside ototoxicity has been related to a surprisingly large number of cellular structures and metabolic pathways. The finding that patients with mutations in mitochondrial rRNA are hypersusceptible to aminoglycoside-induced hearing loss has indicated a possible role for mitochondrial protein synthesis. To study the molecular interaction of(More)
Recent advances in X-ray crystallography have greatly contributed to the understanding of the structural interactions between aminoglycosides and the ribosomal decoding site. Efforts to genetically probe the functional relevance of proposed drug-nucleotide contacts have in part been hampered by the presence of multiple rRNA operons in most bacteria. A(More)
We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which communicate by exchanging messages through channels and use event clocks to generate collections of timed message sequence charts (T-MSCs). As a specification language, we propose a monadic(More)