Stochastic Perturbations of Periodic Orbits with Sliding

Vector fields that are discontinuous on codimension-one surfaces are known as Filippov systems and can have attracting periodic orbits involving segments that are contained on a discontinuity surface of the vector field. In this paper we consider the addition of small noise to a general Filippov system and study the resulting stochastic dynamics near such a periodic orbit. Since a straight-forward asymptotic expansion in terms of the noise amplitude is not possible due to the presence of discontinuity surfaces, in order to quantitatively determine the basic statistical properties of the dynamics, we treat different parts of the periodic orbit separately. Dynamics distant from discontinuity surfaces is analyzed by the use of a series expansion of the transitional probability density function. Stochastically perturbed sliding motion is analyzed through stochastic averaging methods. The influence of noise on points at which the periodic orbit escapes a discontinuity surface is determined by zooming into the transition point. We combine the results to quantitatively determine the effect of noise on the oscillation time for a three-dimensional canonical model of relay control. For some parameter values of this model, small noise induces a significantly large reduction in the average oscillation time. By interpreting our results geometrically, we are able to identify four features of the relay control system that contribute to this phenomenon.Comment: 44 pages, 9 figures, submitted to: J Nonlin. Sc

Propositional Dynamic Logic for Message-Passing Systems

We examine a bidirectional propositional dynamic logic (PDL) for finite and infinite message sequence charts (MSCs) extending LTL and TLC-. By this kind of multi-modal logic we can express properties both in the entire future and in the past of an event. Path expressions strengthen the classical until operator of temporal logic. For every formula defining an MSC language, we construct a communicating finite-state machine (CFM) accepting the same language. The CFM obtained has size exponential in the size of the formula. This synthesis problem is solved in full generality, i.e., also for MSCs with unbounded channels. The model checking problem for CFMs and HMSCs turns out to be in PSPACE for existentially bounded MSCs. Finally, we show that, for PDL with intersection, the semantics of a formula cannot be captured by a CFM anymore

Optics Calibration at the MLS and at BESSY II

In this paper we present the results of our studies employing LOCO and MML for optics calibration at the MLS and at the BESSY II storage rings. Both the standard user modes and dedicated low alpha modes are analyze

Modifications to the Machine Optics of BESSY II Necessitated by the EMIL Project

The Helmholtz Zentrum Berlin and the Max Planck Society are going to build a new dedicated X ray beam line at the synchrotron light source BESSY II which will be used for analyzing materials for renewable energy generation. The new large scale project has been dubbed EMIL. In this document we present the modifications to the machine optics and to what extent these changes affect the performance of BESSY I

The Isomorphism Relation Between Tree-Automatic Structures

An $\omega$-tree-automatic structure is a relational structure whose domain and relations are accepted by Muller or Rabin tree automata. We investigate in this paper the isomorphism problem for $\omega$-tree-automatic structures. We prove first that the isomorphism relation for $\omega$-tree-automatic boolean algebras (respectively, partial orders, rings, commutative rings, non commutative rings, non commutative groups, nilpotent groups of class n >1) is not determined by the axiomatic system ZFC. Then we prove that the isomorphism problem for $\omega$-tree-automatic boolean algebras (respectively, partial orders, rings, commutative rings, non commutative rings, non commutative groups, nilpotent groups of class n >1) is neither a $\Sigma_2^1$-set nor a $\Pi_2^1$-set

On the homomorphism order of labeled posets

Partially ordered sets labeled with k labels (k-posets) and their homomorphisms are examined. We give a representation of directed graphs by k-posets; this provides a new proof of the universality of the homomorphism order of k-posets. This universal order is a distributive lattice. We investigate some other properties, namely the infinite distributivity, the computation of infinite suprema and infima, and the complexity of certain decision problems involving the homomorphism order of k-posets. Sublattices are also examined.Comment: 14 page

Trees over Infinite Structures and Path Logics with Synchronization

We provide decidability and undecidability results on the model-checking problem for infinite tree structures. These tree structures are built from sequences of elements of infinite relational structures. More precisely, we deal with the tree iteration of a relational structure M in the sense of Shelah-Stupp. In contrast to classical results where model-checking is shown decidable for MSO-logic, we show decidability of the tree model-checking problem for logics that allow only path quantifiers and chain quantifiers (where chains are subsets of paths), as they appear in branching time logics; however, at the same time the tree is enriched by the equal-level relation (which holds between vertices u, v if they are on the same tree level). We separate cleanly the tree logic from the logic used for expressing properties of the underlying structure M. We illustrate the scope of the decidability results by showing that two slight extensions of the framework lead to undecidability. In particular, this applies to the (stronger) tree iteration in the sense of Muchnik-Walukiewicz.Comment: In Proceedings INFINITY 2011, arXiv:1111.267

Fast Orbit Feedback at BESSY II Performance and Operational Experiences

At the 3rd generation light source BESSY II the first phase of a fast orbit feedback system has been completed and put into operation in 2012. In this first phase the aim was to achieve noise suppression in the 1Hz to several 10Hz range, mostly avoiding expensive upgrades to existing hardware, such as beam position monitors and the CAN based setpoint transmission to the power supplies. Only the power supplies were replaced with newer, faster versions. This paper describes the capability of the phase I FOFB with respect to beam motion transient suppression, low frequency damping and high frequency noise generation as well as aspects of operational integration and stabilit

A guided tour of asynchronous cellular automata

Research on asynchronous cellular automata has received a great amount of attention these last years and has turned to a thriving field. We survey the recent research that has been carried out on this topic and present a wide state of the art where computing and modelling issues are both represented.Comment: To appear in the Journal of Cellular Automat