Abstract. The paper studies the control of a class of discrete event processes, i.e., processes that are discrete, asynchronous and possibly nondeterministic. The controlled process is described as the generator of a formal language, while the controller, or supervisor, is constructed from a recognizer for a specified target language that incorporates the desired closed-loop system behavior. The existence problem for a supervisor is reduced to finding the largest controllable language contained in a given legal language. Two examples are provided. Key words, discrete event systems, control, automata AMS(MOS) subject classifications. 93C10, 93B50, 93C30 1. Introduction. In this pape
This paper proposes a new class of Discrete Event Systems endowed with control called DES with flexi...
This paper proposes a new class of Discrete Event Systems endowed with control called DES with flexi...
Abstract: Supervisory control theory for discrete event systems is based on finite state automata wh...
The pioneering work of Ramadge and Wonham [22] on the existence and synthesis of controller for disc...
Centralized and decentralized control of logical discrete-event systems are considered. A fundamenta...
We propose a new framework for supervisory control design for discrete event systems. Some of the fe...
A discrete event system (DES) is a dynamic system which evolves in response to the occurrence of spe...
This paper introduces a new formal model for supervisory con-trol of Discrete Event Systems (DES). T...
This thesis addresses the problem of existence and synthesis of supervisory conirol for a class of l...
In earlier papers [3, 2, 1] we introduced the formalism of probabilistic languages for modeling the ...
A partial information supervisor that generates a class of closed controllable and observable sublan...
We are interested in the problem of designing control software for large-scale systems having discre...
In the first part of this paper, we generalize a notion of robust supervisory control to deal with m...
This paper proposes a new class of Discrete Event Systems endowed with control called DES with flexi...
This paper proposes a new class of Discrete Event Systems endowed with control called DES with flexi...
This paper proposes a new class of Discrete Event Systems endowed with control called DES with flexi...
This paper proposes a new class of Discrete Event Systems endowed with control called DES with flexi...
Abstract: Supervisory control theory for discrete event systems is based on finite state automata wh...
The pioneering work of Ramadge and Wonham [22] on the existence and synthesis of controller for disc...
Centralized and decentralized control of logical discrete-event systems are considered. A fundamenta...
We propose a new framework for supervisory control design for discrete event systems. Some of the fe...
A discrete event system (DES) is a dynamic system which evolves in response to the occurrence of spe...
This paper introduces a new formal model for supervisory con-trol of Discrete Event Systems (DES). T...
This thesis addresses the problem of existence and synthesis of supervisory conirol for a class of l...
In earlier papers [3, 2, 1] we introduced the formalism of probabilistic languages for modeling the ...
A partial information supervisor that generates a class of closed controllable and observable sublan...
We are interested in the problem of designing control software for large-scale systems having discre...
In the first part of this paper, we generalize a notion of robust supervisory control to deal with m...
This paper proposes a new class of Discrete Event Systems endowed with control called DES with flexi...
This paper proposes a new class of Discrete Event Systems endowed with control called DES with flexi...
This paper proposes a new class of Discrete Event Systems endowed with control called DES with flexi...
This paper proposes a new class of Discrete Event Systems endowed with control called DES with flexi...
Abstract: Supervisory control theory for discrete event systems is based on finite state automata wh...