Supervisory Control of Fuzzy Discrete Event Systems: A Formal Approach

Fuzzy {\it discrete event systems} (DESs) were proposed recently by Lin and Ying [19], which may better cope with the real-world problems with fuzziness, impreciseness, and subjectivity such as those in biomedicine. As a continuation of [19], in this paper we further develop fuzzy DESs by dealing with supervisory control of fuzzy DESs. More specifically, (i) we reformulate the parallel composition of crisp DESs, and then define the parallel composition of fuzzy DESs that is equivalent to that in [19]; {\it max-product} and {\it max-min} automata for modeling fuzzy DESs are considered; (ii) we deal with a number of fundamental problems regarding supervisory control of fuzzy DESs, particularly demonstrate controllability theorem and nonblocking controllability theorem of fuzzy DESs, and thus present the conditions for the existence of supervisors in fuzzy DESs; (iii) we analyze the complexity for presenting a uniform criterion to test the fuzzy controllability condition of fuzzy DESs modeled by max-product automata; in particular, we present in detail a general computing method for checking whether or not the fuzzy controllability condition holds, if max-min automata are used to model fuzzy DESs, and by means of this method we can search for all possible fuzzy states reachable from initial fuzzy state in max-min automata; also, we introduce the fuzzy $n$-controllability condition for some practical problems; (iv) a number of examples serving to illustrate the applications of the derived results and methods are described; some basic properties related to supervisory control of fuzzy DESs are investigated. To conclude, some related issues are raised for further consideration

A survey of machine learning techniques applied to self organizing cellular networks

In this paper, a survey of the literature of the past fifteen years involving Machine Learning (ML) algorithms applied to self organizing cellular networks is performed. In order for future networks to overcome the current limitations and address the issues of current cellular systems, it is clear that more intelligence needs to be deployed, so that a fully autonomous and flexible network can be enabled. This paper focuses on the learning perspective of Self Organizing Networks (SON) solutions and provides, not only an overview of the most common ML techniques encountered in cellular networks, but also manages to classify each paper in terms of its learning solution, while also giving some examples. The authors also classify each paper in terms of its self-organizing use-case and discuss how each proposed solution performed. In addition, a comparison between the most commonly found ML algorithms in terms of certain SON metrics is performed and general guidelines on when to choose each ML algorithm for each SON function are proposed. Lastly, this work also provides future research directions and new paradigms that the use of more robust and intelligent algorithms, together with data gathered by operators, can bring to the cellular networks domain and fully enable the concept of SON in the near future

Investigation into inspection system utilisation for advanced manufacturing systems.

Masters Degree. University of KwaZulu-Natal, Durban.Varied inspection is an aperiodic inspection utilisation methodology that was developed for advanced manufacturing systems. The inspection scheme was created as a solution to improve manufacturing performance where inspection hinders production, such as cases where inspection time is significantly larger than machining time. Frequent inspection impedes production cycles which result in undesirable blocking, starving, low machine utilisation, increased lead time and work-in-process. The aim of the inspection strategy was to aid manufacturing metrics by adjusting inspection utilisation through multiple control methods. The novelty of the research lies in using an inspection strategy for improved manufacturing performance. Quality control was traditionally viewed as an unintegrated aspect of production. As such, quality control was only used as a tool for ensuring certain standards of products, rather than being used as a tool to aid production. The problem was solved by using the amount of inspection performed as a variable, and changing that variable based on the needs of the manufacturing process. “Inspection intensity” was defined as the amount of inspection performed on a part stream and was based on inputs such as part quality, required production rates, work-in-process requirements among other factors. Varied inspection was executed using a two-level control architecture of fuzzy controllers. Lower level controllers performed varied inspection while an upper level supervisory controller measured overall system performance and made adjustments to lower level controllers to meet system requirements. The research was constrained to simulation results to test the effects of varied inspection on different manufacturing models. Simulation software was used to model advanced manufacturing systems to test the effects of varied inspection against traditional quality control schemes. Matlab’s SimEvents® was used for discrete-event simulation and Fuzzy Logic Toolbox® was used for the controller design. Through simulation, varied inspection was used to meet production needs such as reduced manufacturing lead time, reduced work-in-process, reduced starvation and blockage, and reduced appraisal costs. Machine utilisation was increased. The contribution of the research was that quality control could be used to aid manufacturing systems instead of slowing it down. Varied inspection can be used as a flexible form of inspection. The research can be used as a control methodology to improve the usage of inspection systems to enhance manufacturing performance

Application of a continuous supervisory fuzzy control on a discrete scheduling of manufacturing systems.

10 pagesInternational audienceThis paper considers the modelling and simulation of a hierarchical production-flow control system. Particularly, the system capacity allocation has been addressed by a set of distributed and supervised fuzzy controllers. The objective is to adjust the machine's production rates in such a way that satisfies the demand while maintaining the overall performances within acceptable limits. Given the adjusted production rates, the problem of scheduling of jobs is considered at the shop-floor level. In this case, the actual dispatching times are determined from the continuous production rates through a sampling procedure. To deal with conflicts between jobs at a shared machine, a decision for the actual part to be processed is taken using some criteria which represent a measure of the job's priority. A case study demonstrates the efficiency of the proposed control approach

