This paper focuses on a method for synthesizing deadlock avoidance controllers in flexible manufacturing systems. The modelling process of a supervisory policy that enforces liveness is realized with Petri nets. Petri nets are a popular modelling paradigm for a wide class of discrete event systems. Our supervisory policy is based on the next two steps in modelling process: a) A bottom-up approa...

This paper describes an object-oriented simulation approach for the design of a flexible manufacturing system that allows the implementation of control logic during the system design phase. The object-oriented design approach is built around the formal theory of supervisory control based on Finite Automata. The formalism is used to capture inter-object relationships that are difficult to identi...

This paper presents an application of the recently developed theory of language-measure-based discrete event supervisory (DES) control to aircraft propulsion systems. A two-layer hierarchical architecture is proposed to coordinate the operations of a twin-engine propulsion system. The two engines are individually controlled to achieve enhanced performance and reliability, as necessary for fulfi...

In this paper mainly presents about the DSTATCOM and control methodology of DC capacitor voltage, generally, the dc capacitor voltage is regulated using a PI controller when various control algorithms are used for load compensation. However, during load changes, there is considerable variation in dc capacitor voltage which might affect compensation. In this work, a fuzzy logic based supervisory...

Abstraction of a continuous-space model into a finite state and input dynamical model is a key step in formal controller synthesis tools. To date, these software tools have been limited to systems of modest size (typically ≤ 6 dimensions) because the abstraction procedure suffers from an exponential runtime with respect to the sum of state and input dimensions. We present a simple modification ...

Supervisory control theory for discrete event systems is based on finite state automata whose inputs are partitioned into controllable and uncontrollable events. Well-known algorithms used in the Ramadge-Wonham framework disable or enable controllable events such that it is finally possible to reach designated final states from every reachable state. However, as these algorithms compute the lea...

This paper discusses the problem of selecting the minimal set of events to be communicated between decentralized supervisory controllers in order for the behavior of a controller system to match a given specification. This optimization problem is known to be computationally difficult, so this paper discusses the problem of approximating this set of communicated events. It is shown how the commu...

The temperature control of the reheat furnace is very difficult due to its complex characteristics. Based on expert knowledge and pyrology mechanism, a hybrid supervisory control system (an optimal setting model) has been developed innovatively to control its temperature. With the help of a statistical process controller, this hybrid supervisory control system can replace the human operator for...

The Internet of Things (IoT) requires self-configuration capacities, for which there is a need for design techniques for predictable controllers, and automation in the construction of these controllers. The Feedback Computing approach to autonomic systems proposes to exploit control techniques for this. We present preliminary results in our approach using Discrete Supervisory Control for the ge...

The purpose of Supervisory Control Theory (SCT) is to synthesize a controller for a plant and a specification such that the desired closed-loop behavior is enforced. Effective solvers have been constructed in the past for the setting of plants and specifications modeled by Deterministic Finite Automata (DFA). We extend the domain of the specification to Deterministic Pushdown Automata (DPDA) an...