Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
On the supermal controllable sublanguage of a given language
SIAM Journal on Control and Optimization
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
An Assume-Guarantee Reasoning for Hierarchical Coordination of Discrete Event Systems
WODES '02 Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES'02)
Dynamic Programming
Supervisor Reduction for Discrete-Event Systems
Discrete Event Dynamic Systems
An Optimal Directed Control Framework for Discrete Event Systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Hi-index | 0.00 |
Using dynamic programming (DP), this paper presents a multi-level supervisory control implementation in the standard hierarchical discrete-event control framework. For a class of hierarchically consistent discrete-event systems, the DP algorithm developed implements a multi-level nonblocking controller with reduced off-line complexity of control synthesis and increased on-line transparency of control operations. An example illustrates the on-line control operations of the algorithm.