Supervisory control of fuzzy discrete event systems with applications to mobile robotics

Fuzzy Discrete Event Systems (FDES) were proposed in the literature for modeling and control of a class of event driven and asynchronous dynamical systems that are affected by deterministic uncertainties and vagueness on their representations. In contrast to classical crisp Discrete Event Systems (DES), which have been explored to a sufficient extent in the past, an in-depth study of FDES is yet to be performed, and their feasible real-time application areas need to be further identified. This research work intends to address the supervisory control problem of FDES broadly, while formulating new knowledge in the area. Moreover, it examines the possible applications of these developments in the behavior-based mobile robotics domain. An FDES-based supervisory control framework to facilitate the behavior-based control of a mobile robot is developed at first. The proposed approach is modular in nature and supports behavior integration without making state explosion. Then, this architecture is implemented in simulation as well as in real-time on a mobile robot moving in unstructured environments, and the feasibility of the approach is validated. A general decentralized supervisory control theory of FDES is then established for better information association and ambiguity management in large-scale and distributed systems, while providing less complexity of control computation. Furthermore, using the proposed architecture, simulation and real-time experiments of a tightly-coupled multi-robot object manipulation task are performed. The results are compared with centralized FDES-based and decentralized DES-based approaches. -- A decentralized modular supervisory control theory of FDES is then established for complex systems having a number of modules that are concurrently operating and also containing multiple interactions. -- Finally, a hierarchical supervisory control theory of FDES is established to resolve the control complexity of a large-scale compound system by modularizing the system vertically and assigning multi-level supervisor hierarchies. As a proof-of-concept example to the established theory, a mobile robot navigation problem is discussed. This research work will contribute to the literature by developing novel knowledge and related theories in the areas of decentralized, modular and hierarchical supervisory control of FDES. It also investigates the applicability of these contributions in the mobile robotics arena

Design and Implementation of Internal Model Based Controllers for DC/ AC Power Converters

The aim of this thesis is to design and implement an advanced control system for a working three-phase DC to AC power converter. Compared to' the traditional PI controller used widely in industry, the new voltage controller can track the reference voltage with improved accuracy and efficiency in the presence of different kind of local loads, and also works well in the single phase voltage control. This voltage controller is combined with a power controller to yield a complete controller. An important aspect of this work is the hardware implementation of the whole system. Main parts ofthis thesis are: ???????? 1. Review ofH-infinity and repetitive control techniques and their applications in power converters. 2. Design of a new voltage controller to eliminate the DC component in the output voltages, and taking into account the practical issues such as the processing delay due to the digital signal processor (DSP) implementation. 3. Modelling and simulation of the converter system incorporating different control techniques and with different kinds of loads. 4. Hardware implementation and the two-processor controller. The parallel communication between the DSPs. 5. The main problems encountered in???????????????????? hardware implementation and programming. The software used to initialize DSPs, implement the discretetime voltage controller and other functions such ~ generations of space vector pulse width modulation (SVPWM) signals, circuit protections, analog to digital (AD) cOl)versions, data transmission, etc. 6. Experimental results the under circumstances of no load connected to the converter, pure three-phase resistive loads, three-phase unbalanced resistive' loads and the series resistor-inductor loads. /Imperial Users onl

Admission Control for Multiuser Communication Systems

During the last few years, broadband wireless communication has experienced very rapid growth in telecommunications industry. Hence, the performance analysis of such systems is one of the most important topics. However, accurate systems’ analysis requires first good modeling of the network traffic. Moreover, broadband wireless communication should achieve certain performance in order to satisfy the customers as well as the operators. Therefore, some call admission control techniques should be integrated with wireless networks in order to deny new users/services if accepting them will lead to degrade the network performance to less than the allowed threshold. This thesis mainly discusses the above two issues which can be summarized as follows. First issue is the traffic modeling of wireless communication. The performance analysis is discussed in terms of the quality of services (QoS) and also the grade of services (GoS). Different scenarios have been studies such as enhancing the GoS of handover users. The second issue is the admission control algorithms. Admission Control is part of radio resource management. The performance of admission control is affected by channel characteristics such as fading and interference. Hence, some wireless channel characteristics are introduced briefly. Seven different channel allocation schemes have been discussed and analyzed. Moreover, different admission control algorithms are analyzed such as power-based and multi-classes fuzzy-logic based. Some simulations analyses are given as well to show the system performance of different algorithms and scenarios.fi=Opinnäytetyö kokotekstinä PDF-muodossa.|en=Thesis fulltext in PDF format.|sv=Lärdomsprov tillgängligt som fulltext i PDF-format

High level coordination and decision making of a simulated robotic soccer team

Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 201