Observability and Decentralized Control of Fuzzy Discrete Event Systems

Fuzzy discrete event systems as a generalization of (crisp) discrete event systems have been introduced in order that it is possible to effectively represent uncertainty, imprecision, and vagueness arising from the dynamic of systems. A fuzzy discrete event system has been modelled by a fuzzy automaton; its behavior is described in terms of the fuzzy language generated by the automaton. In this paper, we are concerned with the supervisory control problem for fuzzy discrete event systems with partial observation. Observability, normality, and co-observability of crisp languages are extended to fuzzy languages. It is shown that the observability, together with controllability, of the desired fuzzy language is a necessary and sufficient condition for the existence of a partially observable fuzzy supervisor. When a decentralized solution is desired, it is proved that there exist local fuzzy supervisors if and only if the fuzzy language to be synthesized is controllable and co-observable. Moreover, the infimal controllable and observable fuzzy superlanguage, and the supremal controllable and normal fuzzy sublanguage are also discussed. Simple examples are provided to illustrate the theoretical development.Comment: 14 pages, 1 figure. to be published in the IEEE Transactions on Fuzzy System

Similarity-Based Supervisory Control of Discrete Event Systems

Due to the appearance of uncontrollable events in discrete event systems, one may wish to replace the behavior leading to the uncontrollability of pre-specified language by some quite similar one. To capture this similarity, we introduce metric to traditional supervisory control theory and generalize the concept of original controllability to \ld-controllability, where \ld indicates the similarity degree of two languages. A necessary and sufficient condition for a language to be \ld-controllable is provided. We then examine some properties of \ld-controllable languages and present an approach to optimizing a realization.Comment: 22 pages, 5 figure

Supervisory Control of Fuzzy Discrete Event Systems

In order to cope with situations in which a plant's dynamics are not precisely known, we consider the problem of supervisory control for a class of discrete event systems modelled by fuzzy automata. The behavior of such discrete event systems is described by fuzzy languages; the supervisors are event feedback and can disable only controllable events with any degree. The concept of discrete event system controllability is thus extended by incorporating fuzziness. In this new sense, we present a necessary and sufficient condition for a fuzzy language to be controllable. We also study the supremal controllable fuzzy sublanguage and the infimal controllable fuzzy superlanguage when a given pre-specified desired fuzzy language is uncontrollable. Our framework generalizes that of Ramadge-Wonham and reduces to Ramadge-Wonham framework when membership grades in all fuzzy languages must be either 0 or 1. The theoretical development is accompanied by illustrative numerical examples.Comment: 12 pages, 2 figure

Joint and Competitive Caching Designs in Large-Scale Multi-Tier Wireless Multicasting Networks

Caching and multicasting are two promising methods to support massive content delivery in multi-tier wireless networks. In this paper, we consider a random caching and multicasting scheme with caching distributions in the two tiers as design parameters, to achieve efficient content dissemination in a two-tier large-scale cache-enabled wireless multicasting network. First, we derive tractable expressions for the successful transmission probabilities in the general region as well as the high SNR and high user density region, respectively, utilizing tools from stochastic geometry. Then, for the case of a single operator for the two tiers, we formulate the optimal joint caching design problem to maximize the successful transmission probability in the asymptotic region, which is nonconvex in general. By using the block successive approximate optimization technique, we develop an iterative algorithm, which is shown to converge to a stationary point. Next, for the case of two different operators, one for each tier, we formulate the competitive caching design game where each tier maximizes its successful transmission probability in the asymptotic region. We show that the game has a unique Nash equilibrium (NE) and develop an iterative algorithm, which is shown to converge to the NE under a mild condition. Finally, by numerical simulations, we show that the proposed designs achieve significant gains over existing schemes.Comment: 30 pages, 6 pages, submitted to IEEE GLOBECOM 2017 and IEEE Trans. Commo

Hog Insurance Adoption and Suppliers' Discrimination: A Bivariate Probit Model with Partial Observability

This paper explores the factors that impact insurance choices. Specially designed survey questions allow one to fully observe the demand tendency by the farmers and partially observe the supply tendency by the insurance company. A joint estimation of insurance decision by both supply and demand sides suggested that factors performing different roles in affecting insurance participation game. Farmer’s age and education have positive impact on insurance demand, but are indifference to the insurance providers. Insurance suppliers care more about farmers’ experience in the field, but this experience occasionally results in overconfidence for the farmers and hence, impedes insurance purchasing. Production scales, proxy by sow inventory, is put more weight by the farmers than the suppliers when making decisions. Production efficiency measures, which performs as incentives for farmers to purchase insurance, acts as some disadvantages in the suppliers’ point of view. While the suppliers prefer customers who use vaccine, the hog producers tend to treat vaccine as a substitute for insurance so as to prevent disease risk. The study also generates discussion on the topics such as short-run vs. long-run factor impact by comparing past insurance choices and current choices. Information on choices regarding different types of insurance (hog and breeding sow) is also discussed. Results from bivairate probit model offers deeper understanding about livestock insurance choices and further insights to improve policy design and promote participation.Livestock Insurance Choices, Bivariate Probit, Partial Observability, Agribusiness, International Development, Livestock Production/Industries, Risk and Uncertainty, C35, D13, Q12,

Optimal conclusive discrimination of two states can be achieved locally

This paper constructs a LOCC protocol that achieves the global optimality in conclusive discrimination of any two states with arbitrary a priori probability. This can be interpreted that there is no ``non-locality'' in the conclusive discrimination of two multipartite states.Comment: 9 pages, RevTeX, no figure. Comments, criticisms and suggestions are welcom