Robust Finite State Supervisor for Discrete Event Systems

Supervisor Reduction for Discrete-Event Systems

On Compositional Supervisor Synthesis for Discrete Event Systems

Over the past decades, human dependability on technical devices has rapidly increased. Many activities of such devices can be described by sequences of events, where the occurrence of an event causes the system to go from one state to another. This is elegantly modeled by automata. Systems that are modeled in this way are referred to as discrete event systems. Many of these systems appear in se...

On-line Supervisor Synthesis for Partially-observed Discrete-event Systems

A partial information supervisor that generates a class of closed controllable and observable sublanguages of a speci ed `legal' language is presented. The supervisor has the following features: (i) it can be implemented on-line (i.e., the disabled event set need only be computed once upon each event observation); (ii) the computations of the disabled event set can be performed in O(mn) worst-c...

Supervisor Synthesis for Discrete Event Systems under Partial Observation and Arbitrary Forbidden State Speci cations

In this paper, we consider the forbidden state problem in discrete event systems modeled by partially observed and partially controlled Petri nets. Assuming that the reverse net of the uncontrollable subnet of the Petri net is structurally bounded, we compute a set of weakly forbidden markings from which forbidden markings can be reached by ring a sequence of uncontrollable/unobservable transit...

Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications

In this paper, we consider the forbidden state problem in discrete event systems modeled by partially observed and partially controlled Petri nets. Assuming that the reverse net of the uncontrollable subnet of the Petri net is structurally bounded, we compute a set of weakly forbidden markings This work was supported in part by the United States National Science Foundation (NSF), under NSF CNS ...