textabstractCoalgebraic methods provide new results and insights for the supervisory control of discrete-event systems (DES). In this paper a coalgebraic framework for the decentralized control of DES is proposed. Coobservability, decomposability, and strong decomposability are described by corresponding relations and compared to each other
Coalgebra and coinduction provide new results and insights for the supervisory control of discrete-e...
In this paper we present a theory for decentralized su-pervisory control of a general class of multi...
Centralized and decentralized monitoring and control of discrete-event systems under partial observa...
Coalgebraic methods provide new results and insights for the supervisory control of discrete-event s...
Coalgebraic methods provide new results and insights for the supervisory control of discrete-event s...
textabstractCoalgebra is used to generalize notions and techniques from concurrency theory, in order...
Modular supervisory control of discrete-event systems, where the overall system is a synchronous (pa...
We consider a generalized form of the conventional decentralized control architecture for discrete-e...
Coalgebra and coinduction provide new results and insights for the supervisory control of discrete-e...
The decentralized supervisory control problem of discrete event systems under par-tial observation i...
This paper introduces a new formal model for supervisory con-trol of Discrete Event Systems (DES). T...
Abstract—A flexible decentralized and hierarchical architecture is presented to reduce computational...
Coalgebra is used to generalize notions and techniques from concurrency theory, in order to apply th...
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...
Coalgebra and coinduction provide new results and insights for the supervisory control of discrete-e...
In this paper we present a theory for decentralized su-pervisory control of a general class of multi...
Centralized and decentralized monitoring and control of discrete-event systems under partial observa...
Coalgebraic methods provide new results and insights for the supervisory control of discrete-event s...
Coalgebraic methods provide new results and insights for the supervisory control of discrete-event s...
textabstractCoalgebra is used to generalize notions and techniques from concurrency theory, in order...
Modular supervisory control of discrete-event systems, where the overall system is a synchronous (pa...
We consider a generalized form of the conventional decentralized control architecture for discrete-e...
Coalgebra and coinduction provide new results and insights for the supervisory control of discrete-e...
The decentralized supervisory control problem of discrete event systems under par-tial observation i...
This paper introduces a new formal model for supervisory con-trol of Discrete Event Systems (DES). T...
Abstract—A flexible decentralized and hierarchical architecture is presented to reduce computational...
Coalgebra is used to generalize notions and techniques from concurrency theory, in order to apply th...
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...
Coalgebra and coinduction provide new results and insights for the supervisory control of discrete-e...
In this paper we present a theory for decentralized su-pervisory control of a general class of multi...
Centralized and decentralized monitoring and control of discrete-event systems under partial observa...
DOI
Add to ORKG