On Conditional Decomposability

The requirement of a language to be conditionally decomposable is imposed on a specification language in the coordination supervisory control framework of discrete-event systems. In this paper, we present a polynomial-time algorithm for the verification whether a language is conditionally decomposable with respect to given alphabets. Moreover, we also present a polynomial-time algorithm to extend the common alphabet so that the language becomes conditionally decomposable. A relationship of conditional decomposability to nonblockingness of modular discrete-event systems is also discussed in this paper in the general settings. It is shown that conditional decomposability is a weaker condition than nonblockingness.Comment: A few minor correction

Application of Kolmogorov complexity and universal codes to identity testing and nonparametric testing of serial independence for time series

We show that Kolmogorov complexity and such its estimators as universal codes (or data compression methods) can be applied for hypotheses testing in a framework of classical mathematical statistics. The methods for identity testing and nonparametric testing of serial independence for time series are suggested.Comment: submitte

Supervisory Control Synthesis of Discrete-Event Systems using Coordination Scheme

Supervisory control of discrete-event systems with a global safety specification and with only local supervisors is a difficult problem. For global specifications the equivalent conditions for local control synthesis to equal global control synthesis may not be met. This paper formulates and solves a control synthesis problem for a generator with a global specification and with a combination of a coordinator and local controllers. Conditional controllability is proven to be an equivalent condition for the existence of such a coordinated controller. A procedure to compute the least restrictive solution is also provided in this paper and conditions are stated under which the result of our procedure coincides with the supremal controllable sublanguage.Comment: 29 pages, 11 figure

Topological entropy of some automorphisms of reduced amalgamated free product C*-algebras

Certain classes of automorphisms of recued amalgamated free products of C*-algebras are shown to have Brown-Voiculescu topological entropy zero. Also, for automorphisms of exact C*-algebras, the Connes-Narnhofer-Thirring entropy is shown to be bounded above by the Brown-Voiculescu entropy. These facts are applied to generalize Stormer's result about entropy of automorphisms of the II_1-factor of a free group.Comment: 13 page