A new approach for the flow control of available bit rate service in ATM network is proposed using supervisory control theory upon discrete event models. According to the approach, each rate controller adjusts the input source traffic within a specific zone decided by the supervisor. In this way, the proposed control scheme ensures congestion avoidance and the maximal successful transmission rate of the input source traffic in a fair manner upon a simplistic way of explicit rate setting for resource management cells.

In supervisory control, discrete event dynamic systems (DEDSs) are modeled by finite-state automata, and their behaviors described by the associated formal languages; control is exercised by a supervisor, whose control action is to enable or disable the controllable events. In this paper we present a general stability concept for DEDSs, stability in the sense of Lyapunov with resiliency, by incorporating Lyapunov stability concepts with the concept of stability in the sense of error recovery. We also provide algorithms for verifying stability and obtaining a domain of attraction. Relations between the notion of stability and the notion of fault-tolerance are addressed.

The supervisory control theory of discrete event dynamic systems was proposed in the framework of automata and formal languages. The concept of decentralized supervisory control was developed for the local supervisor Si whose concurrent operation results in the closed-loop language L (Si/G) equal to that of global supervisor, L (S/G). In this letter we extend this concept by considering the problem of optinal combination of decentralized with centralized control in case pure decentralized control happens to be inadequate. We introduce the concept of locally controllable complementary tuple and present an analytical framework for nonhomogeneous decentralized supervisory control systems.

We propose in this paper a systematic way for analyzing discrete event dynamic systems to classify faults and failures quantitatively and to find tolerable fault event sequences embedded in the system. An automated failure diagnosis scheme with respect to the nominal normal operating event sequences and the supervisory control for tolerable fault event sequences are presented. Moreover the supervisor failure diagnosis with respect to the tolerable fault event sequences is considered. Finally, a case study of plasma etching system is described.