This paper presents a general framework for modular synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of process equivalence. Its result is a compact representation of a least restrictive supervisor that ensures controllability and nonblocking. The method is demonstrated to reduce the number of states to be constructed for a simple manufacturing example, and the framework is proven to be sound
Abstract — This paper presents a general framework for modular synthesis of supervisors for discrete...
A two-pass algorithm for compositional synthesis of modular supervisors for largescale systems of co...
A two-pass algorithm for compositional synthesis of modular supervisors for largescale systems of co...
This paper presents a general framework for modular synthesis of supervisors for discrete event sys...
This paper presents a general framework for efficient synthesis of supervisors for discrete event sy...
This paper presents a general framework for efficient synthesis of supervisors for discrete event sy...
This paper presents a general framework for efficient synthesis of supervisors for discrete event sy...
This paper describes a framework for compositional supervisor synthesis, which is applicable to all ...
This paper describes a framework for compositional supervisor synthesis, which is applicable to all ...
This paper describes a framework for compositional supervisor synthesis, which is applicable to all ...
A two-pass algorithm for compositional synthesis of modular supervisors for large-scale systems of c...
This paper presents a general framework for efficient synthesis of supervisors for discrete event sy...
A two-pass algorithm for compositional synthesis of modular supervisors for large-scale systems of c...
This paper presents a general framework for modular synthesis of supervisors for discrete event sys...
This paper presents a general framework for efficient synthesis of supervisors for discrete event sy...
Abstract — This paper presents a general framework for modular synthesis of supervisors for discrete...
A two-pass algorithm for compositional synthesis of modular supervisors for largescale systems of co...
A two-pass algorithm for compositional synthesis of modular supervisors for largescale systems of co...
This paper presents a general framework for modular synthesis of supervisors for discrete event sys...
This paper presents a general framework for efficient synthesis of supervisors for discrete event sy...
This paper presents a general framework for efficient synthesis of supervisors for discrete event sy...
This paper presents a general framework for efficient synthesis of supervisors for discrete event sy...
This paper describes a framework for compositional supervisor synthesis, which is applicable to all ...
This paper describes a framework for compositional supervisor synthesis, which is applicable to all ...
This paper describes a framework for compositional supervisor synthesis, which is applicable to all ...
A two-pass algorithm for compositional synthesis of modular supervisors for large-scale systems of c...
This paper presents a general framework for efficient synthesis of supervisors for discrete event sy...
A two-pass algorithm for compositional synthesis of modular supervisors for large-scale systems of c...
This paper presents a general framework for modular synthesis of supervisors for discrete event sys...
This paper presents a general framework for efficient synthesis of supervisors for discrete event sy...
Abstract — This paper presents a general framework for modular synthesis of supervisors for discrete...
A two-pass algorithm for compositional synthesis of modular supervisors for largescale systems of co...
A two-pass algorithm for compositional synthesis of modular supervisors for largescale systems of co...
DOI
Add to ORKG