Learn More
In the first part of this paper, we generalize a notion of robust supervisory control to deal with marked languages. We show how to synthesize a supervisor to control a family of plant models, each with its own specification. The solution we obtain is the most general in that it provides the closest approximation to the supremal controllable sublanguage for(More)
A state-based approach for on-line passive fault diagnosis in systems modelled as nite-state automata is presented. In this framework, the system and the diag-noser (the fault detection system) do not have to be initialized at the same time. Furthermore, no information about the state or even the condition (failure status) of the system before the(More)
In this paper, we propose a framework for fault diagnosis in discrete-event systems. In this approach, the system and the diagnoser (the fault detection system) do not have to be initialized at the same time. Furthermore, no information about the state or even the condition (failure status) of the system before the initiation of diagnosis is required.(More)
Many practical and important systemic properties of manufacturing systems, like deadlock freeness, liveness, and reversibility, can be formulated as the non-blocking property of discrete-event systems. It can be difficult, however, to verify non-blocking or design a supervisor to guarantee non-blocking control because of state size explosion in the(More)
— It is well known that the nonblocking supervisory control problem is NP-hard, subject in particular to state space explosion that is exponential in the number of system components. In this paper we propose to manage complexity by organizing the system as a State Tree Structure (STS). STS are an adaptation of state charts to supervisory control theory.(More)