Discrete mathematics
The hierarchical lattices of a finite machine
Systems & Control Letters
The hierarchical control of ST-finite-state machines
Systems & Control Letters
Maximal Solutions in Decentralized Supervisory Control
SIAM Journal on Control and Optimization
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
Lose Fat, Not Muscle: An Examination of Supervisor Reduction in Discrete-Event Systems
Discrete Event Dynamic Systems
Hi-index | 0.00 |
We propose an algorithm for the hierarchical decomposition of a large automaton-based discrete-event system. We also provide an estimation of the numerical cost in terms of the size of the system. Our hierarchical decomposition is illustrated with simple examples from dynamical ST-control and supervisory control with uncontrollable events and unsafe states.