A previous preon scenario for the standard model particles, based on unbroken supersymmetry, is applied to problem of matter-antimatter asymmetry. Attention paid fact that asymmetric hydrogen atom—like all atoms—can be described in terms symmetric preons. Preons are created early universe. The asymmetry caused by stochastic correlations charge density fluctuations preons and antipreons subseque...

We display how LSCs can be used to analyze a production line systematically and synthesize a scheduler from the model. This work demonstrates how the features of a scenario based object oriented modeling language are exploited in this domain. It also shows advantages of the play-in/play-out methodology combined with verification methods. Planning a production line with LSCs ∗ Hillel Kugler and ...

When minimizing makespan during off-line planning, the fastest action sequence to reach a particular state is, by definition, preferred. When trying to reach a goal quickly in on-line planning, previous work has inherited that assumption: the faster of two paths that both reach the same state is usually considered to dominate the slower one. In this short paper, we point out that, when planning...

Interleaving planning and execution is the practical alternative to the problem of planning off-line with large state spaces. While planning via symbolic model checking has been extensively studied for off-line planning, no framework for interleaving it with execution has been ever devised. In this paper, we extend planning via symbolic model checking with the ability of interleaving planning a...

Many robot applications require using sensors to locate objects whose initial pose is constrained but not exactly known. Most techniques for object localization assume that the object’s pose is completely unknown. This paper describes a simple method for localizing known objects in a scene. We describe how an off-line computation that exploits constraints on the object’s expected pose can be us...