Flexible manufacturing systems (FMSs), while offering a comprehensive answer to current
demand for wide product diversity and short time to market, incur higher probability of …

The Ramadge-Wonham (RW) framework for designing a supervisory controller for a given
plant and user specification, has been widely addressed by many researchers. The …

The problem of model matching for finite state machines (FSMs) consists of finding a
controller for a given open-loop system so that the resulting closed-loop system matches a …

The supervisory control theory is a general theory for automatic synthesis of controllers
(supervisors) for discrete event systems, given a plant model and a specification for the …

This paper deals with the reconfiguration of flexible manufacturing systems. It presents a
methodology that addresses the whole reaction loop toward failures. The major key point is …

Switching systems are a particular class of hybrid systems. They are described by several
operating regimes, called modes, each of them being active under certain particular …

This paper presents procedures to determine if the reachability and nonblocking properties
are violated for parameterized discrete event systems, consisting of n similar processes …

This paper studies the nonblocking check used in supervisory control of discrete event
systems and its limitations. Different examples with different liveness requirements are …

For improving reconfigurability in open architecture control system, Hierarchical Finite State
Machine (HFSM) is applied to system behaviors model which describes control logic of …

Abstract Hierarchical Interface-based Supervisory Control (HISC) decomposes a discrete-
event system into a high-level subsystem which communicates through interfaces with …