Supervisor Localization of Discrete-Event Systems based on State Tree Structures

Recently we developed supervisor localization, a top-down approach to distributed control of discrete-event systems in the Ramadge-Wonham supervisory control framework. Its essence is the decomposition of monolithic (global) control action into local control strategies for the individual agents. In this paper, we establish a counterpart supervisor localization theory in the framework of State Tree Structures, known to be efficient for control design of very large systems. In the new framework, we introduce the new concepts of local state tracker, local control function, and state-based local-global control equivalence. As before, we prove that the collective localized control behavior is identical to the monolithic optimal (i.e. maximally permissive) and nonblocking controlled behavior. In addition, we propose a new and more efficient localization algorithm which exploits BDD computation. Finally we demonstrate our localization approach on a model for a complex semiconductor manufacturing system

Agent-Based Demand-Modeling Framework for Large-Scale Microsimulations

Microsimulation is becoming increasingly important in traffic demand modeling. The major advantage over traditional four-step models is the ability to simulate each traveler individually. Decision-making processes can be included for each individual. Traffic demand is the result of the different decisions made by individuals; these decisions lead to plans that the individuals then try to optimize. Therefore, such microsimulation models need appropriate initial demand patterns for all given individuals. The challenge is to create individual demand patterns out of general input data. In practice, there is a large variety of input data, which can differ in quality, spatial resolution, purpose, and other characteristics. The challenge for a flexible demand-modeling framework is to combine the various data types to produce individual demand patterns. In addition, the modeling framework has to define precise interfaces to provide portability to other models, programs, and frameworks, and it should be suitable for large-scale applications that use many millions of individuals. Because the model has to be adaptable to the given input data, the framework needs to be easily extensible with new algorithms and models. The presented demand-modeling framework for large-scale scenarios fulfils all these requirements. By modeling the demand for two different scenarios (Zurich, Switzerland, and the German states of Berlin and Brandenburg), the framework shows its flexibility in aspects of diverse input data, interfaces to third-party products, spatial resolution, and last but not least, the modeling process itself

A Revisit to Top Quark Forward-Backward Asymmetry

We analyze various models for the top quark forward-backward asymmetry ($A^t_{FB}$) at the Tevatron, using the latest CDF measurements on different $A^t_{FB}$s and the total cross section. The axigluon model in Ref. \cite{paul} has difficulties in explaining the large rapidity dependent asymmetry and mass dependent asymmetry simultaneously and the parameter space relevant to $A^t_{FB}$ is ruled out by the latest dijet search at ATLAS. In contrast to Ref. \cite{cp}, we demonstrate that the large parameter space in this model with a $U(1)_d$ flavor symemtry is not ruled out by flavor physics. The $t$-channel flavor-violating $Z^{\prime}$ \cite{hitoshi}, $W^{\prime}$\cite{waiyee} and diquark \cite{tim} models all have parameter regions that satisfy different $A_{FB}$ measurements within 1 $\sigma$. However, the heavy $Z^{\prime}$ model which can be marginally consistent with the total cross section is severely constrained by the Tevatron direct search of same-sign top quark pair. The diquark model suffers from too large total cross section and is difficult to fit the $t \bar{t}$ invariant mass distribution. The electroweak precision constraints on the $W'$ model based on $Z'$-$Z$ mixings is estimated and the result is rather weak ($m_{Z'} > 450$ GeV). Therefore, the heavy $W^{\prime}$ model seems to give the best fit for all the measurements. The $W^{\prime}$ model predicts the $t\bar{t}+j$ signal from $tW^{\prime}$ production and is 10%-50% of SM $t\bar{t}$ at the 7 TeV LHC. Such $t+j$ resonance can serve as the direct test of the $W^{\prime}$ model.Comment: 25 pages, 7 figures, 1 tabl